Philippe Bon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
9
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CRiSIS | A Safety Kernel for Flexible Level Crossing Management. | Rim Brahim, Simon Collart Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi |
| 2024 | CRiSIS | A Multi Modal Ontology Integrating Pedestrian Safety in Pod Transfers. | Seddik Reguieg, Simon Collart Dutilleul, Philippe Bon |
| 2024 | ISoLA | Securing Automatic Small Railway Vehicles Using Automatic Train Protection. | Simon Collart Dutilleul, Philippe Bon, Rgine Laleau |
| 2023 | CRiSIS | FERROMOBILE and Security for Low Moment of Traffic Level Crossing. | Rim Brahim, Simon Collart Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi |
| 2023 | CRiSIS | Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System. | Amine Hamidi, Simon Collart Dutilleul, Philippe Bon |
| 2022 | CRiSIS | Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. | Racem Bougacha, Rgine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2022 | ICRA | A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints. | Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Rochdi Merzouki |
| 2022 | SAC | CSP specification and verification of relay-based railway interlocking systems. | Dalay Israel de Almeida Pereira, Marcel Vincius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul |
| 2020 | ISoLA | A Modular Design Framework to Assess Intelligent Trains. | Simon Collart Dutilleul, Philippe Bon |
| 2019 | ENASE | Formal Approach to Dynamic SoS Design. | Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed |
| 2019 | ER | 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 |
| 2019 | FM | 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 |
| 2019 | ICSoft | Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. | Sana Debbech, Philippe Bon, Simon Collart Dutilleul |
| 2019 | ICSoft | Event-B Decomposition Analysis for Systems Behavior Modeling. | Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit |
| 2018 | ICSoft | A Formal Approach for Multi-occurrence Crisis Management. | Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed |
| 2018 | MEDI | An MDA Approach for the Specification of Relay-Based Diagrams. | Dalay Israel de Almeida Pereira, Ouahmed Malki, Philippe Bon, Matthieu Perin, Simon Collart Dutilleul |