Last modified by Niklas Rentz on 2025/02/06 08:14
<
From version < 84.1 >
edited by Malte Clement
on 2024/06/27 11:16
To version < 86.2 >
edited by Niklas Rentz
on 2024/07/25 12:03
>
Change comment: Dates in the semester

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.mac
1 +XWiki.nre
Content
... ... @@ -49,25 +49,25 @@
49 49  N. A. Carreón, A. Gilbreath and R. Lysecky, [[Statistical Time-based Intrusion Detection in Embedded Systems>>url:https://ieeexplore.ieee.org/abstract/document/9116369]], //2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)//, Grenoble, France, 2020, pp. 562-567, doi: 10.23919/DATE48585.2020.9116369.
50 50  
51 51  (% style="margin-left: 30.0px;" %)
52 -==== **Railway** ====
52 +P. Fradet, A. Girault, A. 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, 2023, pp. 76 - 86, doi: 10.1145/3589610.3596280.
53 53  
54 54  (% style="margin-left: 30.0px;" %)
55 -Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). [[A Model-based Approach for the Modeling and the Verification of Railway Signaling System>>url:https://www.scitepress.org/Papers/2019/77284/77284.pdf]]. In //ENASE// (pp. 367-376).
55 +M.Lohstroh, E. A. Lee, S. Edwards. 2023 "[[Logical Time for Reactive Software>>https://dl.acm.org/doi/10.1145/3576914.3587494]]" In //Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23 //). Association for Computing Machinery, New York, NY, USA, 2023, pp. 313 - 318, doi:10.1145/3576914.358749.
56 56  
57 57  (% style="margin-left: 30.0px;" %)
58 -P. Sun, S. Collart-dutilleul and P. Bon, "[[A model pattern of railway interlocking system by Petri nets>>url:https://ieeexplore.ieee.org/document/7223292]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292.
58 +S. Bateni //et al//., "[[Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems>>https://ieeexplore.ieee.org/document/10316195]]". //2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)//, Hamburg, Germany, 2023, pp. 1-11.
59 59  
60 60  (% style="margin-left: 30.0px;" %)
61 -Hertel, B.; Pagenkopf, J.; König, J. "[[Challenges in the (Re-)Connection of Peripheral Areas to the Rail Network from a Rolling Stock Perspective: The Case of Germany.>>url:https://www.mdpi.com/2624-8921/5/3/63]]" Vehicles 2023, //5//, pp. 1138-1148. [[https:~~/~~/doi.org/10.3390/vehicles5030063>>https://doi.org/10.3390/vehicles5030063]]
61 +==== **Railway** ====
62 62  
63 63  (% style="margin-left: 30.0px;" %)
64 -P. Fradet, A. Girault, A. 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, 2023, pp. 76 - 86, doi: 10.1145/3589610.3596280.
64 +Bougacha, R., Wakrime, A. A., Kallel, S., Ayed, R. B., & Dutilleul, S. C. (2019, May). [[A Model-based Approach for the Modeling and the Verification of Railway Signaling System>>url:https://www.scitepress.org/Papers/2019/77284/77284.pdf]]. In //ENASE// (pp. 367-376).
65 65  
66 66  (% style="margin-left: 30.0px;" %)
67 -M.Lohstroh, E. A. Lee, S. Edwards. 2023 "[[Logical Time for Reactive Software>>https://dl.acm.org/doi/10.1145/3576914.3587494]]" In //Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23 //). Association for Computing Machinery, New York, NY, USA, 2023, pp. 313 - 318, doi:10.1145/3576914.358749.
67 +P. Sun, S. Collart-dutilleul and P. Bon, "[[A model pattern of railway interlocking system by Petri nets>>url:https://ieeexplore.ieee.org/document/7223292]]," 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), Budapest, Hungary, 2015, pp. 442-449, doi: 10.1109/MTITS.2015.7223292.
68 68  
69 69  (% style="margin-left: 30.0px;" %)
70 -S. Bateni //et al//., "[[Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems>>https://ieeexplore.ieee.org/document/10316195]]". //2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)//, Hamburg, Germany, 2023, pp. 1-11.
70 +Hertel, B.; Pagenkopf, J.; König, J. "[[Challenges in the (Re-)Connection of Peripheral Areas to the Rail Network from a Rolling Stock Perspective: The Case of Germany.>>url:https://www.mdpi.com/2624-8921/5/3/63]]" Vehicles 2023, //5//, pp. 1138-1148. [[https:~~/~~/doi.org/10.3390/vehicles5030063>>https://doi.org/10.3390/vehicles5030063]]
71 71  
72 72  (% style="margin-left: 30.0px;" %)
73 73  There are more bachelor recommendations that are not publicly available on the [[subpage for non-public papers>>doc:.Railway Technology - Non-public Papers.WebHome]], to view them please log in with your LDAP credentials.
... ... @@ -121,16 +121,14 @@
121 121  )))|=(((
122 122  Milestone
123 123  )))
124 -|(((
125 -t.b.a.
126 -)))|(((
124 +|Tue., 22.10.2024, 9:50|(((
127 127  First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
128 128  )))
129 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
127 +|(% colspan="1" %)Tue., 22.10.2024, 23:59|(% colspan="1" %)(% colspan="1" %)
130 130  (((
131 131  Deadline for topic selection (via email to Niklas).
132 132  )))
133 -|t.b.a.|(((
131 +|Mo., 11.11.2024, 23:59|(((
134 134  (% 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.
135 135  )))
136 136  |(% colspan="1" %)(% colspan="1" %)
... ... @@ -140,7 +140,7 @@
140 140  (((
141 141  Individual feedback dates.
142 142  )))
143 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
141 +|(% colspan="1" %)Mo., 09.12.2024, 23:59|(% colspan="1" %)(% colspan="1" %)
144 144  (((
145 145  (% style="color:#172b4d" %)Deadline of the first full version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
146 146  )))
... ... @@ -151,7 +151,7 @@
151 151  (((
152 152  (% style="color:#172b4d" %)Individual feedback dates.
153 153  )))
154 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
152 +|(% colspan="1" %)Mo., 06.01.2025, 23:59|(% colspan="1" %)(% colspan="1" %)
155 155  (((
156 156  (% 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)
157 157  )))
... ... @@ -162,14 +162,12 @@
162 162  (((
163 163  (% style="color:#172b4d" %)Review assignment(%%) (via email)
164 164  )))
165 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
163 +|(% colspan="1" %)Mo., 13.01.2025, 23:59|(% colspan="1" %)(% colspan="1" %)
166 166  (((
167 167  (% style="color:#172b4d" %)Deadline reviews(%%) (in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
168 168  )))
169 169  |(% colspan="1" %)(((
170 -individual dates
171 -
172 -t.b.a.
168 +Week before final deadline, individual dates
173 173  )))|(% colspan="1" %)(% colspan="1" %)
174 174  (((
175 175  (% style="color:#172b4d" %)Individual feedback dates on presentation slides(%%).
... ... @@ -176,21 +176,18 @@
176 176  
177 177  The slides need to be available online or sent to the advisor beforehand (as PDF).
178 178  )))
179 -|(% colspan="1" %)t.b.a.|(% colspan="1" %)(% colspan="1" %)
175 +|(% colspan="1" %)Wed., 05.02.2025, 23:59|(% colspan="1" %)(% colspan="1" %)
180 180  (((
181 181  (% style="color:#172b4d" %)Deadline final version (%%)(submission update in(% style="color:#172b4d" %) [[EasyChair>>https://easychair.org/conferences/?conf=kielrtsyssem24ss||shape="rect"]](%%))
182 182  )))
183 183  |(% colspan="1" %)(% colspan="1" %)
184 184  (((
185 -t.b.a.^^1^^
181 +t.b.a.
186 186  )))|(% colspan="1" %)(% colspan="1" %)
187 187  (((
188 188  Final presentations
189 189  )))
190 190  
191 -(% class="wikigeneratedid" %)
192 -//^^1^^preliminary date; please contact us if there are any conflicts with exams//
193 -
194 194  == The Final Presentations ==
195 195  
196 196  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.

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage