Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -39,6 +39,10 @@
39	39	(% style="color: rgb(23,43,77);" %)
40	40	=== Bachelor Recommendations ===
41	41
	42	+Bloomfield, R. E., Bendele, M., Bishop, P. G., Stroud, R. and Tonks, S. (2016). [[The risk assessment of ERTMS-based railway systems from a cyber security perspective: Methodology and lessons learned.>>url:https://openaccess.city.ac.uk/id/eprint/15105/8/||shape="rect"]] Paper presented at the First International Conference, RSSRail 2016, 28-30 Jun 2016, Paris, France
	43	+
	44	+Shafiullah, GM., A. Gyasi-Agyei, and P. Wolfs. “[[Survey of Wireless Communications Applications in the Railway Industry.>>url:https://researchportal.murdoch.edu.au/esploro/outputs/conferencePaper/Survey-of-wireless-communications-applications-in/991005544952607891||shape="rect"]]” Murdoch University, 2007. Web.
	45	+
42	42	Velha, P., Nannipieri, T., Signorini, A., Morosi, M., Solazzi, M., Barone, F., ... & Di Pasquale, F. (2019). [[Monitoring large railways infrastructures using hybrid optical fibers sensor systems>>url:https://ieeexplore.ieee.org/document/8894046||shape="rect"]]. //IEEE Transactions on Intelligent Transportation Systems//, //21//(12), 5177-5188.
43	43
44	44	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.academia.edu/download/60461737/ENASE_2019_53_CR_220190902-46121-1lvdomr.pdf||shape="rect"]]. In //ENASE// (pp. 367-376).
...	...	@@ -61,6 +61,14 @@
61	61	Peleska, Jan, Anne E. Haxthausen, and Thierry Lecomte. "[[Standardisation considerations for autonomous train control.>>url:https://link.springer.com/chapter/10.1007/978-3-031-19762-8_22||shape="rect"]]" Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV. Cham: Springer Nature Switzerland, 2022.
62	62
63	63	Basile, D., ter Beek, M.H., Legay, A. (2020). [[Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego>>url:https://link.springer.com/chapter/10.1007/978-3-030-50086-3_1||shape="rect"]]. In: Gotsman, A., Sokolova, A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2020. Lecture Notes in Computer Science(), vol 12136. Springer, Cham. [[https:~~/~~/doi.org/10.1007/978-3-030-50086-3_1>>url:https://doi.org/10.1007/978-3-030-50086-3_1||shape="rect"]]
	68	+
	69	+G. Krummenacher, C. S. Ong, S. Koller, S. Kobayashi and J. M. Buhmann, "[[Wheel Defect Detection With Machine Learning>>url:https://ieeexplore.ieee.org/document/8006280||shape="rect"]]," in //IEEE Transactions on Intelligent Transportation Systems//, vol. 19, no. 4, pp. 1176-1187, April 2018, doi: 10.1109/TITS.2017.2720721.
	70	+
	71	+Anne E. Haxthausen, Jan Peleska, and Sebastian Kinder. 2011. [[A formal approach for the construction and verification of railway control systems.>>url:https://dl.acm.org/doi/10.1007/s00165-009-0143-6||shape="rect"]] Form. Asp. Comput. 23, 2 (Mar 2011), 191–219. [[https:~~/~~/doi.org/10.1007/s00165-009-0143-6>>url:https://doi.org/10.1007/s00165-009-0143-6||shape="rect"]]
	72	+
	73	+\\
	74	+
	75	+\\
64	64	{{/expand}}
65	65
66	66	== Schedule ==

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-154468434
	1	+154468436

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/154468434/WS23/24 (Rail)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/154468436/WS23/24 (Rail)