Summary

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

Details

Page properties

Content

...	...	@@ -1,5 +1,5 @@
1	1	(% class="bodytext" style="text-align: left;" %)
2		-The purpose of this seminar is to independently and scientifically work on a topic on synchronous languages and related. The goal is to summarize the topic in an oral presentation and a written elaboration in form of a paper. Another purpose of this seminar is to practice working in structured and time-driven workflows (e.g. for conferences or workshops). Moreover, both of these aspects are a good preparation for working on your thesis. We have many theses regarding these topics available; contact us if you are interested in that.
	2	+terThe purpose of this seminar is to independently and scientifically work on a topic on synchronous languages and related. The goal is to summarize the topic in an oral presentation and a written elaboration in form of a paper. Another purpose of this seminar is to practice working in structured and time-driven workflows (e.g. for conferences or workshops). Moreover, both of these aspects are a good preparation for working on your thesis. We have many theses regarding these topics available; contact us if you are interested in that.
3	3
4	4	(% class="bodytext" style="text-align: left;" %)
5	5	This seminar is a bachelor and master module at the same time. Compared to the bachelor seminar, we expect that master students include more related work and therefore write a longer paper and hold a longer presentation (see below).
...	...	@@ -15,7 +15,7 @@
15	15	\\
16	16
17	17	(% style="text-align: left;" %)
18		-Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Mr. Mazarakis.
	18	+Moreover, we recommend the attendance of the lecture "**Scientific Working for Seminars and Thesis**" (Wissenschaftliches Arbeiten für Seminar und Abschlussarbeiten) held by Prof. Peters.
19	19
20	20	(% style="text-align: left;" %)
21	21	== Lecturers ==
...	...	@@ -52,6 +52,27 @@
52	52	(% style="margin-left: 30.0px;" %)
53	53	Marten Lohstroh and Edward A. Lee, [[Deterministic Actors>>url:https://ieeexplore.ieee.org/abstract/document/8876922||shape="rect"]], //2019 Forum for Specification and Design Languages (FDL)//, Southampton, United Kingdom, 2019
54	54
	55	+(% style="margin-left: 30.0px;" %)
	56	+\\
	57	+
	58	+(% style="margin-left: 30.0px;" %)
	59	+**new:**
	60	+
	61	+(% style="margin-left: 30.0px;" %)
	62	+Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, and Jean-Pierre Talpin, [[Clock-driven distributed real-time implementation of endochronous synchronous programs>>url:https://dl.acm.org/doi/abs/10.1145/1629335.1629356||shape="rect"]], In //Proceedings of the seventh ACM international conference on Embedded software//, New York, USA, 2009
	63	+
	64	+(% style="margin-left: 30.0px;" %)
	65	+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
	66	+
	67	+(% style="margin-left: 30.0px;" %)
	68	+(% style="color: rgb(51,51,51);" %)Saranya Natarajan and David Broman, [[Timed C: An Extension to the C Programming Language for Real-Time Systems>>url:https://ieeexplore.ieee.org/document/8430085||shape="rect"]], //2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)//, 2018, pp. 227-239
	69	+
	70	+(% style="margin-left: 30.0px;" %)
	71	+(% style="color: rgb(51,51,51);" %)Suzanne Elashri and Akramul Azim, [[Energy-efficient offloading of real-time tasks using cloud computing>>url:https://link.springer.com/article/10.1007/s10586-020-03086-2||shape="rect"]], (% style="color: rgb(51, 51, 51)" %)//Cluster Comput//(% style="color: rgb(51,51,51);" %) (% style="color: rgb(51, 51, 51)" %)**23, **(% style="color: rgb(51,51,51);" %)3273–3288 (2020)
	72	+
	73	+(% style="margin-left: 30.0px;" %)
	74	+(% style="color: rgb(51,51,51);" %)Hadi Alizadeh Ara, Marc Geilen, Amir Behrouzian, and Twan Basten. 2018. [[Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models>>url:https://dl.acm.org/doi/10.1145/3273905.3273921||shape="rect"]]. In (% style="color: rgb(51, 51, 51); text-align: left" %)//Proceedings of the 26th International Conference on Real-Time Networks and Systems//(% style="color: rgb(51,51,51);" %) ((% style="color: rgb(51, 51, 51); text-align: left" %)//RTNS '18//(% style="color: rgb(51,51,51);" %)). Association for Computing Machinery, New York, NY, USA, 265–275.
	75	+
55	55	=== Master Recommendations ===
56	56
57	57	(% style="margin-left: 30.0px;" %)
...	...	@@ -84,6 +84,12 @@
84	84
85	85	(% style="margin-left: 30.0px;" %)
86	86	(% 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.
	108	+
	109	+(% style="margin-left: 30.0px;" %)
	110	+\\
	111	+
	112	+(% style="margin-left: 30.0px;" %)
	113	+(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)Zain A. H. Hammadeh, Sophie Quinton, and Rolf Ernst. 2019. [[Weakly-hard Real-time Guarantees for Earliest Deadline First Scheduling of Independent Tasks>>url:https://dl.acm.org/doi/10.1145/3356865||shape="rect"]], (% style="color: rgb(0, 51, 102); text-align: left" %)//ACM Trans. Embed. Comput. Syst.//(% style="color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %) 18, 6, Article 121 (November 2019), 25 pages
87	87	{{/expand}}
88	88
89	89	= Schedule =

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-128745485
	1	+128745493

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745485/WS22/23 (Synchronous Languages)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745493/WS22/23 (Synchronous Languages)