Travelled to:1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Spain
1 × USA
1 × Vietnam
3 × Italy
3 × United Kingdom
Collaborated with:∅ P.Schrammel T.Jéron T.W.Reps P.Sotin A.Miné T.L.Gall V.Rusu S.Sankaranarayanan C.Constant D.Gopan N.Halbwachs P.Raymond E.Zinovieva A.Loginov S.Sagiv H.Marchand V.Tschaen
Talks about:abstract (5) interprocedur (4) analysi (4) verif (4) relat (3) numer (3) test (3) function (2) approxim (2) program (2)
Person: Bertrand Jeannet
DBLP: Jeannet:Bertrand
Contributed to:
2014
2011
2011
2009
20092007
20072005
20052004
200420021999Wrote 13 papers:
- POPL-2014-JeannetSS #linear
- Abstract acceleration of general linear loops (BJ, PS, SS), pp. 529–540.
- ESOP-2011-SotinJ #analysis #interprocedural #pointer #precise #stack
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.
- SAS-2011-SchrammelJ #data flow #source code #verification
- Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs (PS, BJ), pp. 233–248.
- CAV-2009-JeannetM #abstract domain #library #named #static analysis
- Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
- SEFM-2009-Jeannet #concurrent #interprocedural #relational #source code #verification
- Relational Interprocedural Verification of Concurrent Programs (BJ), pp. 83–92.
- SAS-2007-GallJ #automaton #infinity #representation #verification
- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification (TLG, BJ), pp. 52–68.
- TestCom-FATES-2007-ConstantJJ #automation #generative #interprocedural #specification #testing
- Automatic Test Generation from Interprocedural Specifications (CC, BJ, TJ), pp. 41–57.
- SAS-2005-JeannetGR #abstraction #relational
- A Relational Abstraction for Functions (BJ, DG, TWR), pp. 186–202.
- TACAS-2005-JeannetJRZ #analysis #approximate #testing
- Symbolic Test Selection Based on Approximate Analysis (BJ, TJ, VR, EZ), pp. 349–364.
- SAS-2004-JeannetLRS #analysis #approach #interprocedural #relational
- A Relational Approach to Interprocedural Shape Analysis (BJ, AL, TWR, SS), pp. 246–264.
- TestCom-2004-RusuMTJJ #safety #testing #verification
- From Safety Verification to Safety Testing (VR, HM, VT, TJ, BJ), pp. 160–176.
- SAS-2002-Jeannet #abstract interpretation #approximate #data type #representation
- Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes (BJ), pp. 52–68.
- SAS-1999-JeannetHR #analysis #clustering
- Dynamic Partitioning in Analyses of Numerical Properties (BJ, NH, PR), pp. 39–50.