Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -44,9 +44,6 @@
44	44	(% style="color:#333333" %)S. A. Edwards and J. Hui, [[The Sparse Synchronous Model>>url:https://ieeexplore.ieee.org/document/9232938||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232938.
45	45
46	46	(% style="margin-left: 30.0px;" %)
47		-(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Francisco Sant’Anna, [[Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu>>url:https://ieeexplore.ieee.org/abstract/document/8636899||shape="rect"]], //2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames)//, 2018, pp. 240-24009
48		-
49		-(% style="margin-left: 30.0px;" %)
50	50	(% 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.
51	51
52	52	(% style="margin-left: 30.0px;" %)
...	...	@@ -56,15 +56,9 @@
56	56	(% 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
57	57
58	58	(% style="margin-left: 30.0px;" %)
59		-(% style="color:#003366" %)**[assigned]** (% style="color:#333333" %)F. Gretz, F. -J. Grosch, M. Mendler and S. Scheele, [[Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech>>url:https://ieeexplore.ieee.org/document/9232942||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232942.
60		-
61		-(% style="margin-left: 30.0px;" %)
62	62	(% style="color:#333333" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
63	63
64	64	(% style="margin-left: 30.0px;" %)
65		-(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Joaquin Aguado and Alejandra Duenas, [[Synchronised Shared Memory and Model Checking: A Proof of Concept>>url:https://ieeexplore.ieee.org/abstract/document/9568373||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08
66		-
67		-(% style="margin-left: 30.0px;" %)
68	68	==== **Real-Time / Embedded** ====
69	69
70	70	(% style="margin-left: 30.0px;" %)
...	...	@@ -71,15 +71,9 @@
71	71	Saranya Natarajan and David Broman, [[Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics>>url:https://ieeexplore.ieee.org/document/9232935||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//(% style="color:#333333" %), 2020
72	72
73	73	(% style="margin-left: 30.0px;" %)
74		-(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Hadi Alizadeh Ara, Marc Geilen, Amir Behrouzian, and Twan Basten. 2018. [[Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models>>url:https://dl.acm.org/doi/10.1145/3273905.3273921||shape="rect"]]. In (% style="color:#333333; text-align:left" %)//Proceedings of the 26th International Conference on Real-Time Networks and Systems//(% style="color:#333333" %) ((% style="color:#333333; text-align:left" %)//RTNS '18//(% style="color:#333333" %)). Association for Computing Machinery, New York, NY, USA, 265–275.
75		-
76		-(% style="margin-left: 30.0px;" %)
77	77	Francisco Sant'Anna, Rodrigo Santos, and Noemi Rodriguez. 2021. [[Symmetric distributed applications>>url:https://dl.acm.org/doi/10.1145/3486605.3486786||shape="rect"]]. //Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems//. Association for Computing Machinery.
78	78
79	79	(% style="margin-left: 30.0px;" %)
80		-(% style="color:#003366" %)**[assigned] **(%%)Y. Bai, O. Rafique and K. Schneider, [[A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications>>url:https://ieeexplore.ieee.org/document/9474190||shape="rect"]], //2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, 2021
81		-
82		-(% style="margin-left: 30.0px;" %)
83	83	==== **Safety Analysis** ====
84	84
85	85	(% style="margin-left: 30.0px;" %)
...	...	@@ -155,20 +155,15 @@
155	155	Milestone
156	156	)))
157	157	|(((
158		-Mo., 24.10., 12:00
	143	+tbd
159	159	)))|(((
160	160	First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
161	161	)))
162		-|(% colspan="1" %)(% colspan="1" %)
	147	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
163	163	(((
164		-Mo., 24.10., 23:59
165		-)))|(% colspan="1" %)(% colspan="1" %)
166		-(((
167	167	Deadline for topic selection (via email to Jette).
168	168	)))
169		-|(((
170		-Mo., 14.11., 23:59
171		-)))|(((
	151	+|tbd|(((
172	172	(% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
173	173	)))
174	174	|(% colspan="1" %)(% colspan="1" %)
...	...	@@ -178,11 +178,8 @@
178	178	(((
179	179	Individual feedback dates.
180	180	)))
181		-|(% colspan="1" %)(% colspan="1" %)
	161	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
182	182	(((
183		-Mo., 12.12., 23:59
184		-)))|(% colspan="1" %)(% colspan="1" %)
185		-(((
186	186	(% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
187	187	)))
188	188	|(% colspan="1" %)(% colspan="1" %)
...	...	@@ -192,11 +192,8 @@
192	192	(((
193	193	(% style="color:#172b4d" %)Individual feedback dates.
194	194	)))
195		-|(% colspan="1" %)(% colspan="1" %)
	172	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
196	196	(((
197		-Mo., 09.01., 23:59
198		-)))|(% colspan="1" %)(% colspan="1" %)
199		-(((
200	200	(% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%)) and admission to program committee (invitation via email)
201	201	)))
202	202	|(% colspan="1" %)(% colspan="1" %)
...	...	@@ -206,48 +206,33 @@
206	206	(((
207	207	(% style="color:#172b4d" %)Review assignment(%%) (via email)
208	208	)))
209		-|(% colspan="1" %)(% colspan="1" %)
	183	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
210	210	(((
211		-Di., 17.01., 23:59
212		-)))|(% colspan="1" %)(% colspan="1" %)
213		-(((
214	214	(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
215	215	)))
216		-|(% colspan="1" %)(% colspan="1" %)
	187	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
217	217	(((
218		-Mi., 08.02.
219		-)))|(% colspan="1" %)(% colspan="1" %)
220		-(((
221	221	(% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
222	222
223	223	The slides need to be available online or sent to the advisor beforehand (as PDF).
224	224	)))
225		-|(% colspan="1" %)(% colspan="1" %)
	193	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
226	226	(((
227		-Mo., 20.02., 23:59
228		-)))|(% colspan="1" %)(% colspan="1" %)
229		-(((
230	230	(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
231	231	)))
232	232	|(% colspan="1" %)(% colspan="1" %)
233	233	(((
234		-Mo. 27.02., all day
	199	+tbd, all day
235	235	)))|(% colspan="1" %)(% colspan="1" %)
236	236	(((
237		-Final presentations at CAP4 R.1304b
	202	+Final presentations
238	238	)))
239	239
240	240	== The Final Presentations ==
241	241
242		-The presentation of the prepared topic is held during a block seminar at CAP4 R.1304b. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
	207	+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.
243	243
244		-=== Agenda ===
245	245
246		-
247		-
248		-**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/128745476/agenda.pdf?version=1&modificationDate=1677149817000&api=v2||shape="rect"]]** die Agenda als PDF
249		-
250		-
251	251	= Schedule and Grading =
252	252
253	253	== Papers, Talks, Review ==