Other Publications - Talks
- J. Leroux. De l'automate binaire à la formule de Presburger. Invited talk. Groupe de travail Journées des Systèmes Infinis (JSI 2005), Cachan, France, Mar. 2005.
- J. Leroux. A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams. Technical report 1251 of Université de Montréal, Montréal, QC Canada, Sep. 2004.
- J. Leroux. Algorithmique de la vérification des systèmes à compteurs. Approximation et accélération. Implémentation de l'outil FAST. Thèse ENS de Cachan, Dec. 2003.
- S. Bardin, A. Finkel, J. Leroux, L. Petrucci and L. Worobel. FAST, Users' Manual, Aug. 2003.
- A. Finkel and J. Leroux.
Acceleration of loops for verification. Invited talk. Workshop on
Mathematical Models and Techniques for Analysing Systems, Sep.-Oct.
2002, Univ. Montréal, Canada, October 2002.
- J. Leroux. Vérification des systèmes paramétrés. Mémoire de DEA, DEA Algorithmique, Paris, September 1999. 51 pages.