Philippe Bon

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 24

Top Topics

Propositional Logic

Conceptual Modelling

Crisis Management

Top Venues

J. Univers. Comput. Sci.

Publications

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)
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)
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)
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)
Sébastien Martinez, Christophe Gransart, Olivier Stienne, Virginie Deniau, Philippe Bon
SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions. J. Univers. Comput. Sci. 28 (1) (2022)
Simon Collart Dutilleul, Philippe Bon
A Modular Design Framework to Assess Intelligent Trains. ISoLA (3) (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)
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)
Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon
B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. RSSRail (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)
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. RSSRail (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)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. RSSRail (2019)
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)
Antoine Ferlin, Virginie Wiels, Philippe Bon
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. Int. J. Comput. Commun. Control 11 (5) (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)
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)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ (2014)
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)