Publications 2001

Academic Journals

1. V. Rusu, E. Zinovieva. Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Electronic Notes in Theoretical Computer Science, To appear also in proc. ICALP 2001 Workshop on Verification of Parameterized Systems (VEPAS'01), 50(4), 2001.
2. 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, August 2001.

International Conferences

1. 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.
2. 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.
3. 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.
4. V. Rusu. Verifying a Sliding-Window Protocol using PVS. In Formal Description Techniques (FORTE'01), Pages 251-266, 2001.
5. 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, Orlando, Florida, USA, December 2001.
6. 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, Orlando, Florida, USA, December 2001.
7. 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.

Research Reports

1. V. Rusu. Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols. Research Report INRIA, No 4100, 2001.

Misc

1. Thierry Jéron. Le test de conformité : état de l'art. Rapport pour l'AEE (Architecture Electronique Embarquée), 2001.

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