Jean-Paul Bodeveix

	2009
29		Lei Pi, Jean-Paul Bodeveix, Mamoun Filali: Modeling AADL Data Communication with BIP. Ada-Europe 2009: 192-206
28		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
27		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
26		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
	2008
25		Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas: Modes in Asynchronous Systems. ICECCS 2008: 282-287
24		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		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		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		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		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		Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali: A State/Event Temporal Deontic Logic. DEON 2006: 85-100
18		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		Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller: Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206
16		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		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		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		Jean-Paul Bodeveix, Mamoun Filali: FMona: A Tool for Expressing Validation Techniques over Infinite State Systems. TACAS 2000: 204-219
8		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		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

Coauthor Index

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

Colors in the list of coauthors