Jean-Paul Bodeveix

Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali: Revising and Extending the Uppaal Communication Mechanism. Software Composition 2012: 114-131

Abdeldjalil Boudjadar, Jean-Paul Bodeveix, Mamoun Filali: Compositional Refinement for Real-Time Systems with Priorities. TIME 2012: 57-64

Jean-Paul Bodeveix, Mamoun Filali: Event B Development of a Synchronous AADL Scheduler. Electr. Notes Theor. Comput. Sci. 280: 23-33 (2011)

Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali: An Alternative Definition for Timed Automata Composition. ATVA 2011: 105-119

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali: Verification of Timed BPEL 2.0 Models. BMMDS/EMMSAD 2011: 261-275

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: 344-349

Elie Fares, Jean-Paul Bodeveix, Mamoun Filali: Design of a BPEL Verification Tool. WS-FM 2011: 95-110

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: 331-336

Lei Pi, Jean-Paul Bodeveix, Mamoun Filali: Modeling AADL Data Communication with BIP. Ada-Europe 2009: 192-206

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: 207-221

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: 347-352

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: 170-185

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: 80-87

Odile Nasr, M. Rached, Jean-Paul Bodeveix, Mamoun Filali: Spécification et vérification d'un ordonnanceur en B via les automates temporisés. L'OBJET 14(4): 43-72 (2008)

Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas: Modes in Asynchronous Systems. ICECCS 2008: 282-287

Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Automatic Verification of Bossa Scheduler Properties. Electr. Notes Theor. Comput. Sci. 185: 17-32 (2007)

Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix: Security policy compliance with violation management. FMSE 2007: 31-40

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: 377-382

Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland: A mapping from AADL to Java-RTSJ. JTRES 2007: 165-174

Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali: A State/Event Temporal Deontic Logic. DEON 2006: 85-100

Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached Irit: Verification of a scheduler in B through a timed automata specification. SAC 2006: 1800-1801

Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker: Towards formalising AADL in Proof Assistants. Electr. Notes Theor. Comput. Sci. 141(3): 153-169 (2005)

Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206

Nouhad Amaneddine, Jean Paul Bahsoun, Jean-Paul Bodeveix: TransM: A Structured Document Transformation Model. ISTA 2004: 53-66

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. Electr. Notes Theor. Comput. Sci. 80: 203-218 (2003)

Pierre Bazex, Jean-Paul Bodeveix, Thierry Millan, Christophe Le Camus, Christian Percebois: Vérification de modèles UML fondée sur OCL. INFORSID 2003: 185-202

Jean-Paul Bodeveix, Mamoun Filali: Reduction and Quantifier Elimination Techniques for Program Validation. Formal Methods in System Design 20(1): 69-89 (2002)

Jean-Paul Bodeveix, Mamoun Filali: Type Synthesis in B and the Translation of B to PVS. ZB 2002: 350-369

Frédéric Cabestre, Christian Percebois, Jean-Paul Bodeveix: Abstract machine construction through operational semantics refinements. Future Generation Comp. Syst. 16(7): 753-769 (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: E23-E30

Jean-Paul Bodeveix, Mamoun Filali: FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS 2000: 204-219

Salam Majoul, Christian Percebois, Jean-Paul Bodeveix: A Concurrent Object-Based Model and its Use for Coordinating Java Components. TOOLS (30) 1999: 332-

Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois: Types versus classes. L'OBJET 4(1) (1998)

Jean-Paul Bodeveix, Mamoun Filali: On the Automatic Validation of Parameterized Unity Programs. IPPS/SPDP Workshops 1998: 807-819

Jean-Paul Bodeveix, Mamoun Filali: Towards the Automatic Verification of Atomic Memory Protocols. Parallel Processing Letters 7(1): 101-112 (1997)

Jean-Paul Bodeveix, Mamoun Filali: On the Refinement of symmetric memory protocols. TPHOLs 1995: 58-74

Jean-Paul Bodeveix, Mamoun Filali, P. Roche: Towards a HOL Theory and Memory. TPHOLs 1994: 49-64

Jean-Paul Bodeveix, Érick Bizouarn: A Parallel Prolog Execution Model Theoretical Approach and Experimental Results. IPPS 1993: 7-15