| 2009 |
|---|
| 16 | EE | Yann Thierry-Mieg,
Denis Poitrenaud,
Alexandre Hamez,
Fabrice Kordon:
Hierarchical Set Decision Diagrams and Regular Models.
TACAS 2009: 1-15 |
| 2008 |
|---|
| 15 | EE | Kais Klai,
Denis Poitrenaud:
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.
Petri Nets 2008: 288-306 |
| 2007 |
|---|
| 14 | EE | Serge Haddad,
Denis Poitrenaud:
Recursive Petri nets.
Acta Inf. 44(7-8): 463-508 (2007) |
| 2005 |
|---|
| 13 | EE | Jean-Michel Couvreur,
Alexandre Duret-Lutz,
Denis Poitrenaud:
On-the-Fly Emptiness Checks for Generalized Büchi Automata.
SPIN 2005: 169-184 |
| 2004 |
|---|
| 12 | EE | Yann Thierry-Mieg,
Jean-Michel Ilié,
Denis Poitrenaud:
A Symbolic Symbolic State Space Representation.
FORTE 2004: 276-291 |
| 11 | EE | Alexandre Duret-Lutz,
Denis Poitrenaud:
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata.
MASCOTS 2004: 76-83 |
| 2002 |
|---|
| 10 | EE | Jean-Michel Couvreur,
Emmanuelle Encrenaz,
Emmanuel Paviot-Adet,
Denis Poitrenaud,
Pierre-André Wacrenier:
Data Decision Diagrams for Petri Net Analysis.
ICATPN 2002: 101-120 |
| 2001 |
|---|
| 9 | EE | Jean-Michel Couvreur,
Sébastien Grivet,
Denis Poitrenaud:
Unfolding of Products of Symmetrical Petri Nets.
ICATPN 2001: 121-143 |
| 8 | EE | Serge Haddad,
Denis Poitrenaud:
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.
TIME 2001: 198-205 |
| 7 | | Luciana Bezerra Arantes,
Denis Poitrenaud,
Pierre Sens,
Bertil Folliot:
The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock.
Parallel Processing Letters 11(1): 65-76 (2001) |
| 2000 |
|---|
| 6 | EE | Jean-Michel Couvreur,
Sébastien Grivet,
Denis Poitrenaud:
Designing a LTL Model-Checker Based on Unfolding Graphs.
ICATPN 2000: 123-145 |
| 5 | EE | Denis Poitrenaud,
Jean-François Pradat-Peyre:
Pre- and Post-agglomerations for LTL Model Checking.
ICATPN 2000: 387-408 |
| 1999 |
|---|
| 4 | EE | Serge Haddad,
Denis Poitrenaud:
Theoretical Aspects of Recursive Petri Nets.
ICATPN 1999: 228-247 |
| 3 | EE | Jean-Michel Couvreur,
Denis Poitrenaud:
Detection of Illegal Behaviors Based on Unfoldings.
ICATPN 1999: 364-383 |
| 1996 |
|---|
| 2 | | Jean-Michel Couvreur,
Denis Poitrenaud:
Model Checking Based on Occurrence Net Graph.
FORTE 1996: 380-395 |
| 1995 |
|---|
| 1 | | Robert Brgan,
Denis Poitrenaud:
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets.
Application and Theory of Petri Nets 1995: 121-140 |
