Simon Collart Dutilleul

65 papers A* 1A 4B 7C 13Misc 3Journal 16Unranked 17

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