Jean-Paul Bodeveix

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 25

Top Topics

Domain Specific Languages

Top Venues

Sci. Comput. Program.

Publications

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