Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 76.1 >
edited by Jette Petzold
on 2024/04/16 18:49
To version < 89.2 >
edited by Maximilian Kasperowski
on 2025/01/28 09:36
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.jep
1 +XWiki.mka
Content
... ... @@ -62,7 +62,7 @@
62 62  Fabien Siron, Dumitru Potop-Butucaru, Robert De Simone, Damien Chabrol, and Amira Methni. 2023.[[ Semantics foundations of PsyC based on synchronous Logical Execution Time>>https://dl.acm.org/doi/10.1145/3576914.3587495]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 319–324. [[https:~~/~~/doi.org/10.1145/3576914.3587495>>https://doi.org/10.1145/3576914.3587495]]
63 63  
64 64  (% style="margin-left: 30.0px;" %)
65 -Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, and Soroush Bateni. 2023. [[Polyglot Modal Models through Lingua Franca>>https://dl.acm.org/doi/abs/10.1145/3576914.3587498]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 337–342. [[https:~~/~~/doi.org/10.1145/3576914.3587498>>https://doi.org/10.1145/3576914.3587498]] //(There is also a [[long version>>https://arxiv.org/abs/2301.09597]])//
65 +**[assigned] **Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, and Soroush Bateni. 2023. [[Polyglot Modal Models through Lingua Franca>>https://dl.acm.org/doi/abs/10.1145/3576914.3587498]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 337–342. [[https:~~/~~/doi.org/10.1145/3576914.3587498>>https://doi.org/10.1145/3576914.3587498]] //(There is also a [[long version>>https://arxiv.org/abs/2301.09597]])//
66 66  
67 67  
68 68  (% style="margin-left: 30.0px;" %)
... ... @@ -96,7 +96,7 @@
96 96  Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. 2020. [[Reactive probabilistic programming>>url:https://dl.acm.org/doi/10.1145/3385412.3386009||shape="rect"]]. In //Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation// (//PLDI 2020//)
97 97  
98 98  (% style="margin-left: 30.0px;" %)
99 -(% style="color:#003366" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
99 +Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
100 100  
101 101  (% style="margin-left: 30.0px;" %)
102 102  Kenwright, L., Roop, P.S., Allen, N., Lall, S., Cascaval, C., Spalink, T., & Izzard, M. (2024). [[Logical Synchrony Networks: A formal model for deterministic distribution>>https://arxiv.org/abs/2402.07433]]. //ArXiv, abs/2402.07433//.
... ... @@ -185,7 +185,7 @@
185 185  |(% colspan="1" %)(((
186 186  individual dates
187 187  
188 -Wed., 03.07 or Thu., 04.07
188 +Thu., 04.07
189 189  )))|(% colspan="1" %)(% colspan="1" %)
190 190  (((
191 191  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
... ... @@ -209,9 +209,13 @@
209 209  
210 210  == The Final Presentations ==
211 211  
212 -The presentation of the prepared topic is held during a block seminar at **tbd**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
212 +The presentation of the prepared topic is held during a block seminar at **CAP4 R. 1304a**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
213 213  
214 +=== Agenda ===
214 214  
216 +[[Here>>attach:agenda_anonym.pdf]] is the agenda as a PDF.
217 +
218 +
215 215  = Schedule and Grading =
216 216  
217 217  == Papers, Talks, Review ==
... ... @@ -243,6 +243,8 @@
243 243  
244 244  It is not possible to add files in the EasyChair review form. Therefore, it is not possible to add an annotated pdf as detailed correction.
245 245  
250 +Some example reviews from a previous semester to understand the form (not necessarily with the best grades) can be found in here: [[1>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review1.txt?rev=1.2]] [[2>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review2.txt?rev=1.2]] [[3>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review3.txt?rev=1.2]] [[4>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review4.txt?rev=1.2]] [[5>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review5.txt?rev=1.2]].
251 +
246 246  The reviews are assigned after the review-version deadline and are based on the submitted version of the papers.
247 247  
248 248  == Grades ==
... ... @@ -253,7 +253,7 @@
253 253  
254 254  === LaTeX ===
255 255  
256 -Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[archive>>attach:SS20 (Layout)@paper-template.zip]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
262 +Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[zip archive>>https://cloud.rz.uni-kiel.de/index.php/s/PpmFxJtxYqF2GaX]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
257 257  
258 258  LaTeX can create a bibliography (it includes scientific publications, which are referenced to prove statements) too. The example includes a file named {{code language="none"}}myrefs.bib{{/code}}, which holds the references. ACM provides a short overview with [[examples>>url:https://www.acm.org/publications/authors/bibtex-formatting||shape="rect"]] of bibliography entries.
259 259  
... ... @@ -265,12 +265,13 @@
265 265  
266 266  === EasyChair Tutorial ===
267 267  
274 +**[[The Tutorial>>doc:Seminars.EasyChair Tutorial.WebHome]]**
275 +
268 268  You can find our seminar in EasyChair: **[[Link>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]]**
269 269  
270 -
271 271  = Resources =
272 272  
273 -In general, it is advised to look for related work in the university network since you will get access to many online libraries. We the following search engines and web pages:
280 +In general, it is advised to look for related work in the university network since you will get access to many online libraries. We recommend the following search engines and web pages:
274 274  
275 275  * Google Scholar: [[http:~~/~~/scholar.google.de/>>url:http://scholar.google.de/||shape="rect" class="external-link"]]
276 276  * dblp: [[http:~~/~~/dblp.uni-trier.de/>>url:http://dblp.uni-trier.de/||shape="rect"]]
agenda.pdf
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.jep
Size
... ... @@ -1,1 +1,0 @@
1 -44.5 KB
Content
agenda_anonym.pdf
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.jep
Size
... ... @@ -1,0 +1,1 @@
1 +118.9 KB
Content

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage