dblp.uni-trier.dewww.uni-trier.de

Jean-Paul Bodeveix

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
24EEOdile 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
23EEJulien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix: Security policy compliance with violation management. FMSE 2007: 31-40
22EERicardo 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
21EEJean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland: A mapping from AADL to Java-RTSJ. JTRES 2007: 165-174
20EEJean-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
19EEJulien Brunel, Jean-Paul Bodeveix, Mamoun Filali: A State/Event Temporal Deontic Logic. DEON 2006: 85-100
18EEOdile 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
17EEJean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
16EEJean-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
13EEBernard 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
12EEJean-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
9EEJean-Paul Bodeveix, Mamoun Filali: FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS 2000: 204-219
8EEFré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
7EESalam 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

Coauthor Index

1Nouhad Amaneddine [15]
2Jean Paul Bahsoun [15]
3Pierre Bazex [14]
4J. L. Bernartt [13]
5Bernard Berthomieu [13]
6Érick Bizouarn [1]
7Julien Brunel [19] [23]
8Frédéric Cabestre [8]
9Christophe Le Camus [14]
10Raphaël Cavallero [21]
11David Chemouil [16] [21] [22]
12Frédéric Cuppens [23]
13Nora Cuppens-Boulahia (Nora Boulahia-Cuppens) [23]
14Pierre Dissaux [13]
15Patrick Farail [13]
16Jean-Marie Farines [13]
17Mamoun Filali [2] [3] [4] [6] [9] [10] [11] [12] [13] [16] [17] [18] [19] [20] [21] [22] [24]
18Ricardo Bedin França [22]
19Pierre Gauffilet [13]
20Miloud Rached Irit [18]
21Jean-Luc Lambert [13]
22Julia L. Lawall [17] [20]
23Salam Majoul [7]
24Pierre Michel [13]
25Thierry Millan [14]
26Gilles Muller [17] [20]
27Odile Nasr [18] [24]
28Gérard Padiou [13]
29Christian Percebois [5] [7] [8] [14]
30Didier Plaindoux [5]
31M. Rached [24]
32Pierre-Olivier Ribet [13]
33P. Roche [2]
34Jean-François Rolland [21] [22]
35Thierry Sans [23]
36Martin Strecker [16]
37Dave Thomas [22]
38François Vernadat [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)