Jean-Paul Bodeveix

77 papers A 2B 12C 12Misc 3Journal 19Unranked 28
YearRankTypeTitle / Venue / Authors
2025 — conf
AADL Model for Temporal Tuning of the Failsafe Triggering Mechanism from a Fire Fighting Drone.
SBESC
Leandro Buss Becker, M. L. Pinto, Jean-Paul Bodeveix, Mamoun Filali
2025 C conf
Translating Event-B Models and Development Proofs to TLA+.
ABZ
Anne Grieu, Jean-Paul Bodeveix, Mamoun Filali
2024 — conf
Correct Pattern-Based Development Through Refinements and Weakest Preconditions Calculus.
FACS
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
2024 C conf
Verifying HyperLTL Properties in Event-B.
ABZ
Jean-Paul Bodeveix, Thomas Carle, Elie Fares, Mamoun Filali, Thai Son Hoang
2023 — conf
Formalizing the Relationship between Security Policies and Objectives in Software Architectures.
ICSA-C
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka
2023 C conf
Pattern-Based Refinement Generation Through Domain Specific Languages.
ABZ
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
2023 B conf
Specification and Verification of Communication Paradigms for CBSE in Event B.
ICECCS
Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix
2021 J jnl
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software.
J. Syst. Archit.
Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali
2021 C conf
Event-B Formalization of Event-B Contexts.
ABZ
Jean-Paul Bodeveix, Mamoun Filali
2021 J jnl
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems.
Formal Aspects Comput.
Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali, Zonghua Gu
2021 B conf
Formal Simulation and Verification of Solidity contracts in Event-B.
COMPSAC
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin, Haitao Cao
2021 J jnl
Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study.
Sci. Comput. Program.
Zhibin Yang, Shenghao Yuan, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
2021 — conf
Sound Verification Procedures for Temporal Properties of Infinite-State Systems.
CAV (2)
Quentin Peyras, Jean-Paul Bodeveix, Julien Brunel, David Chemouil
2020 J jnl
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models.
IEEE Trans. Reliab.
Fei Wang, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali
2020 J jnl
Event-B formalization of a variability-aware component model patterns framework.
Sci. Comput. Program.
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
2020 J jnl
Formal Verification of Solidity contracts in Event-B.
CoRR
Jian Zhu, Kai Hu, Mamoun Filali, Jean-Paul Bodeveix, Jean-Pierre Talpin
2019 B conf
A Formal Methods Approach to Security Requirements Specification and Verification.
ICECCS
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali
2019 — conf
Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study.
FTSCS
Shenghao Yuan, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Tiexin Wang, Yong Zhou
2019 B conf
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol.
FM
Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali
2019 J jnl
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL.
Frontiers Comput. Sci.
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
2018 J jnl
Event algebra for transition systems composition application to timed automata.
Acta Informatica
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
2018 — conf
Event-B Formalization of a Variability-Aware Component Model Patterns Framework.
FACS
Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali
2018 C conf
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension.
MEMOCODE
Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali
2017 C conf
A refinement-based compiler development for synchronous languages.
MEMOCODE
Jean-Paul Bodeveix, Mamoun Filali-Amine, Shuanglong Kan
2017 J jnl
An Event-B framework for the validation of Event-B refinement plugins.
CoRR
Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri, Badr Siala
2017 C conf
Automatic Refinement for Event-B through Annotated Patterns.
PDP
Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri
2016 C conf
An Event-B Development Process for the Distributed BIP Framework.
ICFEM
Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali
2016 J jnl
Towards a verified compiler prototype for the synchronous language SIGNAL.
Frontiers Comput. Sci.
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma
2015 J jnl
Real-Time Model Checking Support for AADL.
CoRR
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
2015 J jnl
Towards a verified transformation from AADL to the formal component-based language FIACRE.
Sci. Comput. Program.
Jean-Paul Bodeveix, Mamoun Filali, Manuel Garnacho, Régis Spadotti, Zhibin Yang
2014 C conf
A verified transformation: from polychronous programs to a variant of clocked guarded actions.
SCOPES
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
2014 J jnl
From AADL to Timed Abstract State Machines: A verified model transformation.
J. Syst. Softw.
Zhibin Yang, Kai Hu, Dianfu Ma, Jean-Paul Bodeveix, Lei Pi, Jean-Pierre Talpin
2014 — conf
Multi-Core Code Generation from Polychronous Programs with Time-Predictable Properties.
ACVI@MoDELS
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
2013 — conf
A Mechanized Semantic Framework for Real-Time Systems.
FORMATS
Manuel Garnacho, Jean-Paul Bodeveix, Mamoun Filali-Amine
2013 J jnl
A comparative study of two formal semantics of the SIGNAL language.
Frontiers Comput. Sci.
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
2013 B conf
An Automatic Technique for Checking the Simulation of Timed Systems.
ATVA
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali-Amine, Manuel Garnacho
2013 C conf
Event Algebra for Transition Systems Composition - Application to Timed Automata.
TIME
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
2013 — conf
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems.
FSEN
Abdeldjalil Boudjadar, Frits W. Vaandrager, Jean-Paul Bodeveix, Mamoun Filali
2012 C conf
Compositional Refinement for Real-Time Systems with Priorities.
TIME
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
2012 A conf
Revising and Extending the Uppaal Communication Mechanism.
SC
Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali
2011 B conf
An Alternative Definition for Timed Automata Composition.
ATVA
Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali
2011 — conf
Design of a BPEL Verification Tool.
WS-FM
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
2011 — conf
Event B Development of a Synchronous AADL Scheduler.
B@FM
Jean-Paul Bodeveix, Mamoun Filali
2011 B conf
Two Formal Semantics of a Subset of the AADL.
ICECCS
Zhibin Yang, Kai Hu, Jean-Paul Bodeveix, Lei Pi, Dianfu Ma, Jean-Pierre Talpin
2011 — conf
Verification of Timed BPEL 2.0 Models.
BMMDS/EMMSAD
Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
2010 B conf
Supporting the Design of Safety Critical Systems Using AADL.
ICECCS
T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat
2010 — ch.
Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software.
Synthesis of Embedded Software
Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, Mamoun Filali, Gérald Garcia, Julien Ouy, Marc Pantel, Ana-Elena Rugina, Martin Strecker, Jean-Pierre Talpin
2009 B conf
A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.
ICECCS
Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma
2009 Misc conf
Formal Verification of AADL Specifications in the Topcased Environment.
Ada-Europe
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat
2009 Misc conf
Modeling AADL Data Communication with BIP.
Ada-Europe
Lei Pi, Jean-Paul Bodeveix, Mamoun Filali
2009 — conf
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
FMA
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat
2009 — conf
Towards Safe Design of Synchronous Bus Protocols in Event-B.
SBMF
Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali
2008 B conf
Modes in Asynchronous Systems.
ICECCS
Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas
2008 J jnl
Spécification et vérification d'un ordonnanceur en B via les automates temporisés.
Obj. Logiciel Base données Réseaux
Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali
2007 — conf
A mapping from AADL to Java-RTSJ.
JTRES
Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland
2007 — conf
Security policy compliance with violation management.
FMSE
Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix
2007 B conf
The AADL behaviour annex - experiments and roadmap.
ICECCS
Ricardo Bedin França, Jean-Paul Bodeveix, Mamoun Filali, Jean-François Rolland, David Chemouil, Dave Thomas
2006 — conf
A State/Event Temporal Deontic Logic.
DEON
Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali
2006 — conf
Automatic Verification of Bossa Scheduler Properties.
AVoCS
Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller
2006 Misc conf
Verification of a scheduler in B through a timed automata specification.
SAC
Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit
2005 B conf
Formal Methods Meet Domain Specific Languages.
IFM
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller
2005 — conf
Towards formalising AADL in Proof Assistants.
FESCA@ETAPS
Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker
2004 — conf
TransM: A Structured Document Transformation Model.
ISTA
Nouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bodeveix
2003 C conf
Towards the verification of real-time systems in avionics: the Cotre approach.
FMICS
Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert
2003 — conf
Vérification de modèles UML fondée sur OCL.
INFORSID
Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois
2002 J jnl
Reduction and Quantifier Elimination Techniques for Program Validation.
Formal Methods Syst. Des.
Jean-Paul Bodeveix, Mamoun Filali
2002 — conf
Type Synthesis in B and the Translation of B to PVS.
ZB
Jean-Paul Bodeveix, Mamoun Filali
2000 J jnl
Abstract machine construction through operational semantics refinements.
Future Gener. Comput. Syst.
Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix
2000 — conf
Experimenting Acceleration Methods for the Validation of Infinite State Systems.
ICDCS Workshop on Distributed System Validation and Verification
Jean-Paul Bodeveix, Mamoun Filali
2000 A conf
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.
TACAS
Jean-Paul Bodeveix, Mamoun Filali
1999 — conf
A Concurrent Object-Based Model and its Use for Coordinating Java Components.
TOOLS (30)
Salam Majoul, Christian Percebois, Jean-Paul Bodeveix
1998 — conf
On the Automatic Validation of Parameterized Unity Programs.
IPPS/SPDP Workshops
Jean-Paul Bodeveix, Mamoun Filali
1998 J jnl
Types versus classes.
Obj. Logiciel Base données Réseaux
Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois
1997 J jnl
Towards the Automatic Verification of Atomic Memory Protocols.
Parallel Process. Lett.
Jean-Paul Bodeveix, Mamoun Filali
1995 — conf
On the Refinement of symmetric memory protocols.
TPHOLs
Jean-Paul Bodeveix, Mamoun Filali
1994 — conf
Towards a HOL Theory and Memory.
TPHOLs
Jean-Paul Bodeveix, Mamoun Filali, P. Roche
1993 — conf
A Parallel Prolog Execution Model Theoretical Approach and Experimental Results.
IPPS
Jean-Paul Bodeveix, Érick Bizouarn