Jean-Michel Couvreur

According to our database, Jean-Michel Couvreur authored at least 25 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Addition in Dumont-Thomas Numeration Systems in Theory and Practice.

Olivier Carton, Jean-Michel Couvreur, Martin Delacourt, Nicolas Ollinger

CoRR, 2024

2019

Modeling Concurrent Behaviors as Words.

Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

2017

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes.

Jean-Michel Couvreur, Joaquin Ezpeleta

Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), 2017

2013

Branching Processes of General Petri Nets.

Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil

Fundam. Informaticae, 2013

2011

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

2009

On-the-fly Emptiness Check of Transition-Based Streett Automata.

Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur

Proceedings of the Automated Technology for Verification and Analysis, 2009

2005

On-the-Fly Emptiness Checks for Generalized Büchi Automata.

Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud

Proceedings of the Model Checking Software, 2005

Hierarchical Decision Diagrams to Exploit Model Structure.

Jean-Michel Couvreur, Yann Thierry-Mieg

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.

Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

A BDD-Like Implementation of an Automata Package.

Jean-Michel Couvreur

Proceedings of the Implementation and Application of Automata, 2004

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

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems.

Jean-Michel Couvreur, Nasser Saheb, Grégoire Sutre

Proceedings of the Logic for Programming, 2003

2002

Data Decision Diagrams for Petri Net Analysis.

Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

Unfolding of Products of Symmetrical Petri Nets.

Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Designing a LTL Model-Checker Based on Unfolding Graphs.

Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

On-the-Fly Verification of Linear Temporal Logic.

Jean-Michel Couvreur

Proceedings of the FM'99 - Formal Methods, 1999

Detection of Illegal Behaviors Based on Unfoldings.

Jean-Michel Couvreur, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1996

Model Checking Based on Occurrence Net Graph.

Jean-Michel Couvreur, Denis Poitrenaud

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

On Liveness in Extended non Self-Controlling Nets.

Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet

Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994

New Structural Invariants for Petri Nets Analysis.

Jean-Michel Couvreur, Emmanuel Paviot-Adet

Proceedings of the Application and Theory of Petri Nets 1994, 1994

Specification of Compositional Active Objects Using Modular Colored Nets.

Haféda Bachatène, Jean-Michel Couvreur, Pascal Estraillier

Proceedings of the Applications in Parallel and Distributed Computing, 1994

1992

Asynchronous Unison (Extended Abstract).

Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

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

Proceedings of the Advances in Petri Nets 1993, 1991

Generative Families of Positive Invariants in Coloured Nets Sub-Classes.

Jean-Michel Couvreur, Serge Haddad, Jean-François Pradat-Peyre

Proceedings of the Advances in Petri Nets 1993, 1991

1989

Linear invariants in commutative high level nets.

Jean-Michel Couvreur, Javier Martínez

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989