Jean-Michel Couvreur - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2019

Modeling Concurrent Behaviors as WordsYohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho. vecos 2019: 1-15 [doi]

2017

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition AttributesJean-Michel Couvreur, Joaquin Ezpeleta. simpda 2017: 23-37 [doi]

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition AttributesJean-Michel Couvreur, Joaquín Ezpeleta. simpda 2019: 89-104 [doi]

2013

Branching Processes of General Petri NetsJean-Michel Couvreur, Denis Poitrenaud, Pascal Weil. FUIN, 122(1-2):31-58, 2013. [doi]

2011

Functional term rewriting systems towards symbolic model-checkingYohan Boichut, Jean-Michel Couvreur, Duy-Tung Nguyen. ijccbs, 2(3/4):378-408, 2011. [doi]

Branching Processes of General Petri NetsJean-Michel Couvreur, Denis Poitrenaud, Pascal Weil. apn 2011: 129-148 [doi]

2009

On-the-fly Emptiness Check of Transition-Based Streett AutomataAlexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur. ATVA 2009: 213-227 [doi]

2005

On the Equivalence Between Liveness and Deadlock-Freeness in Petri NetsKamel Barkaoui, Jean-Michel Couvreur, Kais Klai. apn 2005: 90-107 [doi]

Hierarchical Decision Diagrams to Exploit Model StructureJean-Michel Couvreur, Yann Thierry-Mieg. forte 2005: 443-457 [doi]

On-the-Fly Emptiness Checks for Generalized Büchi AutomataJean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud. spin 2005: 169-184 [doi]

2004

Modeling and verifying behavioral aspectsFrançois Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre. In Fabrice Kordon, Michel Lemoine, editors, Formal Methods for Embedded Distributed Systems - How to Master the Complexity. pages 171-211, Kluwer, 2004. [doi]

A BDD-Like Implementation of an Automata PackageJean-Michel Couvreur. wia 2004: 310-311 [doi]

2003

An Optimal Automata Approach to LTL Model Checking of Probabilistic SystemsJean-Michel Couvreur, Nasser Saheb, Grégoire Sutre. lpar 2003: 361-375 [doi]

2002

Data Decision Diagrams for Petri Net AnalysisJean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier. apn 2002: 101-120 [doi]

2001

Unfolding of Products of Symmetrical Petri NetsJean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud. apn 2001: 121-143 [doi]

2000

Designing a LTL Model-Checker Based on Unfolding GraphsJean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud. apn 2000: 123-145 [doi]

1999

Detection of Illegal Behaviors Based on UnfoldingsJean-Michel Couvreur, Denis Poitrenaud. apn 1999: 364-383 [doi]

On-the-Fly Verification of Linear Temporal LogicJean-Michel Couvreur. FM 1999: 253-271 [doi]

1996

Model Checking Based on Occurrence Net GraphJean-Michel Couvreur, Denis Poitrenaud. forte 1996: 380-395

1995

On Liveness in Extended non Self-Controlling NetsKamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet. apn 1995: 25-44

1994

Specification of Compositional Active Objects Using Modular Colored NetsHaféda Bachatène, Jean-Michel Couvreur, Pascal Estraillier. apdc 1994: 205-214

New Structural Invariants for Petri Nets AnalysisJean-Michel Couvreur, Emmanuel Paviot-Adet. apn 1994: 199-218

1992

Asynchronous Unison (Extended Abstract)Jean-Michel Couvreur, Nissim Francez, Mohamed G. Gouda. icdcs 1992: 486-493

1991

Generative Families of Positive Invariants in Coloured Nets Sub-ClassesJean-Michel Couvreur, Serge Haddad, J. F. Peyre. apn 1993: 51-70

A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri NetsJoaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva. apn 1993: 126-147

1989

Linear invariants in commutative high level netsJean-Michel Couvreur, Javier Martínez. apn 1991: 146-164

Sign in or sign up to see more results.

runs on WebDSL