Human integration and participation in time constraint workshops with limiting transportation resources. - Simon Collart Dutilleul; Fatah Chetouane (BASYS, 1998)

P-time Petri nets and the hoist scheduling problem. - Simon Collart Dutilleul; Jean-Paul Denat (SMC, 1998)

Integration of the chemist expertise in electroplating line automation. - Simon Collart Dutilleul; Jean-Paul Denat (ECC, 1999)

Time window specification and validation with Petri Nets. - Simon Collart Dutilleul; Pascal Yim (ETFA (1), 2003)

Robust control of multi-product job-shops in repetitive functioning mode. - Nabil Jerbi; Simon Collart Dutilleul; Etienne Craye; Mohamed Benrejeb (SMC (5), 2004)

Time Disturbances and Filtering of Sensors Signals in Tolerant Multi-product Job-shops with Time Constraints. - Nabil Jerbi; Simon Collart Dutilleul; Etienne Craye; Mohamed Benrejeb (Int. J. Comput. Commun. Control, 2006)

Fuzzy Filtering of Sensors Signals in Manufacturing Systems with Time Constraints. - Anis M'halla; Nabil Jerbi; Simon Collart Dutilleul; Etienne Craye; Mohamed Benrejeb (Int. J. Comput. Commun. Control, 2010)

Condition Based Maintenance Applied to Reduce Unavailability of Machines in Flexible Job Shop Scheduling Problem. - Yahong Zheng; Khaled Mesghouni; Simon Collart Dutilleul (MIM, 2013)

A Multi-objective Approach for Assignment Containers to AIVs in a Container Terminal. - Radhia Zaghdoud; Simon Collart Dutilleul; Khaled Ghédira; Khaled Mesghouni; Kamel Zidi (SMC, 2013)

Robust control strategies facing disturbances in manufacturing workshops with time constraints. - Anis Mhalla; Nabil Jerbi; Simon Collart Dutilleul; Etienne Craye; Mohamed Benrejeb (Comput. Ind. Eng., 2013)

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)

From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis. - Nesrine Darragi; El-Miloudi El-Koursi; Simon Collart Dutilleul (WODES, 2014)

Estimation of failure probability of milk manufacturing unit by fuzzy fault tree analysis. - Anis Mhalla; Simon Collart Dutilleul; Etienne Craye; Mohamed Benrejeb (J. Intell. Fuzzy Syst., 2014)

HCPN Modeling for ERTMS Requirements Specification. - Zakaryae Boudi; El-Miloudi El-Koursi; Simon Collart Dutilleul (HASE, 2015)

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)

Multi-objective optimization for path searching in a flow network with maintenance tasks. - Hela Kadri; Simon Collart Dutilleul (ICARCV, 2016)

Formal Approach to Control Design of Complex and Dynamical Systems. - Hela Kadri; Samir Ben Ahmed; Simon Collart Dutilleul (ICCS, 2017)

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

Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. - Zakaryae Boudi; Abderrahim Ait Wakrime; Simon Collart Dutilleul; Mohamed Haloua (MEDI Workshops, 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)

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. - Abderrahim Ait Wakrime; Rahma Ben Ayed; Simon Collart Dutilleul; Yves Ledru; Akram Idani (MEDI, 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)

Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. - Zakaryae Boudi; Abderrahim Ait Wakrime; Simon Collart Dutilleul; Mohamed Haloua (ENASE, 2019)

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 (ENASE, 2019)

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)

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 (FMICS, 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)

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)

Merging Railway Standard Notations in a Formal DSL-Based Framework. - Asfand Yar; Akram Idani; Simon Collart Dutilleul (ECSA Companion, 2020)

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)

Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops. - Nabil Jerbi; Simon Collart Dutilleul (Int. J. Comput. Commun. Control, 2021)

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)

Visual animation of B specifications using executable DSLs. - Asfand Yar; Akram Idani; Yves Ledru; Simon Collart Dutilleul (MoDELS (Companion), 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)

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. - Racem Bougacha; Régine Laleau; Simon Collart Dutilleul; Rahma Ben Ayed (TASE, 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)

Formal alignment of requirements models with high-level architecture models. - Racem Bougacha; Régine Laleau; Simon Collart Dutilleul (ICECCS, 2023)

Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. - Simon Collart Dutilleul; Anne E. Haxthausen; Thierry Lecomte; Jim Woodcock 001 (Formal Aspects Comput., 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)

Maintenance dynamic scheduling for a Tunisian railway transport system. - Sarra Mellouli; Anis Mhalla; Simon Collart Dutilleul; Hassani Messaoud (ICCAD, 2024)

An Iterative Formal Model-Driven Approach to Railway Systems Validation. - Asfand Yar; Akram Idani; Yves Ledru; Simon Collart Dutilleul; Amel Mammar; Germán Vega (ICECCS, 2024)

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