Bertrand Jeannet

Publication Activity (10 Years)

Years Active: 1997-2014
Publications (10 Years): 0

Top Topics

Bilingual Dictionaries

Concurrent Programs

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
Abstract acceleration of general linear loops. POPL (2014)
Thao Dang, Bertrand Jeannet, Romain Testylier
Verification of embedded control programs. ECC (2013)
Bertrand Jeannet
Relational interprocedural verification of concurrent programs. Softw. Syst. Model. 12 (2) (2013)
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
Abstract Acceleration of General Linear Loops. CoRR (2013)
Bertrand Jeannet
Preface. Electron. Notes Theor. Comput. Sci. 289 (2012)
Bertrand Jeannet, Pascal Sotin
Inferring Effective Types for Static Analysis of C Programs. Electron. Notes Theor. Comput. Sci. 288 (2012)
Peter Schrammel, Bertrand Jeannet
From hybrid data-flow languages to hybrid automata: a complete translation. HSCC (2012)
Peter Schrammel, Bertrand Jeannet
Applying abstract acceleration to (co-)reachability analysis of reactive programs. J. Symb. Comput. 47 (12) (2012)
Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault
Widening with Thresholds for Programs with Complex Control Graphs. ATVA (2011)
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault
Policy Iteration within Logico-Numerical Abstract Domains. ATVA (2011)
Pascal Sotin, Bertrand Jeannet
Precise Interprocedural Analysis in the Presence of Pointers to the Stack. ESOP (2011)
Peter Schrammel, Bertrand Jeannet
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. SAS (2011)
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv
A relational approach to interprocedural shape analysis. ACM Trans. Program. Lang. Syst. 32 (2) (2010)
Bertrand Jeannet
Some Experience on the Software Engineering of Abstract Interpretation Tools. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Xavier Briand, Bertrand Jeannet
Combining Control and Data Abstraction in the Verification of Hybrid Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (10) (2010)
Peter Schrammel, Bertrand Jeannet
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Pascal Sotin, Bertrand Jeannet, Xavier Rival
Concrete Memory Models for Shape Analysis. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Bertrand Jeannet
Relational Interprocedural Verification of Concurrent Programs. SEFM (2009)
Xavier Briand, Bertrand Jeannet
Combining control and data abstraction in the verification of hybrid systems. MEMOCODE (2009)
Bertrand Jeannet, Antoine Miné
Apron: A Library of Numerical Abstract Domains for Static Analysis. CAV (2009)
Tristan Le Gall, Bertrand Jeannet
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. SAS (2007)
Camille Constant, Bertrand Jeannet, Thierry Jéron
Automatic Test Generation from Interprocedural Specifications. TestCom/FATES (2007)
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
Model-Based Test Selection for Infinite-State Reactive Systems. FMCO (2006)
Tristan Le Gall, Bertrand Jeannet, Hervé Marchand
Contrôle de systèmes symboliques, discrets ou hybrides. Tech. Sci. Informatiques 25 (3) (2006)
Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST (2006)
Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva
Symbolic Test Selection Based on Approximate Analysis. TACAS (2005)
Bertrand Jeannet, Denis Gopan, Thomas W. Reps
A Relational Abstraction for Functions. SAS (2005)
Tristan Le Gall, Bertrand Jeannet, Hervé Marchand
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. CDC/ECC (2005)
Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv
A Relational Approach to Interprocedural Shape Analysis. SAS (2004)
Bertrand Jeannet, Wendelin Serwe
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. AMAST (2004)
Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet
From Safety Verification to Safety Testing. TestCom (2004)
Bertrand Jeannet
Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems. Formal Methods Syst. Des. 23 (1) (2003)
Bertrand Jeannet
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. SAS (2002)
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV (2002)
Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen
Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV (2001)
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)
Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
Dynamic Partitioning in Analyses of Numerical Properties. SAS (1999)
Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli
Automatic data mapping of signal processing applications. ASAP (1997)