Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -60,10 +60,10 @@
60	60	==== **Railway** ====
61	61
62	62	(% style="margin-left: 30.0px;" %)
63		-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).
	63	+**[assigned] **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).
64	64
65	65	(% style="margin-left: 30.0px;" %)
66		-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.
	66	+**[assigned] **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.
67	67
68	68	(% style="margin-left: 30.0px;" %)
69	69	**[assigned] **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]]
...	...	@@ -177,7 +177,7 @@
177	177	)))
178	178	|(% colspan="1" %)(% colspan="1" %)
179	179	(((
180		-t.b.a.
	180	+Mo., 10.02.2025, 08:30–ca. 13:00
181	181	)))|(% colspan="1" %)(% colspan="1" %)
182	182	(((
183	183	Final presentations
...	...	@@ -185,7 +185,7 @@
185	185
186	186	== The Final Presentations ==
187	187
188		-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.
	188	+The presentation of the prepared topic is held during a block seminar at CAP4 R. 1304a. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.
189	189
190	190
191	191	= Schedule and Grading =
...	...	@@ -219,6 +219,8 @@
219	219
220	220	It is not possible to add files in the EasyChair review form. Therefore, it is not possible to add an annotated pdf as detailed correction.
221	221
	222	+Some example reviews from a previous semester to understand the form (not necessarily with the best grades) can be found in here: [[1>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review1.txt?rev=1.2]] [[2>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review2.txt?rev=1.2]] [[3>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review3.txt?rev=1.2]] [[4>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review4.txt?rev=1.2]] [[5>>path:/bin/download/Seminars/SS23%20%28Embedded%20Real-Time%20Systems%29/WebHome/review5.txt?rev=1.2]].
	223	+
222	222	The reviews are assigned after the review-version deadline and are based on the submitted version of the papers.
223	223
224	224	== Grades ==
...	...	@@ -229,7 +229,7 @@
229	229
230	230	=== LaTeX ===
231	231
232		-Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[archive>>attach:SS20 (Layout)@paper-template.zip]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
	234	+Your papers should be created using LaTeX and have to be in the provided ACM style. You can find all necessary files in this [[zip archive>>https://cloud.rz.uni-kiel.de/index.php/s/PpmFxJtxYqF2GaX]], including an example document that includes helpful LaTeX-hints to start with. Copy all files in some folder and begin to write your paper.
233	233
234	234	LaTeX can create a bibliography (it includes scientific publications, which are referenced to prove statements) too. The example includes a file named {{code language="none"}}myrefs.bib{{/code}}, which holds the references. ACM provides a short overview with [[examples>>url:https://www.acm.org/publications/authors/bibtex-formatting||shape="rect"]] of bibliography entries.
235	235