default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSimon Collart Dutilleul
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c39]Sarra Mellouli, Anis Mhalla, Simon Collart Dutilleul, Hassani Messaoud:
Maintenance dynamic scheduling for a Tunisian railway transport system. ICCAD 2024: 1-8- [c38]Asfand Yar
, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germán Vega:
An Iterative Formal Model-Driven Approach to Railway Systems Validation. ICECCS 2024: 272-289 - [c37]Simon Collart Dutilleul, Philippe Bon, Régine Laleau:
Securing Automatic Small Railway Vehicles Using Automatic Train Protection. ISoLA (5) 2024: 159-173 - 2023
- [j14]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): 1:1-1:2 (2023) - [c36]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: 35-50 - [c35]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: 85-99 - [c34]Simon Collart Dutilleul, Philippe Bon, Amine Hamidi:
A railway norms application for small traffic railway lines autonomous vehicle. ICCAD 2023: 1-6 - [c33]Racem Bougacha, Régine Laleau, Simon Collart Dutilleul:
Formal alignment of requirements models with high-level architecture models. ICECCS 2023: 216-225 - [e3]Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Lecture Notes in Computer Science 14198, Springer 2023, ISBN 978-3-031-43365-8 [contents] - 2022
- [j13]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) - [c32]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: 153-168 - [c31]Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Rochdi Merzouki:
A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints. ICRA 2022: 11548-11554 - [c30]Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul:
Visual animation of B specifications using executable DSLs. MoDELS (Companion) 2022: 617-626 - [c29]Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul:
CSP specification and verification of relay-based railway interlocking systems. SAC 2022: 97-106 - [c28]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: 256-273 - [e2]Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Lecture Notes in Computer Science 13294, Springer 2022, ISBN 978-3-031-05813-4 [contents] - 2021
- [j12]Nabil Jerbi, Simon Collart Dutilleul:
Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops. Int. J. Comput. Commun. Control 16(3) (2021) - 2020
- [j11]Sana Debbech, Simon Collart Dutilleul, Philippe Bon:
An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design. J. Univers. Comput. Sci. 26(5): 549-582 (2020) - [c27]Asfand Yar, Akram Idani, Simon Collart Dutilleul:
Merging Railway Standard Notations in a Formal DSL-Based Framework. ECSA Companion 2020: 411-419 - [c26]Simon Collart Dutilleul, Philippe Bon:
A Modular Design Framework to Assess Intelligent Trains. ISoLA (3) 2020: 404-414
2010 – 2019
- 2019
- [j10]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): 980-986 (2019) - [j9]Sana Debbech, Philippe Bon, Simon Collart Dutilleul:
Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. J. Comput. 14(4): 257-267 (2019) - [c25]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: 350-358 - [c24]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: 367-376 - [c23]Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed:
Formal Approach to Dynamic SoS Design. ENASE 2019: 377-384 - [c22]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: 338-351 - [c21]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: 358-370 - [c20]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: 93-109 - [c19]Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT 2019: 278-286 - [c18]Sana Debbech, Philippe Bon, Simon Collart Dutilleul:
Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. ICSOFT 2019: 287-297 - [e1]Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11495, Springer 2019, ISBN 978-3-030-18743-9 [contents] - 2018
- [j8]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): 3360-3375 (2018) - [c17]Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed:
A Formal Approach for Multi-occurrence Crisis Management. ICSOFT 2018: 641-648 - [c16]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: 17-29 - [c15]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: 50-62 - [c14]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: 321-330 - 2017
- [c13]Hela Kadri, Samir Ben Ahmed, Simon Collart Dutilleul:
Formal Approach to Control Design of Complex and Dynamical Systems. ICCS 2017: 2512-2516 - 2016
- [c12]Hela Kadri, Simon Collart Dutilleul:
Multi-objective optimization for path searching in a flow network with maintenance tasks. ICARCV 2016: 1-6 - 2015
- [j7]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): 1654-1683 (2015) - [j6]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): 495-521 (2015) - [c11]Zakaryae Boudi, El-Miloudi El-Koursi, Simon Collart Dutilleul:
HCPN Modeling for ERTMS Requirements Specification. HASE 2015: 271-272 - [c10]Pengfei Sun, Simon Collart Dutilleul, Philippe Bon:
A model pattern of railway interlocking system by Petri nets. MT-ITS 2015: 442-449 - 2014
- [j5]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): 741-750 (2014) - [c9]Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru:
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ 2014: 124-129 - [c8]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: 162-169 - 2013
- [j4]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): 268-276 (2013) - [j3]Philippe Bon, Simon Collart Dutilleul:
From a Solution Model to a B Model for Verification of Safety Properties. J. Univers. Comput. Sci. 19(1): 2-24 (2013) - [c7]Yahong Zheng, Khaled Mesghouni, Simon Collart Dutilleul:
Condition Based Maintenance Applied to Reduce Unavailability of Machines in Flexible Job Shop Scheduling Problem. MIM 2013: 1405-1410 - [c6]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: 2460-2466 - 2010
- [j2]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): 362-374 (2010)
2000 – 2009
- 2006
- [j1]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): 61-72 (2006) - 2004
- [c5]Nabil Jerbi, Simon Collart Dutilleul, Etienne Craye, Mohamed Benrejeb:
Robust control of multi-product job-shops in repetitive functioning mode. SMC (5) 2004: 4917-4922 - 2003
- [c4]Simon Collart Dutilleul, Pascal Yim:
Time window specification and validation with Petri Nets. ETFA (1) 2003: 232-237
1990 – 1999
- 1999
- [c3]Simon Collart Dutilleul, Jean-Paul Denat:
Integration of the chemist expertise in electroplating line automation. ECC 1999: 1836-1841 - 1998
- [c2]Simon Collart Dutilleul, Fatah Chetouane:
Human integration and participation in time constraint workshops with limiting transportation resources. BASYS 1998: 579-586 - [c1]Simon Collart Dutilleul, Jean-Paul Denat:
P-time Petri nets and the hoist scheduling problem. SMC 1998: 558-563
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
