Simon Collart Dutilleul

According to our database, Simon Collart Dutilleul authored at least 53 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

Securing Automatic Small Railway Vehicles Using Automatic Train Protection.

Simon Collart Dutilleul, Philippe Bon, Régine Laleau

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 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

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

Maintenance dynamic scheduling for a Tunisian railway transport system.

Sarra Mellouli, Anis Mhalla, Simon Collart Dutilleul, Hassani Messaoud

Proceedings of the International Conference on Control, Automation and Diagnosis, 2024

2023

Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems.

Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock

Formal Aspects Comput., March, 2023

Formal alignment of requirements models with high-level architecture models.

Racem Bougacha, Régine Laleau, Simon Collart Dutilleul

Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

A railway norms application for small traffic railway lines autonomous vehicle.

Simon Collart Dutilleul, Philippe Bon, Amine Hamidi

Proceedings of the International Conference on Control, Automation and Diagnosis, 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

Proceedings of the Risks and Security of Internet and Systems, 2023

FERROMOBILE and Security for Low Moment of Traffic Level Crossing.

Rim Brahim, Simon Collart Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi

Proceedings of the Risks and Security of Internet and Systems, 2023

2022

Identifying Alterability States of a Single Track Railway Line Control System.

Sebastien Martinez, Simon Collart Dutilleul, Philippe Bon

Int. J. Comput. Commun. Control, September, 2022

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.

Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed

Proceedings of the Theoretical Aspects of Software Engineering, 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

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Visual animation of B specifications using executable DSLs.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul

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

A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints.

Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Rochdi Merzouki

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

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

Proceedings of the Risks and Security of Internet and Systems, 2022

2021

Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops.

Nabil Jerbi, Simon Collart Dutilleul

Int. J. Comput. Commun. Control, 2021

2020

An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design.

Sana Debbech, Simon Collart Dutilleul, Philippe Bon

J. Univers. Comput. Sci., 2020

A Modular Design Framework to Assess Intelligent Trains.

Simon Collart Dutilleul, Philippe Bon

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Merging Railway Standard Notations in a Formal DSL-Based Framework.

Asfand Yar, Akram Idani, Simon Collart Dutilleul

Proceedings of the Software Architecture - 14th European Conference, 2020

2019

Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology.

Sana Debbech, Philippe Bon, Simon Collart Dutilleul

J. Comput., 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

Event-B Decomposition Analysis for Systems Behavior Modeling.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Proceedings of the 14th International Conference on Software Technologies, 2019

Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems.

Sana Debbech, Philippe Bon, Simon Collart Dutilleul

Proceedings of the 14th International Conference on Software Technologies, 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

Proceedings of the Formal Methods for Industrial Critical Systems, 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

Proceedings of the Formal Methods. FM 2019 International Workshops, 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

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

Formal Approach to Dynamic SoS Design.

Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 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

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control.

Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

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

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.

Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani

Proceedings of the Model and Data Engineering - 8th International Conference, 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

Proceedings of the New Trends in Model and Data Engineering, 2018

Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case.

Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua

Proceedings of the New Trends in Model and Data Engineering, 2018

A Formal Approach for Multi-occurrence Crisis Management.

Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed

Proceedings of the 13th International Conference on Software Technologies, 2018

2017

Formal Approach to Control Design of Complex and Dynamical Systems.

Hela Kadri, Samir Ben Ahmed, Simon Collart Dutilleul

Proceedings of the International Conference on Computational Science, 2017

2016

Multi-objective optimization for path searching in a flow network with maintenance tasks.

Hela Kadri, Simon Collart Dutilleul

Proceedings of the 14th International Conference on Control, 2016

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

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

A model pattern of railway interlocking system by Petri nets.

Pengfei Sun, Simon Collart Dutilleul, Philippe Bon

Proceedings of the 2015 International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS), 2015

HCPN Modeling for ERTMS Requirements Specification.

Zakaryae Boudi, El-Miloudi El-Koursi, Simon Collart Dutilleul

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

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

From Goal Modeling of Real-Time Control System to RT-DEVS Safety Properties Analysis.

Nesrine Darragi, El-Miloudi El-Koursi, Simon Collart Dutilleul

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

B Formal Validation of ERTMS/ETCS Railway Operating Rules.

Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

From a Solution Model to a B Model for Verification of Safety Properties.

Philippe Bon, Simon Collart Dutilleul

J. Univers. Comput. Sci., 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

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

Proceedings of the IEEE International Conference on Systems, 2013

Condition Based Maintenance Applied to Reduce Unavailability of Machines in Flexible Job Shop Scheduling Problem.

Yahong Zheng, Khaled Mesghouni, Simon Collart Dutilleul

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

2010

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

2006

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

2004

Robust control of multi-product job-shops in repetitive functioning mode.

Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb

Proceedings of the IEEE International Conference on Systems, 2004

2003

Time window specification and validation with Petri Nets.

Simon Collart Dutilleul, Pascal Yim

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

1999

Integration of the chemist expertise in electroplating line automation.

Simon Collart Dutilleul, Jean-Paul Denat

Proceedings of the 5th European Control Conference, 1999

1998

P-time Petri nets and the hoist scheduling problem.

Simon Collart Dutilleul, Jean-Paul Denat

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Human integration and participation in time constraint workshops with limiting transportation resources.

Simon Collart Dutilleul, Fatah Chetouane

Proceedings of the Intelligent Systems for Manufacturing: Multi-Agent Systems and Virtual Organizations, Proceedings of the BASYS, 1998