Jean-Michel Couvreur

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