Bertrand Jeannet

According to our database, Bertrand Jeannet authored at least 34 papers between 1997 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Abstract acceleration of general linear loops.

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Relational interprocedural verification of concurrent programs.

Bertrand Jeannet

Softw. Syst. Model., 2013

Verification of embedded control programs.

Thao Dang, Bertrand Jeannet, Romain Testylier

Proceedings of the 12th European Control Conference, 2013

2012

Applying abstract acceleration to (co-)reachability analysis of reactive programs.

Peter Schrammel, Bertrand Jeannet

J. Symb. Comput., 2012

Preface.

Bertrand Jeannet

Proceedings of the Third Workshop on Tools for Automatic Program Analysis, 2012

From hybrid data-flow languages to hybrid automata: a complete translation.

Peter Schrammel, Bertrand Jeannet

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Inferring Effective Types for Static Analysis of C Programs.

Bertrand Jeannet, Pascal Sotin

Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, 2011

Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs.

Peter Schrammel, Bertrand Jeannet

Proceedings of the Static Analysis - 18th International Symposium, 2011

Precise Interprocedural Analysis in the Presence of Pointers to the Stack.

Pascal Sotin, Bertrand Jeannet

Proceedings of the Programming Languages and Systems, 2011

Policy Iteration within Logico-Numerical Abstract Domains.

Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault

Proceedings of the Automated Technology for Verification and Analysis, 2011

Widening with Thresholds for Programs with Complex Control Graphs.

Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A relational approach to interprocedural shape analysis.

Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv

ACM Trans. Program. Lang. Syst., 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

Concrete Memory Models for Shape Analysis.

Pascal Sotin, Bertrand Jeannet, Xavier Rival

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs.

Peter Schrammel, Bertrand Jeannet

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Some Experience on the Software Engineering of Abstract Interpretation Tools.

Bertrand Jeannet

Proceedings of the Tools for Automatic Program AnalysiS, 2010

2009

Apron: A Library of Numerical Abstract Domains for Static Analysis.

Bertrand Jeannet, Antoine Miné

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2007

Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification.

Tristan Le Gall, Bertrand Jeannet

Proceedings of the Static Analysis, 14th International Symposium, 2007

Automatic Test Generation from Interprocedural Specifications.

Camille Constant, Bertrand Jeannet, Thierry Jéron

Proceedings of the Testing of Software and Communicating Systems, 2007

2006

Contrôle de systèmes symboliques, discrets ou hybrides.

Tristan Le Gall, Bertrand Jeannet, Hervé Marchand

Tech. Sci. Informatiques, 2006

Model-Based Test Selection for Infinite-State Reactive Systems.

Bertrand Jeannet, Thierry Jéron, Vlad Rusu

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.

Tristan Le Gall, Bertrand Jeannet, Thierry Jéron

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Symbolic Test Selection Based on Approximate Analysis.

Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

A Relational Abstraction for Functions.

Bertrand Jeannet, Denis Gopan, Thomas W. Reps

Proceedings of the Static Analysis, 12th International Symposium, 2005

Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation.

Tristan Le Gall, Bertrand Jeannet, Hervé Marchand

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

From Safety Verification to Safety Testing.

Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs.

Bertrand Jeannet, Wendelin Serwe

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems.

Bertrand Jeannet

Formal Methods Syst. Des., 2003

2002

Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes.

Bertrand Jeannet

Proceedings of the Static Analysis, 9th International Symposium, 2002

Reduction and Refinement Strategies for Probabilistic Analysis.

Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen

Proceedings of the Process Algebra and Probabilistic Methods, 2002

2001

Reachability Analysis of Probabilistic Systems by Successive Refinements.

Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen

Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000

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, Wang Yi

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1999

Dynamic Partitioning in Analyses of Numerical Properties.

Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Static Analysis, 6th International Symposium, 1999

1997

Automatic data mapping of signal processing applications.

Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli

Proceedings of the 1997 International Conference on Application-Specific Systems, 1997