Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
<
From version < 9.1 >
edited by Jette Petzold
on 2022/05/30 10:47
To version < 6.1 >
edited by Jette Petzold
on 2022/05/30 08:35
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,5 +1,7 @@
1 +\\
2 +
1 1  (% class="bodytext" style="text-align: left;" %)
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.
4 +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.
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 Prof. Peters.
20 +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.
19 19  
20 20  (% style="text-align: left;" %)
21 21  == Lecturers ==
... ... @@ -26,7 +26,7 @@
26 26  Alexander Schulz-Rosengarten ([[als@informatik.uni-kiel.de>>mailto:als@informatik.uni-kiel.de||shape="rect"]])
27 27  
28 28  (% style="text-align: left;" %)
29 -= Topics =
31 +== Topics ==
30 30  
31 31  {{expand}}
32 32  (% class="bodytext" style="text-align: left;" %)
... ... @@ -52,12 +52,6 @@
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 -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//, 2009
60 -
61 61  === Master Recommendations ===
62 62  
63 63  (% style="margin-left: 30.0px;" %)
... ... @@ -92,12 +92,15 @@
92 92  (% 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.
93 93  {{/expand}}
94 94  
95 -= Schedule =
91 +\\
96 96  
93 +(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Schedule
94 +
97 97  {{expand}}
96 +(% style="" %)
98 98  == Dates in the semester (currently not final) ==
99 99  
100 -(% class="fixed-table wrapped" %)
99 +(% class="fixed-table" %)
101 101  |=(((
102 102  Date
103 103  )))|=(((
... ... @@ -197,8 +197,10 @@
197 197  **tbd**
198 198  {{/expand}}
199 199  
200 -= Schedule and Grading =
199 +\\
201 201  
201 +(% style="font-size: 24.0px;letter-spacing: -0.01em;" %)Schedule and Grading
202 +
202 202  {{expand}}
203 203  == Papers, Talks, Review ==
204 204  
... ... @@ -236,8 +236,10 @@
236 236  This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
237 237  {{/expand}}
238 238  
239 -= Technical Details =
240 +\\
240 240  
242 +(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Technical Details
243 +
241 241  {{expand}}
242 242  === LaTeX ===
243 243  
... ... @@ -264,8 +264,10 @@
264 264  {{/expand}}
265 265  {{/expand}}
266 266  
267 -= Resources =
270 +\\
268 268  
272 +(% style="font-size: 20.0px;letter-spacing: -0.008em;" %)Resources
273 +
269 269  {{expand}}
270 270  In general, it is advised to look for related work in the university network since you will get access to many online libraries. We the following search engines and web pages:
271 271  
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -128745489
1 +128745484
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745489/WS22/23 (Synchronous Languages)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745484/WS22/23 (Synchronous Languages)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage