Publications of Bertrand Jeannet

Load the BibTeX file

Academic Journals

  1. Peter Schrammel, Bertrand Jeannet. Applying Abstract Acceleration to (Co-)Reachability Analysis of Reactive Programs. Journal of Symbolic Computation - Special issue on WING2010, 2011. details
  2. 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
  3. 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
  4. T. Legall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques, 25(3), 2006. details
  5. 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. Bertrand Jeannet, Pascal Sotin. Inferring Effective Types for Static Analysis of C Programs. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2011, ENTCS, Venice (Italy), 2011. details
  2. Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 492-502, Taipei (Taiwan), 2011. details
  3. Pascal Sotin, Bertrand Jeannet, Franck Védrine, É Goubault. Policy Iteration within Logico-Numerical Abstract Domains. In Automated Technology for Verification and Analysis, ATVA'11, LNCS, Volume 6996, Pages 290-305, 2011. details
  4. Peter Schrammel, Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. In Static Analysis Symposium, SAS'11, LNCS, Volume 6887, Pages 233-248, Venice (Italy), 2011. details
  5. Pascal Sotin, Bertrand Jeannet. Precise Interprocedural Analysis in the Presence of Pointers to the Stack. In European Symposium on Programming, ESOP'11, LNCS, Volume 6602, Pages 459-479, Sarrebrück, 2011. details
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. B. Jeannet. Relational interprocedural verification of concurrent programs. In Software Engineering and Formal Methods, SEFM'09, November 2009. details
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. B Jeannet, D. Gopan, T. Reps. A Relational Abstraction for Functions. In Static Analysis Symposium, SAS'05, LNCS, Volume 3672, September 2005. details
  20. 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
  21. B Jeannet, D. Gopan, T. Reps. A Relational Abstraction for Functions. In Int. Workshop on Numerical and Symbolic Abstract Domains, January 2005. details
  22. 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
  23. 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
  24. 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
  25. 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. Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs. Rapport de recherche INRIA, No 0, July 2011. details
  2. B. Jeannet. Relational interprocedural analysis of concurrent programs. Research Report INRIA, No 6671, October 2008. details
  3. T. Le gall, B. Jeannet. Analysis of Communicating Infinite State Machines using Lattice Automata. Research Report IRISA, No 1839, March 2007. details
  4. C. Constant, B. Jeannet, T. Jéron. Automatic Test Generation from Interprocedural Specifications. Research Report IRISA, No 1835, March 2007. details
  5. 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
  6. T. Legall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technical Report IRISA, No 0, January 2005. details
  7. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic Test Selection Based on Approximate Analysis. Technical Report IRISA, No 0, October 2004. details
  8. 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
  9. 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.