Publications of Bertrand Jeannet
Load the BibTeX file
- T. Le Gall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques (TSI), 25(3):293-319, 2006.
- B. Jeannet. Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems. Formal Methods in System Design, available at http://ipsapp008.kluweronline.com/ips/frames/toc.asp?J=4715&I=39, 23(1):5-37, July 2003.
- 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, LNCS, Volume 4709, Pages 47-69, 2007.
- 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, LNCS, Volume 4634, Pages 52-68, Kongens Lyngby, Denmark, August 2007.
- C. Constant, B. Jeannet, T. Jéron. Automatic test generation from interprocedural specifications. In TestCom/Fates07, LNCS, Volume 4581, Pages 41-57, Tallinn, Estonia, June 2007.
- 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.
- 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.), LNCS, Volume 4019, Pages 204-219, July 2006.
- 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), December 2005.
- B. Jeannet, D. Gopan, T. Reps. A Relational Abstraction for Functions. In The 12th International Static Analysis Symposium, SAS'05, LNCS, Volume 2672, Pages 186-202, September 2005.
- 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), LNCS, Volume 3440, Pages 349-364, Edinburgh (Scottland), April 2005.
- 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, August 2004.
- 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, July 2004.
- 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, March 2004.
- 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), September 2003.
- B. Jeannet. Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. In Static Analysis Symposium, SAS'02, LNCS, Volume 2477, Pages 52-68, Madrid (Spain)), September 2002.
- 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, August 2002.
- 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, LNCS, Volume 2399, Copenhagen, Denmark, July 2002.
- 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, LNCS, Volume 2165, Aachen, Germany, September 2001.
- B. Jeannet, N. Halbwachs, P. Raymond. Dynamic Partitioning in Analyses of Numerical Properties. In Static Analysis Symposium, SAS'99, LNCS, Volume 1694, Venezia (Italy), September 1999.
- 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.
- T. Le Gall, B. Jeannet. Analysis of Communicating Infinite State Machines using Lattice Automata. Research Report IRISA, No 1839, March 2007.
- C. Constant, B. Jeannet, T. Jéron. Automatic Test Generation from Interprocedural Specifications. Research Report IRISA, No 1835, March 2007.
- 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.
- T. Le Gall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Research Report IRISA, No 1683, January 2005.
- B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva. Symbolic test selection using approximate analysis. Research Report IRISA, No 1649, October 2004.
- B. Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis. Research Report University of Wisconsin-Madison, No 0, April 2004. download
- B. Jeannet, W. Serwe. Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. Research Report IRISA, No 1543, July 2003.
- B. Jeannet. Dynamic Partitioning in Linear Relation Analysis. Research Report RS-00-38, BRICS, December 2000.
- F. Ployette, B. Jeannet, T. Jéron. Stg: a symbolic test generation tool for reactive systems. TESTCOM/FATES07 (Tool Paper), Tallinn, Estonia, June 2007.
- B. Jeannet. partitionnement Dynamique dans l'Analyse de Relations Linéraires et Application à la Vérification de Programmes Synchrones. PhD Thesis Institut National Polytechnique de Grenoble, September 2000.
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 is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic