From a Solution Model to a B Model for Verification of Safety Properties. - Philippe Bon; Simon Collart Dutilleul (J. Univers. Comput. Sci., 2013)

B Formal Validation of ERTMS/ETCS Railway Operating Rules. - Rahma Ben Ayed; Simon Collart Dutilleul; Philippe Bon; Akram Idani; Yves Ledru (ABZ, 2014)

A model pattern of railway interlocking system by Petri nets. - Pengfei Sun; Simon Collart Dutilleul; Philippe Bon (MT-ITS, 2015)

A Joint Development of Coloured Petri Nets and the B Method in Critical Systems. - Pengfei Sun; Philippe Bon; Simon Collart Dutilleul (J. Univers. Comput. Sci., 2015)

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. - Rahma Ben Ayed; Simon Collart Dutilleul; Philippe Bon; Yves Ledru; Akram Idani (Tech. Sci. Informatiques, 2015)

Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. - Antoine Ferlin; Virginie Wiels; Philippe Bon (Int. J. Comput. Commun. Control, 2016)

A Formal Approach for Multi-occurrence Crisis Management. - Hela Kadri; Simon Collart Dutilleul; Philippe Bon; Samir Ben Ahmed (ICSOFT, 2018)

An MDA Approach for the Specification of Relay-Based Diagrams. - Dalay Israel de Almeida Pereira; Ouahmed Malki; Philippe Bon; Matthieu Perin; Simon Collart Dutilleul (MEDI Workshops, 2018)

An Automated Method for the Study of Human Reliability in Railway Supervision Systems. - Antoine Ferlin; Siqi Qiu; Philippe Bon; Mohamed Sallak; Simon Collart Dutilleul; Walter Schön; Zohra Cherfi-Boulanger (IEEE Trans. Intell. Transp. Syst., 2018)

Formal Approach to Dynamic SoS Design. - Hela Kadri; Simon Collart Dutilleul; Philippe Bon; Samir Ben Ahmed (ENASE, 2019)

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. - Dalay Israel de Almeida Pereira; Sana Debbech; Matthieu Perin; Philippe Bon; Simon Collart Dutilleul (ER, 2019)

Towards a Method for the Decomposition by Refinement in Event-B. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (FM Workshops (2), 2019)

Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. - Sana Debbech; Philippe Bon; Simon Collart Dutilleul (ICSOFT, 2019)

Event-B Decomposition Analysis for Systems Behavior Modeling. - Kenza Kraibi; Rahma Ben Ayed; Joris Rehm; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (ICSOFT, 2019)

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. - Akram Idani; Yves Ledru; Abderrahim Ait Wakrime; Rahma Ben Ayed; Philippe Bon (RSSRail, 2019)

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. - Yves Ledru; Akram Idani; Rahma Ben Ayed; Abderrahim Ait Wakrime; Philippe Bon (RSSRail, 2019)

B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. - Dalay Israel de Almeida Pereira; David Déharbe; Matthieu Perin; Philippe Bon (RSSRail, 2019)

Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. - Kenza Kraibi; Rahma Ben Ayed; Simon Collart Dutilleul; Philippe Bon; Dorian Petit (J. Commun., 2019)

Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. - Sana Debbech; Philippe Bon; Simon Collart Dutilleul (J. Comput., 2019)

A Modular Design Framework to Assess Intelligent Trains. - Simon Collart Dutilleul; Philippe Bon (ISoLA (3), 2020)

An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design. - Sana Debbech; Simon Collart Dutilleul; Philippe Bon (J. Univers. Comput. Sci., 2020)

Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. - Racem Bougacha; Régine Laleau; Philippe Bon; Simon Collart Dutilleul; Rahma Ben Ayed (CRiSIS, 2022)

A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints. - Hela Kadri; Simon Collart Dutilleul; Philippe Bon; Rochdi Merzouki (ICRA, 2022)

CSP specification and verification of relay-based railway interlocking systems. - Dalay Israel de Almeida Pereira; Marcel Vinícius Medeiros Oliveira; P. E. R. Bezerra; Philippe Bon; Simon Collart Dutilleul (SAC, 2022)

SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions. - Sébastien Martinez; Christophe Gransart; Olivier Stienne; Virginie Deniau; Philippe Bon (J. Univers. Comput. Sci., 2022)

Identifying Alterability States of a Single Track Railway Line Control System. - Sebastien Martinez; Simon Collart Dutilleul; Philippe Bon (Int. J. Comput. Commun. Control, 2022)

FERROMOBILE and Security for Low Moment of Traffic Level Crossing. - Rim Brahim; Simon Collart Dutilleul; Philippe Bon; Pierre-Antoine Laharotte; Nour-Eddin El Faouzi (CRiSIS, 2023)

Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System. - Amine Hamidi; Simon Collart Dutilleul; Philippe Bon (CRiSIS, 2023)

A railway norms application for small traffic railway lines autonomous vehicle. - Simon Collart Dutilleul; Philippe Bon; Amine Hamidi (ICCAD, 2023)

A Safety Kernel for Flexible Level Crossing Management. - Rim Brahim; Simon Collart Dutilleul; Philippe Bon; Pierre-Antoine Laharotte; Nour-Eddin El Faouzi (CRiSIS, 2024)

A Multi Modal Ontology Integrating Pedestrian Safety in Pod Transfers. - Seddik Reguieg; Simon Collart Dutilleul; Philippe Bon (CRiSIS, 2024)

Securing Automatic Small Railway Vehicles Using Automatic Train Protection. - Simon Collart Dutilleul; Philippe Bon; Régine Laleau (ISoLA (5), 2024)