Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 89.1 >
edited by Alexander Schulz-Rosengarten
on 2024/12/09 10:09
To version < 80.1 >
edited by Alexander Schulz-Rosengarten
on 2024/04/30 15:13
>
Change comment: There is no comment for this version

Summary

Details

Page properties
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 -(% 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 +**[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.
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 -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 +**[assigned]** 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 -Thu., 04.07
188 +Wed., 03.07 or Thu., 04.07
189 189  )))|(% colspan="1" %)(% colspan="1" %)
190 190  (((
191 191  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
... ... @@ -209,13 +209,9 @@
209 209  
210 210  == The Final Presentations ==
211 211  
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.
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.
213 213  
214 -=== Agenda ===
215 215  
216 -[[Here>>attach:agenda_anonym.pdf]] the agenda as PDF.
217 -
218 -
219 219  = Schedule and Grading =
220 220  
221 221  == Papers, Talks, Review ==
... ... @@ -247,8 +247,6 @@
247 247  
248 248  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.
249 249  
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 -
252 252  The reviews are assigned after the review-version deadline and are based on the submitted version of the papers.
253 253  
254 254  == Grades ==
... ... @@ -259,7 +259,7 @@
259 259  
260 260  === LaTeX ===
261 261  
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.
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.
263 263  
264 264  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.
265 265  
... ... @@ -271,10 +271,9 @@
271 271  
272 272  === EasyChair Tutorial ===
273 273  
274 -**[[The Tutorial>>doc:Seminars.EasyChair Tutorial.WebHome]]**
275 -
276 276  You can find our seminar in EasyChair: **[[Link>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]]**
277 277  
270 +
278 278  = Resources =
279 279  
280 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 the following search engines and web pages:
agenda_anonym.pdf
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.jep
Size
... ... @@ -1,1 +1,0 @@
1 -118.9 KB
Content
agenda.pdf
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.jep
Size
... ... @@ -1,0 +1,1 @@
1 +44.5 KB
Content

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage