Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 53.1 >
edited by Jette Petzold
on 2024/01/19 08:15
To version < 51.1 >
edited by Richard Kreissig
on 2023/09/06 13:33
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,1 @@
1 -2024 Synchronous Languages
1 +2022/23 Synchronous Languages
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.jep
1 +XWiki.stu230980
Content
... ... @@ -44,6 +44,9 @@
44 44  (% style="color:#333333" %)S. A. Edwards and J. Hui, [[The Sparse Synchronous Model>>url:https://ieeexplore.ieee.org/document/9232938||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232938.
45 45  
46 46  (% style="margin-left: 30.0px;" %)
47 +(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Francisco Sant’Anna, [[Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu>>url:https://ieeexplore.ieee.org/abstract/document/8636899||shape="rect"]], //2018 17th Brazilian Symposium on Computer Games and Digital Entertainment (SBGames)//, 2018, pp. 240-24009
48 +
49 +(% style="margin-left: 30.0px;" %)
47 47  (% style="color:#333333" %)J. Deantoni, J. Cambeiro, S. Bateni, S. Lin and M. Lohstroh, [[Debugging and Verification Tools for Lingua Franca in Gemoc Studio>>url:https://ieeexplore.ieee.org/document/9568383||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08, doi: 10.1109/FDL53530.2021.9568383.
48 48  
49 49  (% style="margin-left: 30.0px;" %)
... ... @@ -53,9 +53,15 @@
53 53  (% style="color:#333333" %)M. Lohstroh, C. Menard, A. Schulz-Rosengarten, M. Weber, J. Castrillon and E. A. Lee, [[A Language for Deterministic Coordination Across Multiple Timelines>>url:https://ieeexplore.ieee.org/document/9232939||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020
54 54  
55 55  (% style="margin-left: 30.0px;" %)
59 +(% style="color:#003366" %)**[assigned]** (% style="color:#333333" %)F. Gretz, F. -J. Grosch, M. Mendler and S. Scheele, [[Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech>>url:https://ieeexplore.ieee.org/document/9232942||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232942.
60 +
61 +(% style="margin-left: 30.0px;" %)
56 56  (% style="color:#333333" %)L. Grimm, S. Smyth, A. Schulz-Rosengarten, R. von Hanxleden and M. Pouzet, [[From Lustre to Graphical Models and SCCharts>>url:https://ieeexplore.ieee.org/document/9232944||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020, pp. 1-8, doi: 10.1109/FDL50818.2020.9232944.
57 57  
58 58  (% style="margin-left: 30.0px;" %)
65 +(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)Joaquin Aguado and Alejandra Duenas, [[Synchronised Shared Memory and Model Checking: A Proof of Concept>>url:https://ieeexplore.ieee.org/abstract/document/9568373||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08
66 +
67 +(% style="margin-left: 30.0px;" %)
59 59  ==== **Real-Time / Embedded** ====
60 60  
61 61  (% style="margin-left: 30.0px;" %)
... ... @@ -62,9 +62,15 @@
62 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"]], //2020 Forum for Specification and Design Languages (FDL)//(% style="color:#333333" %), 2020
63 63  
64 64  (% style="margin-left: 30.0px;" %)
74 +(% style="color:#003366" %)**[assigned] **(% style="color:#333333" %)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:#333333; text-align:left" %)//Proceedings of the 26th International Conference on Real-Time Networks and Systems//(% style="color:#333333" %) ((% style="color:#333333; text-align:left" %)//RTNS '18//(% style="color:#333333" %)). Association for Computing Machinery, New York, NY, USA, 265–275.
75 +
76 +(% style="margin-left: 30.0px;" %)
65 65  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.
66 66  
67 67  (% style="margin-left: 30.0px;" %)
80 +(% style="color:#003366" %)**[assigned] **(%%)Y. Bai, O. Rafique and K. Schneider, [[A Model-based Design Flow for Asynchronous Implementations from Synchronous Specifications>>url:https://ieeexplore.ieee.org/document/9474190||shape="rect"]], //2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, 2021
81 +
82 +(% style="margin-left: 30.0px;" %)
68 68  ==== **Safety Analysis** ====
69 69  
70 70  (% style="margin-left: 30.0px;" %)
... ... @@ -140,15 +140,20 @@
140 140  Milestone
141 141  )))
142 142  |(((
143 -tbd
158 +Mo., 24.10., 12:00
144 144  )))|(((
145 145  First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
146 146  )))
147 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
162 +|(% colspan="1" %)(% colspan="1" %)
148 148  (((
164 +Mo., 24.10., 23:59
165 +)))|(% colspan="1" %)(% colspan="1" %)
166 +(((
149 149  Deadline for topic selection (via email to Jette).
150 150  )))
151 -|tbd|(((
169 +|(((
170 +Mo., 14.11., 23:59
171 +)))|(((
152 152  (% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
153 153  )))
154 154  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -158,8 +158,11 @@
158 158  (((
159 159  Individual feedback dates.
160 160  )))
161 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
181 +|(% colspan="1" %)(% colspan="1" %)
162 162  (((
183 +Mo., 12.12., 23:59
184 +)))|(% colspan="1" %)(% colspan="1" %)
185 +(((
163 163  (% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
164 164  )))
165 165  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -169,8 +169,11 @@
169 169  (((
170 170  (% style="color:#172b4d" %)Individual feedback dates.
171 171  )))
172 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
195 +|(% colspan="1" %)(% colspan="1" %)
173 173  (((
197 +Mo., 09.01., 23:59
198 +)))|(% colspan="1" %)(% colspan="1" %)
199 +(((
174 174  (% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%)) and admission to program committee (invitation via email)
175 175  )))
176 176  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -180,33 +180,48 @@
180 180  (((
181 181  (% style="color:#172b4d" %)Review assignment(%%) (via email)
182 182  )))
183 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
209 +|(% colspan="1" %)(% colspan="1" %)
184 184  (((
211 +Di., 17.01., 23:59
212 +)))|(% colspan="1" %)(% colspan="1" %)
213 +(((
185 185  (% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
186 186  )))
187 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
216 +|(% colspan="1" %)(% colspan="1" %)
188 188  (((
218 +Mi., 08.02.
219 +)))|(% colspan="1" %)(% colspan="1" %)
220 +(((
189 189  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
190 190  
191 191  The slides need to be available online or sent to the advisor beforehand (as PDF).
192 192  )))
193 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
225 +|(% colspan="1" %)(% colspan="1" %)
194 194  (((
227 +Mo., 20.02., 23:59
228 +)))|(% colspan="1" %)(% colspan="1" %)
229 +(((
195 195  (% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
196 196  )))
197 197  |(% colspan="1" %)(% colspan="1" %)
198 198  (((
199 -tbd, all day
234 +Mo. 27.02., all day
200 200  )))|(% colspan="1" %)(% colspan="1" %)
201 201  (((
202 -Final presentations
237 +Final presentations at CAP4 R.1304b
203 203  )))
204 204  
205 205  == The Final Presentations ==
206 206  
207 -The presentation of the prepared topic is held during a block seminar at **tbd**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
242 +The presentation of the prepared topic is held during a block seminar at CAP4 R.1304b. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
208 208  
244 +=== Agenda ===
209 209  
246 +
247 +
248 +**[[Hier>>url:https://rtsys.informatik.uni-kiel.de/confluence/download/attachments/128745476/agenda.pdf?version=1&modificationDate=1677149817000&api=v2||shape="rect"]]** die Agenda als PDF
249 +
250 +
210 210  = Schedule and Grading =
211 211  
212 212  == Papers, Talks, Review ==

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage