Simon Collart Dutilleul

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 33

Top Topics

Fault Tree Analysis

Conceptual Modelling

Safety Critical

Top Venues

Int. J. Comput. Commun. Control

Publications

Sarra Mellouli, Anis Mhalla, Simon Collart Dutilleul, Hassani Messaoud
Maintenance dynamic scheduling for a Tunisian railway transport system. ICCAD (2024)
Simon Collart Dutilleul, Philippe Bon, Amine Hamidi
A railway norms application for small traffic railway lines autonomous vehicle. ICCAD (2023)
Rim Brahim, Simon Collart Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi
FERROMOBILE and Security for Low Moment of Traffic Level Crossing. CRiSIS (2023)
Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock
Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. 35 (1) (2023)
Racem Bougacha, Régine Laleau, Simon Collart Dutilleul
Formal alignment of requirements models with high-level architecture models. ICECCS (2023)
Amine Hamidi, Simon Collart Dutilleul, Philippe Bon
Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System. CRiSIS (2023)
Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul
Visual animation of B specifications using executable DSLs. MoDELS (Companion) (2022)
Sebastien Martinez, Simon Collart Dutilleul, Philippe Bon
Identifying Alterability States of a Single Track Railway Line Control System. Int. J. Comput. Commun. Control 17 (5) (2022)
Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed
Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. CRiSIS (2022)
Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Rochdi Merzouki
A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints. ICRA (2022)
Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. TASE (2022)
D. I. de Almeida Pereira, M. V. M. Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul
CSP specification and verification of relay-based railway interlocking systems. SAC (2022)
Nabil Jerbi, Simon Collart Dutilleul
Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops. Int. J. Comput. Commun. Control 16 (3) (2021)
Simon Collart Dutilleul, Philippe Bon
A Modular Design Framework to Assess Intelligent Trains. ISoLA (3) (2020)
Asfand Yar, Akram Idani, Simon Collart Dutilleul
Merging Railway Standard Notations in a Formal DSL-Based Framework. ECSA Companion (2020)
Sana Debbech, Simon Collart Dutilleul, Philippe Bon
An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design. J. Univers. Comput. Sci. 26 (5) (2020)
Sana Debbech, Philippe Bon, Simon Collart Dutilleul
Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. J. Comput. 14 (4) (2019)
Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul
A Model-based Approach for the Modeling and the Verification of Railway Signaling System. ENASE (2019)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Towards a Method for the Decomposition by Refinement in Event-B. FM Workshops (2) (2019)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. FMICS (2019)
Sana Debbech, Philippe Bon, Simon Collart Dutilleul
Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. ICSOFT (2019)
Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. J. Commun. 14 (10) (2019)
Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul
Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. ER (2019)
Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed
Formal Approach to Dynamic SoS Design. ENASE (2019)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT (2019)
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. ENASE (2019)
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. MEDI (2018)
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. MEDI Workshops (2018)
Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed
A Formal Approach for Multi-occurrence Crisis Management. ICSOFT (2018)
Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul
An MDA Approach for the Specification of Relay-Based Diagrams. MEDI Workshops (2018)
Antoine Ferlin, Siqi Qiu, Philippe Bon, Mohamed Sallak, Simon Collart Dutilleul, Walter Schön, Zohra Cherfi-Boulanger
An Automated Method for the Study of Human Reliability in Railway Supervision Systems. IEEE Trans. Intell. Transp. Syst. 19 (10) (2018)
Hela Kadri, Samir Ben Ahmed, Simon Collart Dutilleul
Formal Approach to Control Design of Complex and Dynamical Systems. ICCS (2017)
Hela Kadri, Simon Collart Dutilleul
Multi-objective optimization for path searching in a flow network with maintenance tasks. ICARCV (2016)
Pengfei Sun, Simon Collart Dutilleul, Philippe Bon
A model pattern of railway interlocking system by Petri nets. MT-ITS (2015)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. Tech. Sci. Informatiques 34 (5) (2015)
Zakaryae Boudi, El-Miloudi El-Koursi, Simon Collart Dutilleul
HCPN Modeling for ERTMS Requirements Specification. HASE (2015)
Pengfei Sun, Philippe Bon, Simon Collart Dutilleul
A Joint Development of Coloured Petri Nets and the B Method in Critical Systems. J. Univers. Comput. Sci. 21 (12) (2015)
Anis Mhalla, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb
Estimation of failure probability of milk manufacturing unit by fuzzy fault tree analysis. J. Intell. Fuzzy Syst. 26 (2) (2014)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ (2014)
Nesrine Darragi, El-Miloudi El-Koursi, Simon Collart Dutilleul
From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis. WODES (2014)
Anis Mhalla, Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb
Robust control strategies facing disturbances in manufacturing workshops with time constraints. Comput. Ind. Eng. 65 (2) (2013)
Radhia Zaghdoud, Simon Collart Dutilleul, Khaled Ghédira, Khaled Mesghouni, Kamel Zidi
A Multi-objective Approach for Assignment Containers to AIVs in a Container Terminal. SMC (2013)
Philippe Bon, Simon Collart Dutilleul
From a Solution Model to a B Model for Verification of Safety Properties. J. Univers. Comput. Sci. 19 (1) (2013)
Yahong Zheng, Khaled Mesghouni, Simon Collart Dutilleul
Condition Based Maintenance Applied to Reduce Unavailability of Machines in Flexible Job Shop Scheduling Problem. MIM (2013)
Anis M'halla, Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb
Fuzzy Filtering of Sensors Signals in Manufacturing Systems with Time Constraints. Int. J. Comput. Commun. Control 5 (3) (2010)
Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb
Time Disturbances and Filtering of Sensors Signals in Tolerant Multi-product Job-shops with Time Constraints. Int. J. Comput. Commun. Control 1 (4) (2006)
Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb
Robust control of multi-product job-shops in repetitive functioning mode. SMC (5) (2004)
Simon Collart Dutilleul, Pascal Yim
Time window specification and validation with Petri Nets. ETFA (1) (2003)
Simon Collart Dutilleul, Jean-Paul Denat
Integration of the chemist expertise in electroplating line automation. ECC (1999)
Simon Collart Dutilleul, Jean-Paul Denat
P-time Petri nets and the hoist scheduling problem. SMC (1998)
Simon Collart Dutilleul, F. Chetouane
Human integration and participation in time constraint workshops with limiting transportation resources. BASYS (1998)