Summary

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

Details

Page properties

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.