Bertrand Jeannet

40 papers A* 2A 2B 9C 1Journal 7Unranked 18

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