Publications of Grégoire Sutre with J.-M. Couvreur

Journal articles and book chapters

  1. F. Bréant, J.-M. Couvreur, F. Gilliers, F. Kordon, I. Mounier, E. Paviot-Adet, D. Poitrenaud, D. Regep, and G. Sutre. Modeling and verifying behavioral aspects. In F. Kordon and M. Lemoine, editors, Formal Methods for Embedded Distributed Systems · How to master the complexity, chapter 6, pages 171-211. Kluwer Academic, 2004. [doi] [bib]

Conference articles

  1. J.-M. Couvreur, N. Saheb, and G. Sutre. An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. In Proc. 10th Int. Conf. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'2003), Almaty, Kazakhstan, Sep. 2003, volume 2850 of Lecture Notes in Artificial Intelligence, pages 361-375. Springer, 2003. [ps] [doi] [bib]

This document was translated from BibTEX by bibtex2html