Jean-Michel Couvreur
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
1992–2019
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | VECoS | Modeling Concurrent Behaviors as Words. | Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho |
| 2009 | ATVA | On-the-fly Emptiness Check of Transition-Based Streett Automata. | Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur |
| 2005 | FORTE | Hierarchical Decision Diagrams to Exploit Model Structure. | Jean-Michel Couvreur, Yann Thierry-Mieg |
| 2003 | LPAR | An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. | Jean-Michel Couvreur, Nasser Saheb, Grgoire Sutre |
| 1999 | FM | On-the-Fly Verification of Linear Temporal Logic. | Jean-Michel Couvreur |
| 1996 | FORTE | Model Checking Based on Occurrence Net Graph. | Jean-Michel Couvreur, Denis Poitrenaud |
| 1992 | ICDCS | Asynchronous Unison (Extended Abstract). | Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda |