Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 70.1 >
edited by Jette Petzold
on 2024/04/10 09:01
To version < 83.1 >
edited by Jette Petzold
on 2024/07/08 11:31
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -53,7 +53,7 @@
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;" %)
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.
56 +**[assigned]** (% 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;" %)
59 59  M. C. Werner and K. Schneider, "[[From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts>>https://ieeexplore.ieee.org/document/9925656]]," //2022 Forum on Specification & Design Languages (FDL)//, Linz, Austria, 2022, pp. 1-8, doi: 10.1109/FDL56239.2022.9925656.
... ... @@ -62,7 +62,7 @@
62 62  Fabien Siron, Dumitru Potop-Butucaru, Robert De Simone, Damien Chabrol, and Amira Methni. 2023.[[ Semantics foundations of PsyC based on synchronous Logical Execution Time>>https://dl.acm.org/doi/10.1145/3576914.3587495]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 319–324. [[https:~~/~~/doi.org/10.1145/3576914.3587495>>https://doi.org/10.1145/3576914.3587495]]
63 63  
64 64  (% style="margin-left: 30.0px;" %)
65 -Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, and Soroush Bateni. 2023. [[Polyglot Modal Models through Lingua Franca>>https://dl.acm.org/doi/abs/10.1145/3576914.3587498]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 337–342. [[https:~~/~~/doi.org/10.1145/3576914.3587498>>https://doi.org/10.1145/3576914.3587498]] //(There is also a [[long version>>https://arxiv.org/abs/2301.09597]])//
65 +**[assigned] **Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, and Soroush Bateni. 2023. [[Polyglot Modal Models through Lingua Franca>>https://dl.acm.org/doi/abs/10.1145/3576914.3587498]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 337–342. [[https:~~/~~/doi.org/10.1145/3576914.3587498>>https://doi.org/10.1145/3576914.3587498]] //(There is also a [[long version>>https://arxiv.org/abs/2301.09597]])//
66 66  
67 67  
68 68  (% style="margin-left: 30.0px;" %)
... ... @@ -69,7 +69,7 @@
69 69  ==== **Safety Analysis / Model Checking** ====
70 70  
71 71  (% style="margin-left: 30.0px;" %)
72 -(% style="color:#333333" %)S. Baumgart, J. Fröberg, and S. Punnekkat, [[Analyzing hazards in system-of-systems: Described in a quarry site automation context>>https://ieeexplore.ieee.org/document/7934783||shape="rect"]]. //2017 Annual IEEE International Systems Conference (SysCon)//, 2017, pp. 1-8, doi: (%%)10.1109/SYSCON.2017.7934783(% style="color:#333333" %).
72 +**[assigned]** (% style="color:#333333" %)S. Baumgart, J. Fröberg, and S. Punnekkat, [[Analyzing hazards in system-of-systems: Described in a quarry site automation context>>https://ieeexplore.ieee.org/document/7934783||shape="rect"]]. //2017 Annual IEEE International Systems Conference (SysCon)//, 2017, pp. 1-8, doi: (%%)10.1109/SYSCON.2017.7934783(% style="color:#333333" %).
73 73  
74 74  (% style="margin-left: 30.0px;" %)
75 75  **[assigned]** (% style="color:#333333" %)F. G. R. de Souza, J. de Melo Bezerra, C. M. Hirata, P. de Saqui-Sannes and L. Apvrille, [[Combining STPA with SysML Modeling>>url:https://ieeexplore.ieee.org/document/9275867||shape="rect"]]. //2020 IEEE International Systems Conference (SysCon)//, 2020, pp. 1-8, doi: 10.1109/SysCon47679.2020.9275867.
... ... @@ -78,7 +78,7 @@
78 78  **[assigned]** J. Kloos, T. Hussain, and R. Eschbach. [[Risk-based testing of safety-critical embedded systems driven by fault tree analysis>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5954386]]. In //2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//, pp. 26-33. IEEE, 2011.
79 79  
80 80  (% style="margin-left: 30.0px;" %)
81 -L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
81 +**[assigned]** L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
82 82  
83 83  
84 84  === Master Recommendations ===
... ... @@ -96,7 +96,7 @@
96 96  Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin. 2020. [[Reactive probabilistic programming>>url:https://dl.acm.org/doi/10.1145/3385412.3386009||shape="rect"]]. In //Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation// (//PLDI 2020//)
97 97  
98 98  (% style="margin-left: 30.0px;" %)
99 -(% style="color:#003366" %)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.
99 +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.
100 100  
101 101  (% style="margin-left: 30.0px;" %)
102 102  Kenwright, L., Roop, P.S., Allen, N., Lall, S., Cascaval, C., Spalink, T., & Izzard, M. (2024). [[Logical Synchrony Networks: A formal model for deterministic distribution>>https://arxiv.org/abs/2402.07433]]. //ArXiv, abs/2402.07433//.
... ... @@ -147,7 +147,7 @@
147 147  Deadline for topic selection (via email to Jette).
148 148  )))
149 149  |Mo., 29.04 23:59|(((
150 -(% 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.
150 +(% style="color:#172b4d" %)Deadline of the first draft in [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%). This includes abstract, introduction, outline, notes for chapter contents and an overview list of bibliography for related work.
151 151  )))
152 152  |(% colspan="1" %)(% colspan="1" %)
153 153  (((
... ... @@ -158,7 +158,7 @@
158 158  )))
159 159  |(% colspan="1" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %)
160 160  (((
161 -(% 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"]](%%))
161 +(% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
162 162  )))
163 163  |(% colspan="1" %)(% colspan="1" %)
164 164  (((
... ... @@ -169,7 +169,7 @@
169 169  )))
170 170  |(% colspan="1" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %)
171 171  (((
172 -(% 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)
172 +(% style="color:#172b4d" %)Deadline of the review version(%%) (submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%)) and admission to program committee (invitation via email)
173 173  )))
174 174  |(% colspan="1" %)(% colspan="1" %)
175 175  (((
... ... @@ -180,12 +180,12 @@
180 180  )))
181 181  |(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %)
182 182  (((
183 -(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
183 +(% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
184 184  )))
185 185  |(% colspan="1" %)(((
186 186  individual dates
187 187  
188 -Wed., 03.07 or Thu., 04.07
188 +Thu., 04.07
189 189  )))|(% colspan="1" %)(% colspan="1" %)
190 190  (((
191 191  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
... ... @@ -194,7 +194,7 @@
194 194  )))
195 195  |(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %)
196 196  (((
197 -(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]](%%))
197 +(% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
198 198  )))
199 199  |(% colspan="1" %)(% colspan="1" %)
200 200  (((
... ... @@ -247,7 +247,7 @@
247 247  
248 248  == Grades ==
249 249  
250 -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.
250 +This seminar is graded. The grade is based on each milestone (the different versions of the paper, the reviews, the slides, the talk, engagement in the workshop). For each milestone quality, timing (see dates) are graded. Missed deadline may cause you to fail the seminar.
251 251  
252 252  = Technical Details =
253 253  
... ... @@ -265,8 +265,9 @@
265 265  
266 266  === EasyChair Tutorial ===
267 267  
268 -You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**
268 +**[[The Tutorial>>doc:Seminars.EasyChair Tutorial.WebHome]]**
269 269  
270 +You can find our seminar in EasyChair: **[[Link>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]]**
270 270  
271 271  = Resources =
272 272  

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage