Jean-Michel Couvreur

According to our database1, Jean-Michel Couvreur authored at least 24 papers between 1989 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Modeling Concurrent Behaviors as Words.
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.
Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), 2017

2013
Branching Processes of General Petri Nets.
Fundam. Informaticae, 2013

2011
Functional term rewriting systems towards symbolic model-checking.
Int. J. Crit. Comput. Based Syst., 2011

2009
On-the-fly Emptiness Check of Transition-Based Streett Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2005
On-the-Fly Emptiness Checks for Generalized Büchi Automata.
Proceedings of the Model Checking Software, 2005

Hierarchical Decision Diagrams to Exploit Model Structure.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
A BDD-Like Implementation of an Automata Package.
Proceedings of the Implementation and Application of Automata, 2004

Modeling and verifying behavioral aspects.
Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2003
An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems.
Proceedings of the Logic for Programming, 2003

2002
Data Decision Diagrams for Petri Net Analysis.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
Unfolding of Products of Symmetrical Petri Nets.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000
Designing a LTL Model-Checker Based on Unfolding Graphs.
Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999
On-the-Fly Verification of Linear Temporal Logic.
Proceedings of the FM'99 - Formal Methods, 1999

Detection of Illegal Behaviors Based on Unfoldings.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1996
Model Checking Based on Occurrence Net Graph.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
On Liveness in Extended non Self-Controlling Nets.
Proceedings of the Application and Theory of Petri Nets 1995, 1995

1994
New Structural Invariants for Petri Nets Analysis.
Proceedings of the Application and Theory of Petri Nets 1994, 1994

Specification of Compositional Active Objects Using Modular Colored Nets.
Proceedings of the Applications in Parallel and Distributed Computing, 1994

1992
Asynchronous Unison (Extended Abstract).
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.
Proceedings of the Advances in Petri Nets 1993, 1991

Generative Families of Positive Invariants in Coloured Nets Sub-Classes.
Proceedings of the Advances in Petri Nets 1993, 1991

1989
Linear invariants in commutative high level nets.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989


  Loading...