Changes for page 2022/23 Synchronous Languages
Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:00
Change comment:
There is no comment for this version
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
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 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,18 @@ 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//, New York, USA, 2009 60 + 61 +(% style="margin-left: 30.0px;" %) 62 +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"]], (% style="" %)//2020 Forum for Specification and Design Languages (FDL)//(% style="color: rgb(51,51,51);" %), 2020 63 + 64 +(% style="margin-left: 30.0px;" %) 65 +(% 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"]], (% style="color: rgb(51, 51, 51)" %)//2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)//(% style="color: rgb(51,51,51);" %), 2018, pp. 227-239 66 + 55 55 === Master Recommendations === 56 56 57 57 (% style="margin-left: 30.0px;" %)
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -1287454 851 +128745491 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/1287454 85/WS22/23 (Synchronous Languages)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/128745491/WS22/23 (Synchronous Languages)