@article{JSC2011, 
	Author = {Schrammel, Peter and Jeannet, Bertrand},
	Title = {Applying Abstract Acceleration to (Co-)Reachability Analysis of Reactive Programs},
	Journal = {Journal of Symbolic Computation - Special issue on WING2010},
	Year = {2011}
} 


@TechReport{LIES:2011:INRIA-00606961:1, 
	Author = {Lakhdar-Chaouch, Lies and Jeannet, Bertrand and Girault, Alain},
	Title = {Widening with Thresholds for Programs with Complex Control Graphs},
	Number = {0},
	Pages = {0--0},
	Institution = {INRIA},
	Month = {July},
	Year = {2011}
} 


@InProceedings{JS11, 
	Author = {Jeannet, Bertrand and Sotin, Pascal},
	Title = {Inferring Effective Types for Static Analysis of C Programs},
	BookTitle = {Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2011},
	Series = {ENTCS},
	Address = {Venice (Italy)},
 	Year = {2011}
} 


@InProceedings{LJG11, 
	Author = {Lakhdar-Chaouch, Lies and Jeannet, Bertrand and Girault, Alain},
	Title = {Widening with Thresholds for Programs with Complex Control Graphs},
	BookTitle = {Automated Technology for Verification and Analysis, ATVA'11},
	Volume = {6996},
	Pages = {492--502},
	Series = {LNCS},
	Address = {Taipei (Taiwan)},
 	Year = {2011}
} 


@InProceedings{SJVG11, 
	Author = {Sotin, Pascal and Jeannet, Bertrand and Védrine, Franck and Goubault, É},
	Title = {Policy Iteration within Logico-Numerical Abstract Domains},
	BookTitle = {Automated Technology for Verification and Analysis, ATVA'11},
	Volume = {6996},
	Pages = {290--305},
	Series = {LNCS},
	Year = {2011}
} 


@InProceedings{SJ11a, 
	Author = {Schrammel, Peter and Jeannet, Bertrand},
	Title = {Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs},
	BookTitle = {Static Analysis Symposium, SAS'11},
	Volume = {6887},
	Pages = {233--248},
	Series = {LNCS},
	Address = {Venice (Italy)},
 	Year = {2011}
} 


@InProceedings{esop11, 
	Author = {Sotin, Pascal and Jeannet, Bertrand},
	Title = {Precise Interprocedural Analysis in the Presence of Pointers to the Stack},
	BookTitle = {European Symposium on Programming, ESOP'11},
	Volume = {6602},
	Pages = {459--479},
	Series = {LNCS},
	Address = {Sarrebrück},
 	Year = {2011}
} 


@article{JLRS10, 
	Author = {Jeannet, B. and Loginov, A. and Reps, T. and Sagiv, M.},
	Title = {A relational approach to interprocedural shape analysis},
	Journal = {ACM Trans. On Programming Languages and Systems (TOPLAS)},
	Volume = {32},
	Number = {2},
	Year = {2010}
} 


@article{briandjeannet10, 
	Author = {Briand, X. and Jeannet, B.},
	Title = {Combining control and data abstraction in the verification of hybrid systems},
	Journal = {Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)},
	Volume = {29},
	Number = {10},
	Publisher = {IEEE},
	Year = {2010}
} 


@InProceedings{SJ10, 
	Author = {Schrammel, Peter and Jeannet, Bertrand},
	Title = {Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs},
	BookTitle = {Int. Workshop on Numerical and Symbolic Abstract Domains},
	Volume = {267},
	Number = {1},
	Pages = {101--114},
	Series = {ENTCS},
	Publisher = {Elsevier},
	Year = {2010}
} 


@InProceedings{Jea10, 
	Author = {Jeannet, Bertrand},
	Title = {Some Experience on the Software Engineering of Abstract Interpretation Tools},
	BookTitle = {Int. Workshop on Tools for Automatic Program AnalysiS, TAPAS'2010},
	Volume = {267},
	Number = {2},
	Pages = {29--42},
	Series = {ENTCS},
	Publisher = {Elsevier},
	Year = {2010}
} 


@InProceedings{SJ10a, 
	Author = {Schrammel, Peter and Jeannet, Bertrand},
	Title = {Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs},
	BookTitle = {Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010},
	Volume = {267},
	Number = {1},
	Pages = {101--114},
	Series = {ENTCS},
	Publisher = {Elsevier},
	Year = {2010}
} 


@InProceedings{SJ10b, 
	Author = {Sotin, Pascal and Jeannet, Bertrand and Rival, Xavier},
	Title = {Concrete Memory Models for Shape Analysis},
	BookTitle = {Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010},
	Volume = {267},
	Number = {1},
	Pages = {139--150},
	Series = {ENTCS},
	Publisher = {Elsevier},
	Year = {2010}
} 


@InProceedings{jeannet09b, 
	Author = {Jeannet, B.},
	Title = {Relational interprocedural verification of concurrent programs},
	BookTitle = {Software Engineering and Formal Methods, SEFM'09},
	Publisher = {IEEE},
	Month = {November},
	Year = {2009}
} 


@InProceedings{jeannetmine09, 
	Author = {Jeannet, B. and Miné, A.},
	Title = {{APRON}: A Library of Numerical Abstract Domains for Static Analysis},
	BookTitle = {Computer Aided Verification, CAV'2009},
	Volume = {5643},
	Pages = {661--667},
	Series = {LNCS},
	Year = {2009}
} 


@InProceedings{briandjeannet09, 
	Author = {Briand, X. and Jeannet, B.},
	Title = {Combining control and data abstraction in the verification of hybrid systems},
	BookTitle = {Formal Methods and Models for Codesign, MEMOCODE'2009},
	Publisher = {IEEE},
	Year = {2009}
} 


@TechReport{jeannetrr08, 
	Author = {Jeannet, B.},
	Title = {Relational interprocedural analysis of concurrent programs},
	Number = {6671},
	Institution = {INRIA},
	Month = {October},
	Year = {2008}
} 


@InProceedings{JJR-FMCO-07, 
	Author = {Jeannet, B. and Jéron, T. and Rusu, V.},
	Title = {Model-based test selection for infinite state reactive systems},
	BookTitle = {{Formal Methods of Components and Objects, FMCO'06, Revised Lectures}},
	editor = {de Boer, F.S and Bonsangue, M.M. and Graf, S. and de Roever, W.-P.},
	Volume = {4709},
	Pages = {47--69},
	Series = {Lecture Notes in Computer Science},
	Publisher = {Springer-Verlag},
	Year = {2007}
} 


@InProceedings{sas07, 
	Author = {Le Gall, T. and Jeannet, B.},
	Title = {Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification},
	BookTitle = {Static Analysis Symposium, SAS'07},
	Volume = {4634},
	Series = {LNCS},
	Month = {August},
	Year = {2007}
} 


@InProceedings{CJJ07, 
	Author = {Constant, C. and Jeannet, B. and Jeron, T.},
	Title = {Automatic Test Generation from Interprocedural Specifications},
	BookTitle = {Testing of Communicating Systems and Formal Approaches to Testing of Software, TESTCOM/FATES'07},
	Volume = {4581},
	Series = {LNCS},
	Month = {July},
	Year = {2007}
} 


@TechReport{legall07, 
	Author = {Le gall, T. and Jeannet, B.},
	Title = {Analysis of Communicating Infinite State Machines using Lattice Automata},
	Number = {1839},
	Institution = {IRISA},
	Month = {March},
	Year = {2007}
} 


@TechReport{PI-Constant07a, 
	Author = {Constant, C. and Jeannet, B. and Jéron, T.},
	Title = {Automatic Test Generation from Interprocedural Specifications},
	Number = {1835},
	Institution = {IRISA},
	Month = {March},
	Year = {2007}
} 


@InProceedings{LJJ06, 
	Author = {Legall, T. and Jeannet, B. and Jéron, T.},
	Title = {Verification of Communication Protocols Using Abstract Interpretation of {FIFO} queues},
	BookTitle = {Algebraic Methodology and Software Technology, AMAST '06},
	Volume = {4019},
	Series = {LNCS},
	Month = {July},
	Year = {2006}
} 


@article{LJM06, 
	Author = {Legall, T. and Jeannet, B. and Marchand, H.},
	Title = {Contrôle de systèmes symboliques, discrets ou hybrides},
	Journal = {Technique et Science Informatiques},
	Volume = {	 25},
	Number = {3},
	Year = {2006}
} 


@InProceedings{CSTVA06, 
	Author = {Blanc, B. and Bouquet, F. and Gotlieb, A. and Jeannet, B. and Jeron, T. and Legeard, B. and Marre, B. and Michel, C. and Rueher, M.},
	Title = {The {V3F} Project},
	BookTitle = {Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA06), Nantes},
	editor = {Blanc, B. and Gotlieb, A. and Michel, C.},
	Year = {2006}
} 


@TechReport{JJL05, 
	Author = {Jeannet, Bertrand and Jéron, Thierry and Le Gall, Tristan},
	Title = {Abstract lattices for the analysis of systems with unbounded {FIFO} channels},
	Number = {1767},
	Institution = {IRISA},
	Month = {December},
	Year = {2005}
} 


@InProceedings{jeannet05a, 
	Author = {Jeannet, B. and Jéron, T. and Rusu, V. and Zinovieva, E.},
	Title = {Symbolic Test Selection based on Approximate Analysis},
	BookTitle = {Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'05},
	Volume = {3440},
	Series = {LNCS},
	Month = {April},
	Year = {2005}
} 


@InProceedings{sas05, 
	Author = {Jeannet, B and Gopan, D. and Reps, T.},
	Title = {A Relational Abstraction for Functions},
	BookTitle = {Static Analysis Symposium, SAS'05},
	Volume = {3672},
	Series = {LNCS},
	Month = {September},
	Year = {2005}
} 


@InProceedings{nsad05, 
	Author = {Jeannet, B and Gopan, D. and Reps, T.},
	Title = {A Relational Abstraction for Functions},
	BookTitle = {Int. Workshop on Numerical and Symbolic Abstract Domains},
	Month = {January},
	Year = {2005}
} 


@InProceedings{legall05b, 
	Author = {Le Gall, T. and Jeannet, B. and Marchand, H.},
	Title = {Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation},
	BookTitle = {44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005},
	Month = {December},
	Year = {2005}
} 


@TechReport{LJM05a, 
	Author = {Legall, T. and Jeannet, B. and Marchand, H.},
	Title = {Contrôle de systèmes symboliques, discrets ou hybrides},
	Number = {0},
	Institution = {IRISA},
	Month = {January},
	Year = {2005}
} 


@InProceedings{sas04, 
	Author = {Jeannet, B and Loginov, A. and Reps, T. and Sagiv, M.},
	Title = {A relational approach to interprocedural shape analysis},
	BookTitle = {Static Analysis Symposium, SAS'04},
	Volume = {3148},
	Series = {LNCS},
	Address = {Verona (Italy)},
 	Month = {August},
	Year = {2004}
} 


@TechReport{jeannet04, 
	Author = {Jeannet, B. and Loginov, A. and Reps, T. and Sagiv, M.},
	Title = {A relational approach to interprocedural shape analysis},
	Number = {0},
	Institution = {University of Wisconsin-Madison},
	Month = {April},
	Year = {2004}
} 


@InProceedings{amast04, 
	Author = {Jeannet, B. and Serwe, W.},
	Title = {Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs},
	BookTitle = {Int.\ Conf.\ on Algebraic Methodology and Software Technology, AMAST'04},
	Volume = {	 3116},
	Series = {LNCS},
	Month = {July},
	Year = {2004}
} 


@TechReport{jeannet04a, 
	Author = {Jeannet, B. and Jéron, T. and Rusu, V. and Zinovieva, E.},
	Title = {Symbolic Test Selection Based on Approximate Analysis},
	Number = {0},
	Institution = {IRISA},
	Month = {October},
	Year = {2004}
} 


@InProceedings{testcom04, 
	Author = {Rusu, V. and Marchand, H. and Tschaen, V. and Jéron, T. and Jeannet, B.},
	Title = {From Safety Verification to Safety Testing},
	BookTitle = {International Conference on Testing of Communicating Systems, TestCom'04},
	Volume = {	 2978},
	Series = {LNCS},
	Address = {Oxford (UK)},
 	Month = {March},
	Year = {2004}
} 


@TechReport{jeannet03b, 
	Author = {Jeannet, B. and Serwe, W.},
	Title = {Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs},
	Number = {0},
	Institution = {IRISA},
	Month = {July},
	Year = {2003}
} 


@article{jeannet03a, 
	Author = {Jeannet, B.},
	Title = {Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems},
	Journal = {Formal Methods in System Design},
	Volume = {23},
	Number = {1},
	Pages = {5--37},
	Publisher = {Kluwer},
	Month = {July},
	Year = {2003}
} 


@InProceedings{aadebug03, 
	Author = {Gaucher, F. and Jahier, E. and Jeannet, B. and Maraninchi, F.},
	Title = {Automatic State Reaching for Debugging Reactive Programs},
	BookTitle = {Int. Workshop on Automated and Algorithmic Debugging, AADEBUG'03},
	Month = {September},
	Year = {2003}
}