Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -64,7 +64,7 @@
64	64	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)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.
65	65
66	66	(% style="margin-left: 30.0px;" %)
67		-(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
	67	+(% style="color: rgb(51,51,51);" %)N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369||shape="rect"]], (%%)//2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(51,51,51);" %), Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
68	68
69	69	(% style="margin-left: 30.0px;" %)
70	70	==== **Safety Analysis/Model Checking** ====
...	...	@@ -73,7 +73,7 @@
73	73	(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)H. Reza, M. Pimple, V. Krishna and J. Hildle, [[A Safety Analysis Method Using Fault Tree Analysis and Petri Nets>>url:https://ieeexplore.ieee.org/document/5070769||shape="rect"]]. (% style="color: rgb(34,34,34);" %)//2009 Sixth International Conference on Information Technology: New Generations//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), 2009, pp. 1089-1094, doi: 10.1109/ITNG.2009.183.
74	74
75	75	(% style="margin-left: 30.0px;" %)
76		-(% style="color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(51,51,51);" %)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.
	76	+(% style="color: rgb(51,51,51);" %)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.
77	77
78	78	(% style="margin-left: 30.0px;" %)
79	79	(% style="color: rgb(51,51,51);" %)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.
...	...	@@ -164,7 +164,7 @@
164	164	)))
165	165	|(% colspan="1" %)(% colspan="1" %)
166	166	(((
167		-(% style="color: rgb(23,43,77);" %)In the week after above (02.05.-05.05.), individual dates
	167	+(% style="color: rgb(23,43,77);" %)In week of above, individual dates
168	168	)))|(% colspan="1" %)(% colspan="1" %)
169	169	(((
170	170	Individual feedback dates.
...	...	@@ -178,7 +178,7 @@
178	178	)))
179	179	|(% colspan="1" %)(% colspan="1" %)
180	180	(((
181		-(% style="color: rgb(23,43,77);" %)In the week after above (22.05.-26.05.), individual dates
	181	+(% style="color: rgb(23,43,77);" %)In week of above, individual dates
182	182	)))|(% colspan="1" %)(% colspan="1" %)
183	183	(((
184	184	Individual feedback dates.
...	...	@@ -208,7 +208,7 @@
208	208	)))
209	209	|(% colspan="1" %)(% colspan="1" %)
210	210	(((
211		-subsequently (12.06.-16.06.)
	211	+subsequently
212	212	)))|(% colspan="1" %)(% colspan="1" %)
213	213	(((
214	214	Individual feedback dates on presentation slides.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-142606599
	1	+142606595

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606599/SS23 (Embedded Real-Time Systems)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/142606595/SS23 (Embedded Real-Time Systems)