Publications of Bertrand Jeannet

Load the BibTeX file

Academic Journals

  1. B. Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. ACM Trans. On Programming Languages and Systems (TOPLAS), 32(2), 2010. details download
  2. X. Briand, B. Jeannet. Combining control and data abstraction in the verification of hybrid systems. Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 29(10), 2010. details
  3. T. Legall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques, 25(3), 2006. details
  4. B. Jeannet. Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems. Formal Methods in System Design, 23(1):5-37, July 2003. details

International Conferences

  1. Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs. In Int. Workshop on Numerical and Symbolic Abstract Domains, ENTCS, Volume 267, Pages 101-114, 2010. details
  2. Bertrand Jeannet. Some Experience on the Software Engineering of Abstract Interpretation Tools. In Int. Workshop on Tools for Automatic Program AnalysiS, TAPAS'2010, ENTCS, Volume 267, Pages 29-42, 2010. details
  3. Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010, ENTCS, Volume 267, Pages 101-114, 2010. details
  4. Pascal Sotin, Bertrand Jeannet, Xavier Rival. Concrete Memory Models for Shape Analysis. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010, ENTCS, Volume 267, Pages 139-150, 2010. details
  5. B. Jeannet, A. Miné. APRON: A Library of Numerical Abstract Domains for Static Analysis. In Computer Aided Verification, CAV'2009, LNCS, Volume 5643, Pages 661-667, 2009. details
  6. X. Briand, B. Jeannet. Combining control and data abstraction in the verification of hybrid systems. In Formal Methods and Models for Codesign, MEMOCODE'2009, 2009. details
  7. B. Jeannet. Relational interprocedural verification of concurrent programs. In Software Engineering and Formal Methods, SEFM'09, November 2009. details
  8. B. Jeannet, T. Jéron, V. Rusu. Model-based test selection for infinite state reactive systems. In Formal Methods of Components and Objects, FMCO'06, Revised Lectures, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Lecture Notes in Computer Science, Volume 4709, Pages 47-69, 2007. details
  9. T. Le Gall, B. Jeannet. Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification. In Static Analysis Symposium, SAS'07, LNCS, Volume 4634, August 2007. details
  10. C. Constant, B. Jeannet, T. Jeron. Automatic Test Generation from Interprocedural Specifications. In Testing of Communicating Systems and Formal Approaches to Testing of Software, TESTCOM/FATES'07, LNCS, Volume 4581, July 2007. details
  11. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jeron, B. Legeard, B. Marre, C. Michel, M. Rueher. The V3F Project. In Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA06), Nantes, B. Blanc, A. Gotlieb, C. Michel (eds.), 2006. details
  12. T. Legall, B. Jeannet, T. Jéron. Verification of Communication Protocols Using Abstract Interpretation of FIFO queues. In Algebraic Methodology and Software Technology, AMAST '06, LNCS, Volume 4019, July 2006. details
  13. T. Le Gall, B. Jeannet, H. Marchand. Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. In 44nd IEEE Conference on Decision and Control (CDC'05) and Control and European Control Conference ECC 2005, December 2005. details
  14. B Jeannet, D. Gopan, T. Reps. A Relational Abstraction for Functions. In Static Analysis Symposium, SAS'05, LNCS, Volume 3672, September 2005. details
  15. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic Test Selection based on Approximate Analysis. In Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'05, LNCS, Volume 3440, April 2005. details
  16. B Jeannet, D. Gopan, T. Reps. A Relational Abstraction for Functions. In Int. Workshop on Numerical and Symbolic Abstract Domains, January 2005. details
  17. B Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. In Static Analysis Symposium, SAS'04, LNCS, Volume 3148, Verona (Italy), August 2004. details
  18. B. Jeannet, W. Serwe. Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. In Int.\ Conf.\ on Algebraic Methodology and Software Technology, AMAST'04, LNCS, Volume 3116, July 2004. details
  19. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet. From Safety Verification to Safety Testing. In International Conference on Testing of Communicating Systems, TestCom'04, LNCS, Volume 2978, Oxford (UK), March 2004. details
  20. F. Gaucher, E. Jahier, B. Jeannet, F. Maraninchi. Automatic State Reaching for Debugging Reactive Programs. In Int. Workshop on Automated and Algorithmic Debugging, AADEBUG'03, September 2003. details

Research Reports

  1. B. Jeannet. Relational interprocedural analysis of concurrent programs. Research Report INRIA, No 6671, October 2008. details
  2. T. Le gall, B. Jeannet. Analysis of Communicating Infinite State Machines using Lattice Automata. Research Report IRISA, No 1839, March 2007. details
  3. C. Constant, B. Jeannet, T. Jéron. Automatic Test Generation from Interprocedural Specifications. Research Report IRISA, No 1835, March 2007. details
  4. Bertrand Jeannet, Thierry Jéron, Tristan Le Gall. Abstract lattices for the analysis of systems with unbounded FIFO channels. Research Report IRISA, No 1767, December 2005. details
  5. T. Legall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technical Report IRISA, No 0, January 2005. details
  6. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic Test Selection Based on Approximate Analysis. Technical Report IRISA, No 0, October 2004. details
  7. B. Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. Technical Report University of Wisconsin-Madison, No 0, April 2004. details download
  8. B. Jeannet, W. Serwe. Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. Technical Report IRISA, No 0, July 2003. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.