Bertrand Jeannet

	2009
18		Bertrand Jeannet, Antoine Miné: Apron: A Library of Numerical Abstract Domains for Static Analysis. CAV 2009: 661-667
	2007
17		Tristan Le Gall, Bertrand Jeannet: Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. SAS 2007: 52-68
16		Camille Constant, Bertrand Jeannet, Thierry Jéron: Automatic Test Generation from Interprocedural Specifications. TestCom/FATES 2007: 41-57
	2006
15		Tristan Le Gall, Bertrand Jeannet, Thierry Jéron: Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST 2006: 204-219
14		Bertrand Jeannet, Thierry Jéron, Vlad Rusu: Model-Based Test Selection for Infinite-State Reactive Systems. FMCO 2006: 47-69
13		Tristan Le Gall, Bertrand Jeannet, Hervé Marchand: Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques 25(3): 289-315 (2006)
	2005
12		Bertrand Jeannet, Denis Gopan, Thomas W. Reps: A Relational Abstraction for Functions. SAS 2005: 186-202
11		Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364
	2004
10		Bertrand Jeannet, Wendelin Serwe: Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. AMAST 2004: 258-273
9		Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv: A Relational Approach to Interprocedural Shape Analysis. SAS 2004: 246-264
8		Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176
	2003
7		Bertrand Jeannet: Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems. Formal Methods in System Design 23(1): 5-37 (2003)
	2002
6		Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76
5		Bertrand Jeannet: Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. SAS 2002: 52-68
	2001
4		Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen: Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56
	2000
3		Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
	1999
2		Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond: Dynamic Partitioning in Analyses of Numerical Properties. SAS 1999: 39-50
	1997
1		Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli: Automatic data mapping of signal processing applications. ASAP 1997: 350-

Coauthor Index

1	Tobias Amnell	[3]
2	Corinne Ancourt	[1]
3	Denis Barthou	[1]
4	Gerd Behrmann	[3]
5	Johan Bengtsson	[3]
6	Camille Constant	[16]
7	Pedro R. D'Argenio	[3] [4] [6]
8	Alexandre David	[3]
9	Ansgar Fehnker	[3]
10	Tristan Le Gall	[13] [15] [17]
11	Denis Gopan	[12]
12	Christophe Guettier	[1]
13	Nicolas Halbwachs	[2]
14	Thomas Hune	[3]
15	François Irigoin	[1]
16	Henrik Ejersbo Jensen	[4] [6]
17	Thierry Jéron	[8] [11] [14] [15] [16]
18	Jean Jourdan	[1]
19	Kim Guldstrand Larsen	[3] [4] [6]
20	Alexey Loginov	[9]
21	Hervé Marchand	[8] [13]
22	Juliette Mattioli	[1]
23	Antoine Miné	[18]
24	M. Oliver Möller	[3]
25	Paul Pettersson	[3]
26	Pascal Raymond	[2]
27	Thomas W. Reps	[9] [12]
28	Vlad Rusu	[8] [11] [14]
29	Shmuel Sagiv (Mooly Sagiv)	[9]
30	Wendelin Serwe	[10]
31	Valéry Tschaen	[8]
32	Carsten Weise	[3]
33	Wang Yi	[3]
34	Elena Zinovieva	[11]

Colors in the list of coauthors