Linear invariants in commutative high level nets. - Jean-Michel Couvreur; Javier Martínez (Applications and Theory of Petri Nets, 1989)

Generative Families of Positive Invariants in Coloured Nets Sub-Classes. - Jean-Michel Couvreur; Serge Haddad; Jean-François Pradat-Peyre (Applications and Theory of Petri Nets, 1991)

A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. - Joaquin Ezpeleta; Jean-Michel Couvreur; Manuel Silva Suárez (Applications and Theory of Petri Nets, 1991)

Asynchronous Unison (Extended Abstract). - Jean-Michel Couvreur; Nissim Francez; Mohamed G. Gouda (ICDCS, 1992)

Specification of Compositional Active Objects Using Modular Colored Nets. - Haféda Bachatène; Jean-Michel Couvreur; Pascal Estraillier (Applications in Parallel and Distributed Computing, 1994)

New Structural Invariants for Petri Nets Analysis. - Jean-Michel Couvreur; Emmanuel Paviot-Adet (Application and Theory of Petri Nets, 1994)

On Liveness in Extended non Self-Controlling Nets. - Kamel Barkaoui; Jean-Michel Couvreur; Claude Dutheillet (Application and Theory of Petri Nets, 1995)

Model Checking Based on Occurrence Net Graph. - Jean-Michel Couvreur; Denis Poitrenaud (FORTE, 1996)

Detection of Illegal Behaviors Based on Unfoldings. - Jean-Michel Couvreur; Denis Poitrenaud (ICATPN, 1999)

On-the-Fly Verification of Linear Temporal Logic. - Jean-Michel Couvreur (World Congress on Formal Methods, 1999)

Designing a LTL Model-Checker Based on Unfolding Graphs. - Jean-Michel Couvreur; Sébastien Grivet; Denis Poitrenaud (ICATPN, 2000)

Unfolding of Products of Symmetrical Petri Nets. - Jean-Michel Couvreur; Sébastien Grivet; Denis Poitrenaud (ICATPN, 2001)

Data Decision Diagrams for Petri Net Analysis. - Jean-Michel Couvreur; Emmanuelle Encrenaz; Emmanuel Paviot-Adet; Denis Poitrenaud; Pierre-André Wacrenier (ICATPN, 2002)

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. - Jean-Michel Couvreur; Nasser Saheb; Grégoire Sutre (LPAR, 2003)

Modeling and verifying behavioral aspects. - François Breant; Jean-Michel Couvreur; Frédéric Gilliers; Fabrice Kordon; Isabelle Mounier; Emmanuel Paviot-Adet; Denis Poitrenaud; Dan Marius Regep; Grégoire Sutre (Formal Methods for Embedded Distributed Systems, 2004)

A BDD-Like Implementation of an Automata Package. - Jean-Michel Couvreur (CIAA, 2004)

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. - Kamel Barkaoui; Jean-Michel Couvreur; Kais Klai (ICATPN, 2005)

Hierarchical Decision Diagrams to Exploit Model Structure. - Jean-Michel Couvreur; Yann Thierry-Mieg (FORTE, 2005)

On-the-Fly Emptiness Checks for Generalized Büchi Automata. - Jean-Michel Couvreur; Alexandre Duret-Lutz; Denis Poitrenaud (SPIN, 2005)

On-the-fly Emptiness Check of Transition-Based Streett Automata. - Alexandre Duret-Lutz; Denis Poitrenaud; Jean-Michel Couvreur (ATVA, 2009)

Functional term rewriting systems towards symbolic model-checking. - Yohan Boichut; Jean-Michel Couvreur; Duy-Tùng Nguyên (Int. J. Crit. Comput. Based Syst., 2011)

Branching Processes of General Petri Nets. - Jean-Michel Couvreur; Denis Poitrenaud; Pascal Weil (Fundam. Informaticae, 2013)

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes. - Jean-Michel Couvreur; Joaquin Ezpeleta (SIMPDA, 2017)

Modeling Concurrent Behaviors as Words. - Yohan Boichut; Jean-Michel Couvreur; Xavier Ferry; Mohamadou Tafsir Sakho (VECoS, 2019)

Addition in Dumont-Thomas Numeration Systems in Theory and Practice. - Olivier Carton; Jean-Michel Couvreur; Martin Delacourt; Nicolas Ollinger (CoRR, 2024)

Linear Recurrence Sequence Automata and the Addition of Abstract Numeration Systems. - Olivier Carton; Jean-Michel Couvreur; Martin Delacourt; Nicolas Ollinger (WORDS, 2025)

Effective Computation of Generalized Abelian Complexity for Pisot Type Substitutive Sequences. - Jean-Michel Couvreur; Martin Delacourt; Nicolas Ollinger; Pierre Popoli; Jeffrey O. Shallit; Manon Stipulanti (CoRR, 2025)