Summary

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

Details

Page properties

Content

...	...	@@ -37,7 +37,7 @@
37	37	Many of the links do only work in the university network. Through the usage of a [[VPN>>url:https://www.rz.uni-kiel.de/de/angebote/vpn||shape="rect"]] or a remote session to the [[terminal server>>url:https://www.inf.uni-kiel.de/de/service/technik-service/dienste||shape="rect"]], those are also accessible from home. If any problems occur feel free to contact us.
38	38
39	39	(% style="color: rgb(23,43,77);" %)
40		-=== Bachelor Recommendations ===
	40	+=== Bachelor Recommendations (not yet complete list, more to follow) ===
41	41
42	42	(% style="margin-left: 30.0px;" %)
43	43	==== **Real-Time / Embedded** ====
...	...	@@ -58,7 +58,7 @@
58	58	(% style="letter-spacing: 0px; color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="letter-spacing: 0.0px;" %)Yecheng Zhao and Haibo Zeng. [[Optimization techniques for time-critical cyber-physical systems>>url:https://dl.acm.org/doi/10.1145/3313151.3313168||shape="rect"]]. In //Proceedings of the Workshop on Design Automation for CPS and IoT// (//DESTION '19//). Association for Computing Machinery, New York, NY, USA, 2019
59	59
60	60	(% style="margin-left: 30.0px;" %)
61		-(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(%%)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: rgb(51,51,51);" %), 2020
	61	+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: rgb(51,51,51);" %), 2020
62	62
63	63	(% style="margin-left: 30.0px;" %)
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.
...	...	@@ -89,10 +89,10 @@
89	89
90	90
91	91	(% style="margin-left: 30.0px;" %)
92		-(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)**[assigned] **(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)L. Apvrille and L. W. Li. [[Harmonizing safety, security and performance requirements in embedded systems.>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8715124||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); color: rgb(0, 0, 0); color: rgb(0, 51, 102); text-align: left" %)//2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 1631-1636. IEEE, 2019.
	92	+(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %)L. Apvrille and L. W. Li. [[Harmonizing safety, security and performance requirements in embedded systems.>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8715124||shape="rect"]]. In (% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51); text-align: left" %)//2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)//(% style="color: rgb(34, 34, 34); color: rgb(51, 51, 51)" %), pp. 1631-1636. IEEE, 2019.
93	93
94	94	(% style="color: rgb(23,43,77);" %)
95		-=== Master Recommendations ===
	95	+=== Master Recommendations (not yet complete list, more to follow) ===
96	96
97	97	(% style="margin-left: 30.0px;" %)
98	98	==== **Real-Time / Embedded** ====

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-142606592
	1	+142606586

URL

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