E-LIB Suche - Ergebnisse für: Collart-Dutilleul, Simon

1

Formalizing for Proving the System Safety of the Software C..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,

Hamidi, Amine ; Collart-Dutilleul, Simon ; Bon, Philippe - p. 85-99 , 2024

Link: https://doi.org/10.1007/..

2

FERROMOBILE and Security for Low Moment of Traffic Level Cr..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,

Brahim, Rim ; Collart-Dutilleul, Simon ; Bon, Philippe.. - p. 35-50 , 2024

Link: https://doi.org/10.1007/..

3

A railway norms application for small traffic railway lines..:

, In: 2023 International Conference on Control, Automation and Diagnosis (ICCAD),

Collart-Dutilleul, Simon ; Bon, Philippe ; Hamidi, Amine - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

4

Formal alignment of requirements models with high-level arc..:

, In: 2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS),

Bougacha, Racem ; Laleau, Regine ; Collart-Dutilleul, Simon - p. 216-225 , 2023

Link: https://doi.org/10.1109/..

5

Reliability, Safety, and Security of Railway Systems. Model..

Lecture Notes in Computer Science, 14198

Milius, Birgit ; Collart-Dutilleul, Simon ; Lecomte, Thierry - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

6

Introduction to the Special Section on Reliability, Safety,..:

Collart-Dutilleul, Simon ; Haxthausen, Anne E. ; Lecomte, Thierry.
Formal Aspects of Computing. 35 (2023) 1 - p. 1-2 , 2023

Link: https://doi.org/10.1145/..

7

Modeling Train Systems: From High-Level Architecture Graphi..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,

Bougacha, Racem ; Laleau, Régine ; Bon, Philippe.. - p. 153-168 , 2023

Link: https://doi.org/10.1007/..

8

A Colored Petri Net Model for Control Problem of Border Cro..:

, In: 2022 International Conference on Robotics and Automation (ICRA),

Kadri, Hela ; Collart-Dutilleul, Simon ; Bon, Philippe. - p. 11548-11554 , 2022

Link: https://doi.org/10.1109/..

9

Visual animation of B specifications using executable DSLs:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,

Yar, Asfand ; Idani, Akram ; Ledru, Yves. - p. 617-626 , 2022

Link: https://dl.acm.org/doi/1..

10

Identifying Alterability States of a Single Track Railway L..:

Martinez, Sebastien ; Collart-Dutilleul, Simon ; Bon, Philippe
INTERNATIONAL JOURNAL OF COMPUTERSCOMMUNICATIONS & CONTROL. 17 (2022) 5 - p. , 2022

Link: https://doi.org/10.15837..

11

Operating Rules and Interoperability in Trans-National High..:

Collart-Dutilleul, Simon - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

12

Extending SysML with Refinement and Decomposition Mechanism..:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Bougacha, Racem ; Laleau, Régine ; Collart-Dutilleul, Simon. - p. 256-273 , 2022

Link: https://doi.org/10.1007/..

13

Reliability, Safety, and Security of Railway Systems. Model..

Lecture Notes in Computer Science, 13294

Collart-Dutilleul, Simon ; Haxthausen, Anne E ; Lecomte, Thierry - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

14

Correction to: Crossing Border in the European Railway Syst..:

, In: Operating Rules and Interoperability in Trans-National High-Speed Rail,

Kadri, Hela ; Collart-Dutilleul, Simon ; Bon, Philippe - p. C1-C1 , 2021

Link: https://doi.org/10.1007/..

15

Crossing Border in the European Railway System: Operating M..:

, In: Operating Rules and Interoperability in Trans-National High-Speed Rail,

Kadri, Hela ; Collart-Dutilleul, Simon ; Bon, Philippe - p. 213-230 , 2021

Link: https://doi.org/10.1007/..