Last modified by Maximilian Kasperowski on 2025/01/30 12:01
<
From version < 55.1 >
edited by Jette Petzold
on 2024/01/19 08:19
To version < 77.1 >
edited by Jette Petzold
on 2024/04/17 08:47
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -7,7 +7,7 @@
7 7  (% style="text-align: left;" %)
8 8  == Prerequisites ==
9 9  
10 -This seminar is build upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
10 +This seminar is built upon the contents of the "Synchronous Languages" lecture. All participants that did not yet attend this lecture are recommended to read the following introduction paper, at least parts I and II:
11 11  
12 12  Benveniste, A.; Caspi, P.; Edwards, S.A.; Halbwachs, N.; Le Guernic, P.; de Simone, R., "The synchronous languages 12 years later," //Proceedings of the IEEE// , vol.91, no.1, pp.64,83, Jan 2003 ([[pdf>>url:http://www.cs.columbia.edu/%7Esedwards/papers/benveniste2003synchronous.pdf||shape="rect" class="MIME-application MIME--pdf external-link"]]).
13 13  
... ... @@ -47,34 +47,40 @@
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;" %)
50 -(% style="color:#003366" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
50 +**[assigned]** (% style="color:#003366" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||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, 235-244.
51 51  
52 52  (% style="margin-left: 30.0px;" %)
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 -==== **Real-Time / Embedded** ====
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.
60 60  
61 +(% style="margin-left: 30.0px;" %)
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]]
61 61  
62 62  (% style="margin-left: 30.0px;" %)
63 -==== **Safety Analysis** ====
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]])//
64 64  
67 +
65 65  (% style="margin-left: 30.0px;" %)
66 -(% style="color:#333333" %)J. Axelsson and A. Kobetski, [[Towards a risk analysis method for systems-of-systems based on systems thinking>>url:https://ieeexplore.ieee.org/document/8369501||shape="rect"]]. //2018 Annual IEEE International Systems Conference (SysCon)//, 2018, pp. 1-8, doi: 10.1109/SYSCON.2018.8369501.
69 +==== **Safety Analysis / Model Checking** ====
67 67  
68 68  (% style="margin-left: 30.0px;" %)
69 -(% 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.
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" %).
70 70  
71 71  (% style="margin-left: 30.0px;" %)
72 -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.
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.
73 73  
74 74  (% style="margin-left: 30.0px;" %)
75 -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.
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.
76 76  
80 +(% style="margin-left: 30.0px;" %)
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.
77 77  
83 +
78 78  === Master Recommendations ===
79 79  
80 80  (% style="margin-left: 30.0px;" %)
... ... @@ -93,25 +93,23 @@
93 93  (% 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.
94 94  
95 95  (% style="margin-left: 30.0px;" %)
96 -==== **Real-Time / Embedded** ====
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//.
97 97  
98 98  (% style="margin-left: 30.0px;" %)
99 -(% style="color:#003366" %)J(%%)ordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Micha(% class="authors__name" %)ł Antkiewicz, Krzysztof Czarnecki, [[Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems>>url:https://rdcu.be/bQRqq||shape="rect"]],(% style="color:#003366" %) Software & Systems Modeling 2019
105 +K. Didier, A. Cohen, D. Potop-Butucaru and A. Gauffriau, "[[Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software>>https://ieeexplore.ieee.org/document/8843684]]," //2019 19th International Conference on Application of Concurrency to System Design (ACSD)//, Aachen, Germany, 2019, pp. 43-52, doi: 10.1109/ACSD.2019.00009.
100 100  
101 101  (% style="margin-left: 30.0px;" %)
102 -(% style="color:#003366" %)Reza Ahmadi, Ernesto Posse, and Juergen Dingel. 2018.[[ Slicing UML-based Models of Real-time Embedded Systems>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239407||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, 346-356.
108 +Timothy Bourke, Vincent Bregeon, and Marc Pouzet. [[Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints>>https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2023.1]]. In 35th Euromicro Conference on Real-Time Systems (ECRTS 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 262, pp. 1:1-1:22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2023) [[https:~~/~~/doi.org/10.4230/LIPIcs.ECRTS.2023.1>>url:https://doi.org/10.4230/LIPIcs.ECRTS.2023.1]]
103 103  
104 104  (% style="margin-left: 30.0px;" %)
105 -(% style="color:#003366" %)Bader Alahmad and Sathish Gopalakrishnan. 2018. [[On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273917||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 19-29.
111 +Pascal Fradet, Alain Girault, and Alexandre Honorat. 2023. [[Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization>>https://dl.acm.org/doi/10.1145/3589610.3596280]]. In Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2023). Association for Computing Machinery, New York, NY, USA, 76–86. [[https:~~/~~/doi.org/10.1145/3589610.3596280>>https://doi.org/10.1145/3589610.3596280]]
106 106  
107 107  (% style="margin-left: 30.0px;" %)
108 -(% style="color:#003366" %)Tobias Klaus, Florian Franzmann, Matthias Becker, and Peter Ulbrich. 2018. [[Data Propagation Delay Constraints in Multi-Rate Systems: Deadlines vs. Job-Level Dependencies>>url:https://dl.acm.org/citation.cfm?doid=3273905.3273923||shape="rect"]]. In //Proceedings of the 26th International Conference on Real-Time Networks and Systems// (RTNS '18). ACM, New York, NY, USA, 93-103.
114 +Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. 2023. [[Towards Building Verifiable CPS using Lingua Franca>>https://dl.acm.org/doi/10.1145/3609134]]. ACM Trans. Embed. Comput. Syst. 22, 5s, Article 155 (October 2023), 24 pages. [[https:~~/~~/doi.org/10.1145/3609134>>https://doi.org/10.1145/3609134]]
109 109  
110 110  (% style="margin-left: 30.0px;" %)
111 -(% style="color:#003366" %)Andreas Sailer, Michael Deubzer, Gerald Lüttgen, and Jürgen Mottok. 2017. [[Comparing trace recordings of automotive real-time software>>url:https://dl.acm.org/citation.cfm?doid=3139258.3139265||shape="rect"]]. In //Proceedings of the 25th International Conference on Real-Time Networks and Systems// (RTNS '17). ACM, New York, NY, USA, 118-127.
117 +Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, and Edward A. Lee. 2023. [[High-performance Deterministic Concurrency Using Lingua Franca.>>https://dl.acm.org/doi/10.1145/3617687]] ACM Trans. Archit. Code Optim. 20, 4, Article 48 (December 2023), 29 pages. [[https:~~/~~/doi.org/10.1145/3617687>>https://doi.org/10.1145/3617687]]
112 112  
113 -(% style="margin-left: 30.0px;" %)
114 -(% style="color:#003366" %)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.
115 115  
116 116  (% style="margin-left: 30.0px;" %)
117 117  ==== **Safety Analysis / Testing** ====
... ... @@ -122,6 +122,7 @@
122 122  (% style="margin-left: 30.0px;" %)
123 123  (% style="color:#333333" %)A. Gannous, A. Andrews and B. Gallina, [[Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems>>url:https://ieeexplore.ieee.org/document/8539215||shape="rect"]]. (%%)//2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)//(% style="color:#333333" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
124 124  
129 +
125 125  = Schedule =
126 126  
127 127  == Dates in the semester ==
... ... @@ -133,16 +133,16 @@
133 133  Milestone
134 134  )))
135 135  |(((
136 -tbd
141 +Tue., 16.04 10:00
137 137  )))|(((
138 -First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
143 +First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
139 139  )))
140 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
145 +|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %)
141 141  (((
142 142  Deadline for topic selection (via email to Jette).
143 143  )))
144 -|tbd|(((
145 -(% 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.
149 +|Mo., 29.04 23:59|(((
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.
146 146  )))
147 147  |(% colspan="1" %)(% colspan="1" %)
148 148  (((
... ... @@ -151,9 +151,9 @@
151 151  (((
152 152  Individual feedback dates.
153 153  )))
154 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
159 +|(% colspan="1" %)Mo., 20.05 23:59|(% colspan="1" %)(% colspan="1" %)
155 155  (((
156 -(% 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"]](%%))
157 157  )))
158 158  |(% colspan="1" %)(% colspan="1" %)
159 159  (((
... ... @@ -162,9 +162,9 @@
162 162  (((
163 163  (% style="color:#172b4d" %)Individual feedback dates.
164 164  )))
165 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
170 +|(% colspan="1" %)Mo., 03.06 23:59|(% colspan="1" %)(% colspan="1" %)
166 166  (((
167 -(% 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)
168 168  )))
169 169  |(% colspan="1" %)(% colspan="1" %)
170 170  (((
... ... @@ -173,28 +173,35 @@
173 173  (((
174 174  (% style="color:#172b4d" %)Review assignment(%%) (via email)
175 175  )))
176 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
181 +|(% colspan="1" %)Mo., 10.06 23:59|(% colspan="1" %)(% colspan="1" %)
177 177  (((
178 -(% 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"]](%%))
179 179  )))
180 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
185 +|(% colspan="1" %)(((
186 +individual dates
187 +
188 +Wed., 03.07 or Thu., 04.07
189 +)))|(% colspan="1" %)(% colspan="1" %)
181 181  (((
182 182  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
183 183  
184 184  The slides need to be available online or sent to the advisor beforehand (as PDF).
185 185  )))
186 -|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
195 +|(% colspan="1" %)Thu., 11.07 23:59|(% colspan="1" %)(% colspan="1" %)
187 187  (((
188 -(% 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"]](%%))
189 189  )))
190 190  |(% colspan="1" %)(% colspan="1" %)
191 191  (((
192 -tbd, all day
201 +Mo., 15.07, all day^^1^^
193 193  )))|(% colspan="1" %)(% colspan="1" %)
194 194  (((
195 195  Final presentations
196 196  )))
197 197  
207 +(% class="wikigeneratedid" %)
208 +//^^1^^preliminary date; please contact us if there are any conflicts with exams//
209 +
198 198  == The Final Presentations ==
199 199  
200 200  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.
... ... @@ -212,7 +212,7 @@
212 212  
213 213  === Talk ===
214 214  
215 -The talk should be 40 minutes (master) or 25 minutes (bachelor) long. This is followed by 5 minutes of questions. The slides should contain page numbers to allow the participants to ask specific questions after the talk. It would be great to include a short tool demo if your topic includes some concrete implementation.
227 +The talk should be 30 minutes (master) or 20 minutes (bachelor) long. This is followed by 5 minutes of questions. The slides should contain page numbers to allow the participants to ask specific questions after the talk. It would be great to include a short tool demo if your topic includes some concrete implementation.
216 216  
217 217  You can freely choose your presentation tool. Therefore, for the individual dates on the presentation slides it would be best to to use your own computer. If the slides are provided as PDF beforehand, a different computer could be used.
218 218  
... ... @@ -235,7 +235,7 @@
235 235  
236 236  == Grades ==
237 237  
238 -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.
239 239  
240 240  = Technical Details =
241 241  
... ... @@ -253,7 +253,7 @@
253 253  
254 254  === EasyChair Tutorial ===
255 255  
256 -You can find our seminar in EasyChair: **[[Link>>url:https://easychair.org/conferences/?conf=kielrtsyssem22ws||shape="rect"]]**
268 +You can find our seminar in EasyChair: **[[Link>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]]**
257 257  
258 258  
259 259  = Resources =

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage