Jean-Paul Bodeveix
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
26
Venues
17
Active years
2000–2023
Best venue rank
A*
Where they publish
Papers
26 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICECCS | Specification and Verification of Communication Paradigms for CBSE in Event B. | Loc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix |
| 2023 | ICSA | Formalizing the Relationship between Security Policies and Objectives in Software Architectures. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka |
| 2021 | CAV | Sound Verification Procedures for Temporal Properties of Infinite-State Systems. | Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil |
| 2021 | COMPSAC | Formal Simulation and Verification of Solidity contracts in Event-B. | Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao |
| 2019 | FM | Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. | Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali |
| 2019 | ICECCS | A Formal Methods Approach to Security Requirements Specification and Verification. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali |
| 2018 | MEMOCODE | Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. | Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali |
| 2017 | MEMOCODE | A refinement-based compiler development for synchronous languages. | Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan |
| 2017 | PDP | Automatic Refinement for Event-B through Annotated Patterns. | Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri |
| 2016 | ICFEM | An Event-B Development Process for the Distributed BIP Framework. | Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali |
| 2014 | MODELS | Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties. | Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali |
| 2014 | SCOPES | A verified transformation: from polychronous programs to a variant of clocked guarded actions. | Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
| 2013 | ATVA | An Automatic Technique for Checking the Simulation of Timed Systems. | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho |
| 2013 | TIME | Event Algebra for Transition Systems Composition - Application to Timed Automata. | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
| 2012 | TIME | Compositional Refinement for Real-Time Systems with Priorities. | Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali |
| 2011 | ATVA | An Alternative Definition for Timed Automata Composition. | Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali |
| 2011 | CaiSE | Verification of Timed BPEL 2.0 Models. | Elie Fares, Jean-Paul Bodeveix, Mamoun Filali |
| 2011 | ICECCS | Two Formal Semantics of a Subset of the AADL. | Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin |
| 2010 | ICECCS | Supporting the Design of Safety Critical Systems Using AADL. | T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Franois Vernadat |
| 2009 | ICECCS | A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. | Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma |
| 2008 | ICECCS | Modes in Asynchronous Systems. | Jean-Franois Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas |
| 2007 | CCS | Security policy compliance with violation management. | Julien Brunel, Frdric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix |
| 2007 | ICECCS | The AADL behaviour annex - experiments and roadmap. | Ricardo Bedin Frana, Jean-Paul Bodeveix, Mamoun Filali, Jean-Franois Rolland, David Chemouil, Dave Thomas |
| 2006 | SAC | Verification of a scheduler in B through a timed automata specification. | Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit |
| 2005 | IFM | Formal Methods Meet Domain Specific Languages. | Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller |
| 2000 | TACAS | FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. | Jean-Paul Bodeveix, Mamoun Filali |