| 2024 | CRiSIS | A Safety Kernel for Flexible Level Crossing Management. | Rim Brahim, Simon Collart Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi |
| 2024 | CRiSIS | A Multi Modal Ontology Integrating Pedestrian Safety in Pod Transfers. | Seddik Reguieg, Simon Collart Dutilleul, Philippe Bon |
| 2024 | ICECCS | An Iterative Formal Model-Driven Approach to Railway Systems Validation. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germn Vega |
| 2024 | ISoLA | Securing Automatic Small Railway Vehicles Using Automatic Train Protection. | Simon Collart Dutilleul, Philippe Bon, Rgine Laleau |
| 2023 | CRiSIS | FERROMOBILE and Security for Low Moment of Traffic Level Crossing. | Rim Brahim, Simon Collart Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi |
| 2023 | CRiSIS | Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System. | Amine Hamidi, Simon Collart Dutilleul, Philippe Bon |
| 2023 | ICECCS | Formal alignment of requirements models with high-level architecture models. | Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul |
| 2022 | CRiSIS | Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. | Racem Bougacha, Rgine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2022 | ICRA | A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints. | Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Rochdi Merzouki |
| 2022 | MODELS | Visual animation of B specifications using executable DSLs. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul |
| 2022 | SAC | CSP specification and verification of relay-based railway interlocking systems. | Dalay Israel de Almeida Pereira, Marcel Vincius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul |
| 2022 | TASE | Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. | Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2020 | ECSA | Merging Railway Standard Notations in a Formal DSL-Based Framework. | Asfand Yar, Akram Idani, Simon Collart Dutilleul |
| 2020 | ISoLA | A Modular Design Framework to Assess Intelligent Trains. | Simon Collart Dutilleul, Philippe Bon |
| 2019 | ENASE | Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. | Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua |
| 2019 | ENASE | A Model-based Approach for the Modeling and the Verification of Railway Signaling System. | Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | ENASE | Formal Approach to Dynamic SoS Design. | Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed |
| 2019 | ER | 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 |
| 2019 | FM | 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 |
| 2019 | FMICS | Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. | Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | ICSoft | Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. | Sana Debbech, Philippe Bon, Simon Collart Dutilleul |
| 2019 | ICSoft | Event-B Decomposition Analysis for Systems Behavior Modeling. | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
| 2018 | ICSoft | A Formal Approach for Multi-occurrence Crisis Management. | Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed |
| 2018 | MEDI | Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. | Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua |
| 2018 | MEDI | An MDA Approach for the Specification of Relay-Based Diagrams. | Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul |
| 2018 | MEDI | Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. | Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
| 2017 | ICCS | Formal Approach to Control Design of Complex and Dynamical Systems. | Hela Kadri, Samir Ben Ahmed, Simon Collart Dutilleul |
| 2016 | ICARCV | Multi-objective optimization for path searching in a flow network with maintenance tasks. | Hela Kadri, Simon Collart Dutilleul |
| 2013 | SMC | A Multi-objective Approach for Assignment Containers to AIVs in a Container Terminal. | Radhia Zaghdoud, Simon Collart Dutilleul, Khaled Ghdira, Khaled Mesghouni, Kamel Zidi |
| 2004 | SMC | Robust control of multi-product job-shops in repetitive functioning mode. | Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb |
| 2003 | ETFA | Time window specification and validation with Petri Nets. | Simon Collart Dutilleul, Pascal Yim |
| 1998 | SMC | P-time Petri nets and the hoist scheduling problem. | Simon Collart Dutilleul, Jean-Paul Denat |