Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.als
	1	+XWiki.jep

Content

...	...	@@ -69,13 +69,13 @@
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		-(% 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	+**[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.
76	76
77	77	(% style="margin-left: 30.0px;" %)
78		-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.
	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.
79	79
80	80	(% style="margin-left: 30.0px;" %)
81	81	L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
...	...	@@ -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	(((