- Decidability of reachability problems for classes of two counters automata
- Improved and extended (unofficial) version of the paper published in: Proc. 14th Int. Static Analysis Symposium (SAS'07), Kongens Lyngby, Denmark, Aug. 2007,
- Final (pre-edited) version of the paper to appear in: Proc. 2nd Workshop on Concurrent Models in Molecular Biology (BioCONCUR'04), London, UK, Aug. 2004,
- Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems
- Lazy Abstraction Thomas A. Henzinger Ranjit Jhala Rupak Majumdar
- Eoeective Recognizability and Model Checking of Reactive Fioeo Automata
- Final (pre-edited) version of the paper published in: Proc. 10th Int. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Almaty, Kazakhstan, Sep. 2003,
- Temporal-Safety Proofs for Systems Code ? Thomas A. Henzinger 1 Ranjit Jhala 1 Rupak Majumdar 1
- Improved and extended (unofficial) version of the paper published in: Proc. 13th Int. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07), Braga, Portugal, Mar.-Apr. 2007,
- Laboratoire Bordelais de Recherche en Informatique UMR CNRS 5800 Universite de Bordeaux
- Improved and extended (unofficial) version of the paper published in: Proc. 15th Int. Conf. Concurrency Theory (CONCUR'04), London, UK, Aug.-Sep. 2004,
- Well-Abstracted Transition Systems (extended abstract)
- Improved and extended (unofficial) version of the paper published in: Proc. 3rd Int. Symp. Automated Technology for Verification and Analysis (ATVA'05), Taipei, Taiwan, Oct. 2005,
- Vrification des Automates File Ractifs : un modle pour les systmes ractifs crits en
- Veri cation of Embedded Reactive Fi o Systems Frdric Herbreteau 1,2 , Franck Cassez 1 , Alain Finkel 3 , Olivier Roux 1
- Improved and extended (unofficial) version of the paper published in: Proc. 27th Int. Conf. Found. of Software Technology and Theor. Comp. Sci. (FSTTCS'07), New Delhi, India, Dec. 2007,
