Summary

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

Details

Page properties

Content

...	...	@@ -69,10 +69,10 @@
69	69	==== **Safety Analysis / Model Checking** ====
70	70
71	71	(% style="margin-left: 30.0px;" %)
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" %).
	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.
73	73
74	74	(% style="margin-left: 30.0px;" %)
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.
	75	+(% 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.
76	76
77	77	(% style="margin-left: 30.0px;" %)
78	78	**[assigned]** J. Kloos, T. Hussain, and R. Eschbach. [[Risk-based testing of safety-critical embedded systems driven by fault tree analysis>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5954386]]. In //2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//, pp. 26-33. IEEE, 2011.
...	...	@@ -146,8 +146,8 @@
146	146	(((
147	147	Deadline for topic selection (via email to Jette).
148	148	)))
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.
	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.
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" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %)
	159	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
160	160	(((
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"]](%%))
	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"]](%%))
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" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %)
	170	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
171	171	(((
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)
	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)
173	173	)))
174	174	|(% colspan="1" %)(% colspan="1" %)
175	175	(((
...	...	@@ -178,23 +178,19 @@
178	178	(((
179	179	(% style="color:#172b4d" %)Review assignment(%%) (via email)
180	180	)))
181		-|(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %)
	181	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
182	182	(((
183		-(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
	183	+(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
184	184	)))
185		-|(% colspan="1" %)(((
186		-individual dates
187		-
188		-Wed., 03.07 or Thu., 04.07
189		-)))|(% colspan="1" %)(% colspan="1" %)
	185	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
190	190	(((
191	191	(% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
192	192
193	193	The slides need to be available online or sent to the advisor beforehand (as PDF).
194	194	)))
195		-|(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %)
	191	+|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
196	196	(((
197		-(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
	193	+(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
198	198	)))
199	199	|(% colspan="1" %)(% colspan="1" %)
200	200	(((