2008 |
24 | EE | 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) |
2007 |
23 | EE | Julien Brunel,
Frédéric Cuppens,
Nora Cuppens-Boulahia,
Thierry Sans,
Jean-Paul Bodeveix:
Security policy compliance with violation management.
FMSE 2007: 31-40 |
22 | EE | 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 |
21 | EE | 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 |
20 | EE | 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) |
2006 |
19 | EE | Julien Brunel,
Jean-Paul Bodeveix,
Mamoun Filali:
A State/Event Temporal Deontic Logic.
DEON 2006: 85-100 |
18 | EE | 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 |
2005 |
17 | EE | Jean-Paul Bodeveix,
Mamoun Filali,
Julia L. Lawall,
Gilles Muller:
Formal Methods Meet Domain Specific Languages.
IFM 2005: 187-206 |
16 | EE | 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) |
2004 |
15 | | Nouhad Amaneddine,
Jean Paul Bahsoun,
Jean-Paul Bodeveix:
TransM: A Structured Document Transformation Model.
ISTA 2004: 53-66 |
2003 |
14 | | 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 |
13 | EE | 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: (2003) |
2002 |
12 | EE | Jean-Paul Bodeveix,
Mamoun Filali:
Type Synthesis in B and the Translation of B to PVS.
ZB 2002: 350-369 |
11 | | Jean-Paul Bodeveix,
Mamoun Filali:
Reduction and Quantifier Elimination Techniques for Program Validation.
Formal Methods in System Design 20(1): 69-89 (2002) |
2000 |
10 | | 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 |
9 | EE | Jean-Paul Bodeveix,
Mamoun Filali:
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.
TACAS 2000: 204-219 |
8 | EE | 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) |
1999 |
7 | EE | Salam Majoul,
Christian Percebois,
Jean-Paul Bodeveix:
A Concurrent Object-Based Model and its Use for Coordinating Java Components.
TOOLS (30) 1999: 332- |
1998 |
6 | | Jean-Paul Bodeveix,
Mamoun Filali:
On the Automatic Validation of Parameterized Unity Programs.
IPPS/SPDP Workshops 1998: 807-819 |
5 | | Didier Plaindoux,
Jean-Paul Bodeveix,
Christian Percebois:
Types versus classes.
L'OBJET 4(1): (1998) |
1997 |
4 | | Jean-Paul Bodeveix,
Mamoun Filali:
Towards the Automatic Verification of Atomic Memory Protocols.
Parallel Processing Letters 7(1): 101-112 (1997) |
1995 |
3 | | Jean-Paul Bodeveix,
Mamoun Filali:
On the Refinement of symmetric memory protocols.
TPHOLs 1995: 58-74 |
1994 |
2 | | Jean-Paul Bodeveix,
Mamoun Filali,
P. Roche:
Towards a HOL Theory and Memory.
TPHOLs 1994: 49-64 |
1993 |
1 | | Jean-Paul Bodeveix,
Érick Bizouarn:
A Parallel Prolog Execution Model Theoretical Approach and Experimental Results.
IPPS 1993: 7-15 |