Jean-Michel Couvreur

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 4

Top Topics

Verification Method

Search Strategies

Top Venues

SIMPDA (Revised Selected Papers)

Publications

Olivier Carton, Jean-Michel Couvreur, Martin Delacourt, Nicolas Ollinger
Addition in Dumont-Thomas Numeration Systems in Theory and Practice. CoRR (2024)
Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho
Modeling Concurrent Behaviors as Words. VECoS (2019)
Jean-Michel Couvreur, Joaquín Ezpeleta
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes. SIMPDA (Revised Selected Papers) (2017)
Jean-Michel Couvreur, Joaquin Ezpeleta
A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes. SIMPDA (2017)
Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil
Branching Processes of General Petri Nets. Fundam. Informaticae 122 (1-2) (2013)
Yohan Boichut, Jean-Michel Couvreur, Duy-Tùng Nguyên
Functional term rewriting systems towards symbolic model-checking. Int. J. Crit. Comput. Based Syst. 2 (3/4) (2011)
Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil
Branching Processes of General Petri Nets. Petri Nets (2011)
Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur
On-the-fly Emptiness Check of Transition-Based Streett Automata. ATVA (2009)
Jean-Michel Couvreur, Yann Thierry-Mieg
Hierarchical Decision Diagrams to Exploit Model Structure. FORTE (2005)
Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud
On-the-Fly Emptiness Checks for Generalized Büchi Automata. SPIN (2005)
Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. ICATPN (2005)
Jean-Michel Couvreur
A BDD-Like Implementation of an Automata Package. CIAA (2004)
Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre
An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. LPAR (2003)
Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier
Data Decision Diagrams for Petri Net Analysis. ICATPN (2002)
Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
Unfolding of Products of Symmetrical Petri Nets. ICATPN (2001)
Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN (2000)
Jean-Michel Couvreur, Denis Poitrenaud
Detection of Illegal Behaviors Based on Unfoldings. ICATPN (1999)
Jean-Michel Couvreur
On-the-Fly Verification of Linear Temporal Logic. World Congress on Formal Methods (1999)
Jean-Michel Couvreur, Denis Poitrenaud
Model Checking Based on Occurrence Net Graph. FORTE (1996)
Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet
On Liveness in Extended non Self-Controlling Nets. Application and Theory of Petri Nets (1995)
Haféda Bachatène, Jean-Michel Couvreur, Pascal Estraillier
Specification of Compositional Active Objects Using Modular Colored Nets. Applications in Parallel and Distributed Computing (1994)
Jean-Michel Couvreur, Emmanuel Paviot-Adet
New Structural Invariants for Petri Nets Analysis. Application and Theory of Petri Nets (1994)
Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda
Asynchronous Unison (Extended Abstract). ICDCS (1992)
Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre
Generative Families of Positive Invariants in Coloured Nets Sub-Classes. Applications and Theory of Petri Nets (1991)
Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. Applications and Theory of Petri Nets (1991)
Jean-Michel Couvreur, Javier Martínez
Linear invariants in commutative high level nets. Applications and Theory of Petri Nets (1989)