The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Denis Poitrenaud: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  14. MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. [Citation Graph (, )][DBLP]


  15. On-the-fly Emptiness Check of Transition-Based Streett Automata. [Citation Graph (, )][DBLP]


  16. Complementary Formal Approaches for Dependability Analysis. [Citation Graph (, )][DBLP]


  17. Hierarchical Set Decision Diagrams and Regular Models. [Citation Graph (, )][DBLP]


  18. Recursive Petri nets. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.031secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002