Summary

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

Details

Page properties

Content

...	...	@@ -53,7 +53,7 @@
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
54	54
55	55	(% style="margin-left: 30.0px;" %)
56		-(% 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.
	56	+**[assigned]** (% 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.
57	57
58	58	(% style="margin-left: 30.0px;" %)
59	59	M. C. Werner and K. Schneider, "[[From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts>>https://ieeexplore.ieee.org/document/9925656]]," //2022 Forum on Specification & Design Languages (FDL)//, Linz, Austria, 2022, pp. 1-8, doi: 10.1109/FDL56239.2022.9925656.
...	...	@@ -69,7 +69,7 @@
69	69	==== **Safety Analysis / Model Checking** ====
70	70
71	71	(% style="margin-left: 30.0px;" %)
72		-(% style="color:#333333" %)J. Axelsson and A. Kobetski, [[Towards a risk analysis method for systems-of-systems based on systems thinking>>url:https://ieeexplore.ieee.org/document/8369501||shape="rect"]]. //2018 Annual IEEE International Systems Conference (SysCon)//, 2018, pp. 1-8, doi: 10.1109/SYSCON.2018.8369501.
	72	+(% style="color:#333333" %)S. Baumgart, J. Fröberg, and S. Punnekkat, [[Analyzing hazards in system-of-systems: Described in a quarry site automation context>>https://ieeexplore.ieee.org/document/7934783||shape="rect"]]. //2017 Annual IEEE International Systems Conference (SysCon)//, 2017, pp. 1-8, doi: (%%)10.1109/SYSCON.2017.7934783(% style="color:#333333" %).
73	73
74	74	(% style="margin-left: 30.0px;" %)
75	75	**[assigned]** (% style="color:#333333" %)F. G. R. de Souza, J. de Melo Bezerra, C. M. Hirata, P. de Saqui-Sannes and L. Apvrille, [[Combining STPA with SysML Modeling>>url:https://ieeexplore.ieee.org/document/9275867||shape="rect"]]. //2020 IEEE International Systems Conference (SysCon)//, 2020, pp. 1-8, doi: 10.1109/SysCon47679.2020.9275867.
...	...	@@ -146,8 +146,8 @@
146	146	(((
147	147	Deadline for topic selection (via email to Jette).
148	148	)))
149		-|tbd|(((
150		-(% 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.
	149	+|Mo., 29.04 23:59|(((
	150	+(% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
151	151	)))
152	152	|(% colspan="1" %)(% colspan="1" %)
153	153	(((
...	...	@@ -156,9 +156,9 @@
156	156	(((
157	157	Individual feedback dates.
158	158	)))
159		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	159	+|(% colspan="1" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %)
160	160	(((
161		-(% 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"]](%%))
	161	+(% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
162	162	)))
163	163	|(% colspan="1" %)(% colspan="1" %)
164	164	(((
...	...	@@ -167,9 +167,9 @@
167	167	(((
168	168	(% style="color:#172b4d" %)Individual feedback dates.
169	169	)))
170		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	170	+|(% colspan="1" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %)
171	171	(((
172		-(% 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)
	172	+(% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%)) and admission to program committee (invitation via email)
173	173	)))
174	174	|(% colspan="1" %)(% colspan="1" %)
175	175	(((
...	...	@@ -178,19 +178,23 @@
178	178	(((
179	179	(% style="color:#172b4d" %)Review assignment(%%) (via email)
180	180	)))
181		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	181	+|(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %)
182	182	(((
183		-(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
	183	+(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
184	184	)))
185		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	185	+|(% colspan="1" %)(((
	186	+individual dates
	187	+
	188	+Wed., 03.07 or Thu., 04.07
	189	+)))|(% colspan="1" %)(% colspan="1" %)
186	186	(((
187	187	(% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
188	188
189	189	The slides need to be available online or sent to the advisor beforehand (as PDF).
190	190	)))
191		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	195	+|(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %)
192	192	(((
193		-(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
	197	+(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
194	194	)))
195	195	|(% colspan="1" %)(% colspan="1" %)
196	196	(((
...	...	@@ -243,7 +243,7 @@
243	243
244	244	== Grades ==
245	245
246		-This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
	250	+This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk, engagement in the workshop). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
247	247
248	248	= Technical Details =
249	249
...	...	@@ -261,7 +261,7 @@
261	261
262	262	=== EasyChair Tutorial ===
263	263
264		-You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**
	268	+You can find our seminar in EasyChair: **[[Link>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]]**
265	265
266	266
267	267	= Resources =