Philippe Bon - RankMe

32 papers A* 1A 2B 1C 9Misc 1Journal 10Unranked 8

Year	Rank	Type	Title / Venue / Authors
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	—	`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	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
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	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	J	`jnl`	SoREn, How Dynamic Software Update Tools Can Help Cybersecurity Systems to Improve Monitoring and Actions. J. Univers. Comput. Sci. Sébastien Martinez, Christophe Gransart, Olivier Stienne, Virginie Deniau, Philippe Bon
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
2019	—	`conf`	A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. RSSRail Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
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	—	`conf`	B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. RSSRail Dalay Israel de Almeida Pereira, David Déharbe, Matthieu Perin, Philippe Bon
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	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
2019	—	`conf`	Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. RSSRail Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon
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
2016	J	`jnl`	Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. Int. J. Comput. Commun. Control Antoine Ferlin, Virginie Wiels, Philippe Bon
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
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
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