Publications 2001

Articles de journaux

  1. H. Marchand, E. Rutten, M. Le Borgne, M. Samaan, Formal Verification of programs specified with SIGNAL : Application to a Power Transformer Station Controller, Science of Computer Programming, 41(1):85-104, Août 2001. (détails)
  2. V. Rusu, E. Zinovieva, Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols, Electronic Notes in Theoretical Computer Science, 50(4), 2001. (détails)

Conferences internationales

  1. A. Benveniste, P. Bournai, T. Gautier, M. Le Borgne, P. Le Guernic, H. Marchand, The Signal declarative synchronous language : controller synthesis & systems/architecture design, in 40th IEEE Conference on Decision and Control, Pages 3284-3289, Décembre 2001. (détails)
  2. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, Automated Test and Oracle Generation for Smart-Card Applications, in International Conference on Research in Smart Cards (e-Smart'01), Volume 2140 of LNCS, Pages 58-70, 2001. (détails)
  3. D. Clarke, T. Jéron, V. Rusu, E. Zinovieva, STG : A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications, in Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), 2001. (détails)
  4. 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)
  5. H. Marchand, O. Boivineau, S. Lafortune, Optimal control of discrete event systems under partial observation, in 40th IEEE Conference on Decision and Control, Pages 2235-2240, Décembre 2001. (détails)
  6. V. Rusu, Verifying that Invariants are Context-Inductive, in Theorem Proving in Higher-Order Logics (TPHOLs'01),, Category B paper, University of Edinburgh research Report EDI-INF-RR-0046, Pages 337-351, 2001. (détails)
  7. V. Rusu, Verifying a Sliding-Window Protocol using PVS, in Formal Description Techniques (FORTE'01), Pages 251-266, 2001. (détails)

Rapport de recherche

  1. V. Rusu, Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols, Rapport de recherche INRIA, No 4100, 2001. (détails)

Divers

  1. Thierry Jéron, Le test de conformité : état de l'art, Rapport pour l'AEE (Architecture Electronique Embarquée), 2001. (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.