Automatic data mapping of signal processing applications. - Corinne Ancourt; Denis Barthou; Christophe Guettier; François Irigoin; Bertrand Jeannet; Jean Jourdan; Juliette Mattioli (ASAP, 1997)

Dynamic Partitioning in Analyses of Numerical Properties. - Bertrand Jeannet; Nicolas Halbwachs; Pascal Raymond (SAS, 1999)

UPPAAL - Now, Next, and Future. - 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; et al. (MOVEP, 2000)

Reachability Analysis of Probabilistic Systems by Successive Refinements. - Pedro R. D'Argenio; Bertrand Jeannet; Henrik Ejersbo Jensen; Kim Guldstrand Larsen (PAPM-PROBMIV, 2001)

Reduction and Refinement Strategies for Probabilistic Analysis. - Pedro R. D'Argenio; Bertrand Jeannet; Henrik Ejersbo Jensen; Kim Guldstrand Larsen (PAPM-PROBMIV, 2002)

Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. - Bertrand Jeannet (SAS, 2002)

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems. - Bertrand Jeannet (Formal Methods Syst. Des., 2003)

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. - Bertrand Jeannet; Wendelin Serwe (AMAST, 2004)

From Safety Verification to Safety Testing. - Vlad Rusu; Hervé Marchand; Valéry Tschaen; Thierry Jéron; Bertrand Jeannet (TestCom, 2004)

Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. - Tristan Le Gall; Bertrand Jeannet; Hervé Marchand (CDC/ECC, 2005)

A Relational Abstraction for Functions. - Bertrand Jeannet; Denis Gopan; Thomas W. Reps (SAS, 2005)

Symbolic Test Selection Based on Approximate Analysis. - Bertrand Jeannet; Thierry Jéron; Vlad Rusu; Elena Zinovieva 001 (TACAS, 2005)

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. - Tristan Le Gall; Bertrand Jeannet; Thierry Jéron (AMAST, 2006)

Model-Based Test Selection for Infinite-State Reactive Systems. - Bertrand Jeannet; Thierry Jéron; Vlad Rusu (FMCO, 2006)

Contrôle de systèmes symboliques, discrets ou hybrides. - Tristan Le Gall; Bertrand Jeannet; Hervé Marchand (Tech. Sci. Informatiques, 2006)

Automatic Test Generation from Interprocedural Specifications. - Camille Constant; Bertrand Jeannet; Thierry Jéron (TestCom/FATES, 2007)

Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. - Tristan Le Gall; Bertrand Jeannet (SAS, 2007)

Apron: A Library of Numerical Abstract Domains for Static Analysis. - Bertrand Jeannet; Antoine Miné (CAV, 2009)

Some Experience on the Software Engineering of Abstract Interpretation Tools. - Bertrand Jeannet (TAPAS@SAS, 2010)

Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. - Peter Schrammel; Bertrand Jeannet (NSAD@SAS, 2010)

Concrete Memory Models for Shape Analysis. - Pascal Sotin; Bertrand Jeannet; Xavier Rival (NSAD@SAS, 2010)

Combining Control and Data Abstraction in the Verification of Hybrid Systems. - Xavier Briand; Bertrand Jeannet (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010)

A relational approach to interprocedural shape analysis. - Bertrand Jeannet; Alexey Loginov; Thomas W. Reps; Mooly Sagiv (ACM Trans. Program. Lang. Syst., 2010)

Widening with Thresholds for Programs with Complex Control Graphs. - Lies Lakhdar-Chaouch; Bertrand Jeannet; Alain Girault (ATVA, 2011)

Policy Iteration within Logico-Numerical Abstract Domains. - Pascal Sotin; Bertrand Jeannet; Franck Védrine; Eric Goubault (ATVA, 2011)

Precise Interprocedural Analysis in the Presence of Pointers to the Stack. - Pascal Sotin; Bertrand Jeannet (ESOP, 2011)

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. - Peter Schrammel; Bertrand Jeannet (SAS, 2011)

Inferring Effective Types for Static Analysis of C Programs. - Bertrand Jeannet; Pascal Sotin (NSAD@SAS, 2011)

From hybrid data-flow languages to hybrid automata: a complete translation. - Peter Schrammel; Bertrand Jeannet (HSCC, 2012)

Preface. - Bertrand Jeannet (TAPAS@SAS, 2012)

Applying abstract acceleration to (co-)reachability analysis of reactive programs. - Peter Schrammel; Bertrand Jeannet (J. Symb. Comput., 2012)

Verification of embedded control programs. - Thao Dang 001; Bertrand Jeannet; Romain Testylier (ECC, 2013)

Relational interprocedural verification of concurrent programs. - Bertrand Jeannet (Softw. Syst. Model., 2013)

Abstract acceleration of general linear loops. - Bertrand Jeannet; Peter Schrammel; Sriram Sankaranarayanan 001 (POPL, 2014)