| On-the-fly verification of linear temporal logic JM Couvreur International Symposium on Formal Methods, 253-271, 1999 | 252 | 1999 |
| A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets J Ezpeleta, JM Couvreur, M Silva Advances in Petri Nets 1993 12, 126-147, 1993 | 137 | 1993 |
| Data decision diagrams for Petri net analysis JM Couvreur, E Encrenaz, E Paviot-Adet, D Poitrenaud, PA Wacrenier Application and Theory of Petri Nets 2002: 23rd International Conference …, 2002 | 115 | 2002 |
| Asynchronous unison JM Couvreur, N Francez, MG Gouda ICDCS 92, 486-493, 1992 | 109 | 1992 |
| Hierarchical decision diagrams to exploit model structure JM Couvreur, Y Thierry-Mieg International Conference on Formal Techniques for Networked and Distributed …, 2005 | 100 | 2005 |
| On-the-fly emptiness checks for generalized Büchi automata JM Couvreur, A Duret-Lutz, D Poitrenaud International SPIN Workshop on Model Checking of Software, 169-184, 2005 | 79 | 2005 |
| An optimal automata approach to LTL model checking of probabilistic systems JM Couvreur, N Saheb, G Sutre Logic for Programming, Artificial Intelligence, and Reasoning: 10th …, 2003 | 73 | 2003 |
| On liveness in extended non self-controlling nets K Barkaoui, JM Couvreur, C Dutheillet Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 72 | 1995 |
| On the equivalence between liveness and deadlock-freeness in Petri nets K Barkaoui, JM Couvreur, K Klai Applications and Theory of Petri Nets 2005: 26th International Conference …, 2005 | 53 | 2005 |
| The general computation of flows for coloured nets JM Couvreur proc of the 11th International Conference on Application and Theory of Petri …, 1990 | 31 | 1990 |
| Towards a general and powerful computation of flows for parametrized coloured nets S Haddad, JM Couvreur 9th European Workshop on Application and Theory of Petri Nets 2, 1988 | 31 | 1988 |
| Linear invariants in commutative high level nets JM Couvreur, J Martínez Advances in Petri Nets 1990 10, 146-164, 1991 | 27 | 1991 |
| A BDD-like implementation of an automata package JM Couvreur Implementation and Application of Automata: 9th International Conference …, 2005 | 25 | 2005 |
| Unfolding of products of symmetrical Petri nets JM Couvreur, S Grivet, D Poitrenaud Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001 | 25 | 2001 |
| New structural invariants for Petri nets analysis JM Couvreur, E Paviot-Adet Application and Theory of Petri Nets 1994: 15th International Conference …, 1994 | 22 | 1994 |
| On-the-fly emptiness check of transition-based Streett automata A Duret-Lutz, D Poitrenaud, JM Couvreur International Symposium on Automated Technology for Verification and …, 2009 | 21 | 2009 |
| Designing a LTL model-checker based on unfolding graphs JM Couvreur, S Grivet, D Poitrenaud Application and Theory of Petri Nets 2000: 21st International Conference …, 2000 | 19 | 2000 |
| Un point de vue symbolique sur la logique temporelle linéaire JM Couvreur Actes du Colloque LaCIM 27, 131-140, 2000 | 17 | 2000 |
| Branching processes of general petri nets JM Couvreur, D Poitrenaud, P Weil Applications and Theory of Petri Nets: 32nd International Conference, PETRI …, 2011 | 11 | 2011 |
| A reference model for modular colored Petri nets H Bachatène, JM Couvreur Proceedings of IEEE Systems Man and Cybernetics Conference-SMC 2, 724-729, 1993 | 11 | 1993 |
