Publications de Bertrand Jeannet

Thèses

  1. B. Jeannet, partitionnement Dynamique dans l'Analyse de Relations Linéraires et Application à la Vérification de Programmes Synchrones, Thèse de l'Institut National Polytechnique de Grenoble, Septembre 2000. (détails)

Articles de journaux

  1. T. Le Gall, B. Jeannet, H. Marchand, Contrôle de systèmes symboliques, discrets ou hybrides, Technique et Science Informatiques (TSI), 25:293-319, 2006. (détails)
  2. B. Jeannet, Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems, Formal Methods in System Design, 23(1):5-37, Juillet 2003. (détails)

Conferences internationales

  1. B. Jeannet, T. Jéron, V. Rusu, Model-based test selection for infinite state reactive systems, in Formal Methods of Components and Objects - FMCO 2006, Amsterdam, Netherlands, Revised Lectures, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Volume 4709, Pages 47-69, 2007. (détails)
  2. T. Le Gall, B. Jeannet, Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification, in The 14th International Static Analysis Symposium, SAS 2007, Pages 52-68, Kongens Lyngby, Denmark, Août 2007. (détails)
  3. C. Constant, B. Jeannet, T. Jéron, Automatic test generation from interprocedural specifications, in TestCom/Fates07, Pages 41-57, Tallinn, Estonia, Juin 2007. (détails)
  4. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jéron, 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. (détails)
  5. T. Le Gall, B. Jeannet, T. Jéron, Verification of Communication Protocols using Abstract Interpretation of FIFO queues, in 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia, Michael Johnson, Varmo Vene (eds.), Volume 4019, Pages 204-219, Juillet 2006. (détails)
  6. 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, Pages 31-35, Seville (Spain), Décembre 2005. (détails)
  7. B. Jeannet, D. Gopan, T. Reps, A Relational Abstraction for Functions, in The 12th International Static Analysis Symposium, SAS '05, Volume 2672 of LNCS, Pages 186-202, Septembre 2005. (détails)
  8. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic Test Selection based on Approximate Analysis, in 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Volume 3440 of LNCS, Pages 349-364, Edinburgh (Scottland), Avril 2005. (détails)
  9. B. Jeannet, A. Loginov, T. Reps, M. Sagiv, A Relational Approach to Interprocedural Shape Analysis, in 11th Static Analysis Symposium - SAS 2004. Volume 3148 of LNCS, Verona, Italy, Août 2004. (détails)
  10. B. Jeannet, W. Serwe, Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs, in 10th International Conference on Algebraic Methodology And Software Technology AMAST'2004. Volume 3116 of LNCS, Juillet 2004. (détails)
  11. V. Rusu, H. Marchand, V. Tschaen, T. Jéron, B. Jeannet, From Safety Verification to Safety Testing, in The 16th IFIP International Conference on Testing of Communicating Systems (TestCom04). Volume 2978 of LNCS, Oxford, UK, Mars 2004. (détails)
  12. F. Gaucher, E. Jahier, B. Jeannet, F. Maraninchi, Automatic State Reaching for Debugging Reactive Programs, in Fifth International Workshop on Automated and Algorithmic Debugging AADEBUG'2003,Ghent (Belgium), Septembre 2003. (détails)
  13. B. Jeannet, Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes, in Static Analysis Symposium, SAS'02, Volume 2477, Pages 52-68, Madrid (Spain)), Septembre 2002. (détails)
  14. B. Jeannet, P. D'Argenio, K.G. Larsen, RAPTURE: A tool for verifying Markov Decision Processes, in Tools Day, International Conference on Concurrency Theory, CONCUR'02, Brno, Czech Republic, Août 2002. (détails)
  15. P. D'Argenio, B. Jeannet, H.E. Jensen, K.G. Larsen, Reduction and Refinement Strategies for Probabilistic Analysis, in Process Algebra and Probabilistic Methods - Performance Modelling and Verification, PAPM-PROBMIV 2002, Volume 2399, Copenhagen, Denmark, Juillet 2002. (détails)
  16. P.R. D'Argenio, B. Jeannet, H.E. Jensen, K.J. Larsen, Reachability Analysis of Probabilistic Systems by Successive Refinements, in Process Algebra and Probabilistic Methods - Performance Modelling and Verification, PAPM-PROBM 2001, Volume 2165, Aachen, Germany, Septembre 2001. (détails)
  17. B. Jeannet, N. Halbwachs, P. Raymond, Dynamic Partitioning in Analyses of Numerical Properties, in Static Analysis Symposium, SAS'99, Volume 1694, Venezia (Italy), Septembre 1999. (détails)
  18. C. Ancourt, D. Barthou, C. Guettier, F. Irigoin, B. Jeannet, J. Jourdan, J. Mattioli, Automatic Data Mapping of Signal Processing Applications, in Int. Conf. on Application-specific Systems, Architectures and Processors (ASAP'97), 1997. (détails)

Rapport de recherche

  1. T. Le gall, B. Jeannet, Analysis of Communicating Infinite State Machines using Lattice Automata, Rapport de recherche IRISA, No 1839, Mars 2007. (détails)
  2. C. Constant, B. Jeannet, T. Jéron, Automatic Test Generation from Interprocedural Specifications, Rapport de recherche IRISA, No 1835, Mars 2007. (détails)
  3. Bertrand Jeannet, Thierry Jéron, Tristan Le Gall, Abstract lattices for the analysis of systems with unbounded FIFO channels, Rapport de recherche IRISA, No 1767, Décembre 2005. (détails) download
  4. T. Le Gall, B. Jeannet, H. Marchand, Contrôle de systèmes symboliques, discrets ou hybrides, Rapport de recherche IRISA, No 1683, Janvier 2005. (détails)
  5. B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva, Symbolic test selection using approximate analysis, Rapport de recherche IRISA, No 1649, Octobre 2004. (détails)
  6. B. Jeannet, A. Loginov, T. Reps, M. Sagiv, A relational approach to interprocedural shape analysis, Rapport de recherche University of Wisconsin-Madison, No 0, Avril 2004. (détails) download
  7. B. Jeannet, W. Serwe, Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs, Rapport de recherche IRISA, No 1543, Juillet 2003. (détails)
  8. B. Jeannet, Dynamic Partitioning in Linear Relation Analysis, Rapport de recherche RS-00-38, BRICS, Décembre 2000. (détails)

Divers

  1. F. Ployette, B. Jeannet, T. Jéron, Stg: a symbolic test generation tool for reactive systems, TESTCOM/FATES07 (Tool Paper), Tallinn, Estonia, Juin 2007. (détails)

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.

This page has been automatically generated using the bib2html program.