Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 79.1 >
edited by Jette Petzold
on 2024/04/19 07:48
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
... ... @@ -47,7 +47,7 @@
47 47  (% style="color:#333333" %)J. Deantoni, J. Cambeiro, S. Bateni, S. Lin and M. Lohstroh, [[Debugging and Verification Tools for Lingua Franca in Gemoc Studio>>url:https://ieeexplore.ieee.org/document/9568383||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08, doi: 10.1109/FDL53530.2021.9568383.
48 48  
49 49  (% style="margin-left: 30.0px;" %)
50 -**[assigned]** (% style="color:#003366" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
50 +(% style="color:#003366" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
51 51  
52 52  (% style="margin-left: 30.0px;" %)
53 53  (% style="color:#333333" %)M. Lohstroh, C. Menard, A. Schulz-Rosengarten, M. Weber, J. Castrillon and E. A. Lee, [[A Language for Deterministic Coordination Across Multiple Timelines>>url:https://ieeexplore.ieee.org/document/9232939||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020
... ... @@ -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//.
... ... @@ -114,7 +114,7 @@
114 114  Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. 2023. [[Towards Building Verifiable CPS using Lingua Franca>>https://dl.acm.org/doi/10.1145/3609134]]. ACM Trans. Embed. Comput. Syst. 22, 5s, Article 155 (October 2023), 24 pages. [[https:~~/~~/doi.org/10.1145/3609134>>https://doi.org/10.1145/3609134]]
115 115  
116 116  (% style="margin-left: 30.0px;" %)
117 -**[assigned]** Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, and Edward A. Lee. 2023. [[High-performance Deterministic Concurrency Using Lingua Franca.>>https://dl.acm.org/doi/10.1145/3617687]] ACM Trans. Archit. Code Optim. 20, 4, Article 48 (December 2023), 29 pages. [[https:~~/~~/doi.org/10.1145/3617687>>https://doi.org/10.1145/3617687]]
117 +Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, and Edward A. Lee. 2023. [[High-performance Deterministic Concurrency Using Lingua Franca.>>https://dl.acm.org/doi/10.1145/3617687]] ACM Trans. Archit. Code Optim. 20, 4, Article 48 (December 2023), 29 pages. [[https:~~/~~/doi.org/10.1145/3617687>>https://doi.org/10.1145/3617687]]
118 118  
119 119  
120 120  (% style="margin-left: 30.0px;" %)
... ... @@ -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