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** ====
...	...	@@ -55,10 +55,10 @@
55	55	(% style="color: rgb(51,51,51);" %)Mladen Skelin and Marc Geilen. [[Compositionality in scenario-aware dataflow: a rendezvous perspective>>url:https://dl.acm.org/doi/10.1145/3211332.3211339||shape="rect"]]. In //Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems// (//LCTES 2018//). Association for Computing Machinery, New York, NY, USA, 2018
56	56
57	57	(% style="margin-left: 30.0px;" %)
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
	58	+(% 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** ====
...	...	@@ -116,7 +116,7 @@
116	116	(% style="color: rgb(0,51,102);" %)Tobias Klaus, Florian Franzmann, Matthias Becker, and Peter Ulbrich. 2018. [[Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273923||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 93-103.
117	117
118	118	(% style="margin-left: 30.0px;" %)
119		-(% style="color: rgb(0, 51, 102); color: rgb(0, 0, 0)" %)**[assigned] **(% style="color: rgb(0,51,102);" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
	119	+(% style="color: rgb(0,51,102);" %)Evgeny Kusmenko, Bernhard Rumpe, Sascha Schneiders, and Michael von Wenckstern. 2018. [[Highly-Optimizing and Multi-Target Compiler for Embedded System Models: C++ Compiler Toolchain for the Component and Connector Language EmbeddedMontiArc>>url:https://dl.acm.org/citation.cfm?id=3239388||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 447-457.
120	120
121	121	(% style="margin-left: 30.0px;" %)
122	122	(% style="color: rgb(0,51,102);" %)Guillaume Brau, Nicolas Navet, and Jérôme Hugues. 2017. [[Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139281||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 168-177.
...	...	@@ -272,8 +272,6 @@
272	272
273	273	It is not possible to add files in the EasyChair review form. Therefore, it is not possible to add an annotated pdf as detailed correction.
274	274
275		-Some example reviews from a previous semester to understand the form (not necessarily with the best grades) can be found in here: [[1>>attach:review1.txt]] [[2>>attach:review2.txt]] [[3>>attach:review3.txt]] [[4>>attach:review4.txt]] [[5>>attach:review5.txt]].
276		-
277	277	The reviews are assigned after the review-version deadline and are based on the submitted version of the papers.
278	278
279	279	(% style="color: rgb(23,43,77);" %)

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-142606592
	1	+142606580

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/142606580/SS23 (Embedded Real-Time Systems)