Bertrand Jeannet

2007
17	EE	Tristan Le Gall, Bertrand Jeannet: Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. SAS 2007: 52-68
16	EE	Camille Constant, Bertrand Jeannet, Thierry Jéron: Automatic Test Generation from Interprocedural Specifications. TestCom/FATES 2007: 41-57
2006
15	EE	Tristan Le Gall, Bertrand Jeannet, Thierry Jéron: Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST 2006: 204-219
14	EE	Bertrand Jeannet, Thierry Jéron, Vlad Rusu: Model-Based Test Selection for Infinite-State Reactive Systems. FMCO 2006: 47-69
13	EE	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	EE	Bertrand Jeannet, Denis Gopan, Thomas W. Reps: A Relational Abstraction for Functions. SAS 2005: 186-202
11	EE	Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva: Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364
2004
10	EE	Bertrand Jeannet, Wendelin Serwe: Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. AMAST 2004: 258-273
9	EE	Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv: A Relational Approach to Interprocedural Shape Analysis. SAS 2004: 246-264
8	EE	Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet: From Safety Verification to Safety Testing. TestCom 2004: 160-176
2003
7	EE	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	EE	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	EE	Bertrand Jeannet: Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. SAS 2002: 52-68
2001
4	EE	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	EE	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	EE	Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond: Dynamic Partitioning in Analyses of Numerical Properties. SAS 1999: 39-50
1997
1	EE	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	M. Oliver Möller	[3]
24	Paul Pettersson	[3]
25	Pascal Raymond	[2]
26	Thomas W. Reps	[9] [12]
27	Vlad Rusu	[8] [11] [14]
28	Shmuel Sagiv (Mooly Sagiv)	[9]
29	Wendelin Serwe	[10]
30	Valéry Tschaen	[8]
31	Carsten Weise	[3]
32	Wang Yi	[3]
33	Elena Zinovieva	[11]

Colors in the list of coauthors