default search action

combined dblp search
author search
venue search
publication search

ask others

Philippe Bon

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DutilleulBL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DutilleulBL24
Simon Collart Dutilleul, Philippe Bon, Régine Laleau:
Securing Automatic Small Railway Vehicles Using Automatic Train Protection. ISoLA (5) 2024: 159-173
2023
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/BrahimDBLF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/BrahimDBLF23
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
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/HamidiDB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/HamidiDB23
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
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad2/DutilleulBH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad2/DutilleulBH23
Simon Collart Dutilleul, Philippe Bon, Amine Hamidi:
A railway norms application for small traffic railway lines autonomous vehicle. ICCAD 2023: 1-6
2022
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijccc/MartinezDB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccc/MartinezDB22
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)
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/MartinezGSDB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/MartinezGSDB22
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): 27-53 (2022)
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/crisis/BougachaLBDA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crisis/BougachaLBDA22
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
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/KadriDBM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/KadriDBM22
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
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/PereiraOBBD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/PereiraOBBD22
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
2020
[j8]
- view
  - electronic edition @ jucs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jucs/DebbechDB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/DebbechDB20
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)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DutilleulB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DutilleulB20
Simon Collart Dutilleul, Philippe Bon:
A Modular Design Framework to Assess Intelligent Trains. ISoLA (3) 2020: 404-414

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jcm/KraibiADBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcm/KraibiADBP19
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)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jcp/DebbechBD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcp/DebbechBD19
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)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/KadriDBA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/KadriDBA19
Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed:
Formal Approach to Dynamic SoS Design. ENASE 2019: 377-384
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/er/PereiraDPBD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/PereiraDPBD19
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KraibiARDBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KraibiARDBP19
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
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/KraibiARDBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/KraibiARDBP19
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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/DebbechBD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/DebbechBD19
Sana Debbech, Philippe Bon, Simon Collart Dutilleul:
Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. ICSOFT 2019: 287-297
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/IdaniLWAB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/IdaniLWAB19
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: 23-40
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/LedruIAWB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/LedruIAWB19
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: 173-190
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/rssrail/PereiraDPB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rssrail/PereiraDPB19
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: 242-258
2018
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/FerlinQBSDSC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/FerlinQBSDSC18
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)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoft/KadriDBA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoft/KadriDBA18
Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed:
A Formal Approach for Multi-occurrence Crisis Management. ICSOFT 2018: 641-648
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/medi/PereiraMBPD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medi/PereiraMBPD18
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
2016
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijccc/FerlinWB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijccc/FerlinWB16
Antoine Ferlin, Virginie Wiels, Philippe Bon:
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces. Int. J. Comput. Commun. Control 11(5): 645-656 (2016)
2015
[j3]
- view
  - electronic edition @ jucs.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/jucs/SunBD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/SunBD15
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)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/AyedDBLI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/AyedDBLI15
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)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/mtits/SunDB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtits/SunDB15
Pengfei Sun, Simon Collart Dutilleul, Philippe Bon:
A model pattern of railway interlocking system by Petri nets. MT-ITS 2015: 442-449
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/AyedDBIL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/AyedDBIL14
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
2013
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/BonD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/BonD13
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)

Coauthor Index

see FAQ

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.