Denis Poitrenaud

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 8

Top Topics

Lattice Structure

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud
A model-checker exploiting structural reductions even with stutter sensitive LTL. Sci. Comput. Program. 235 (2024)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
Structural Reductions and Stutter Sensitive Properties. CoRR (2022)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
LTL Under Reductions with Weaker Conditions Than Stutter Invariance. FORTE (2022)
Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg
LTL under reductions with weaker conditions than stutter-invariance. CoRR (2021)
Denis Poitrenaud, Etienne Renault
Combining Parallel Emptiness Checks with Partial Order Reductions. ICFEM (2019)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Variations on parallel explicit emptiness checks for generalized Büchi automata. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault
Heuristics for Checking Liveness Properties with Partial Order Reductions. ATVA (2016)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Parallel Explicit Model Checking for Generalized Büchi Automata. TACAS (2015)
Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil
Branching Processes of General Petri Nets. Fundam. Informaticae 122 (1-2) (2013)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Three SCC-Based Emptiness Checks for Generalized Büchi Automata. LPAR (2013)
Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud
Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking. TACAS (2013)
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. ATVA (2011)
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking CoRR (2011)
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès
Feasibility analysis for robustness quantification by symbolic model checking. Formal Methods Syst. Des. 39 (2) (2011)
Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil
Branching Processes of General Petri Nets. Petri Nets (2011)
Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon
Hierarchical Set Decision Diagrams and Regular Models. TACAS (2009)
Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur
On-the-fly Emptiness Check of Transition-Based Streett Automata. ATVA (2009)
Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud
Complementary Formal Approaches for Dependability Analysis. DFT (2009)
Kais Klai, Denis Poitrenaud
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. Petri Nets (2008)
Serge Haddad, Denis Poitrenaud
Recursive Petri nets. Acta Informatica 44 (7-8) (2007)
Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud
On-the-Fly Emptiness Checks for Generalized Büchi Automata. SPIN (2005)
Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
A Symbolic Symbolic State Space Representation. FORTE (2004)
Alexandre Duret-Lutz, Denis Poitrenaud
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata. MASCOTS (2004)
Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier
Data Decision Diagrams for Petri Net Analysis. ICATPN (2002)
Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
Unfolding of Products of Symmetrical Petri Nets. ICATPN (2001)
Luciana Bezerra Arantes, Denis Poitrenaud, Pierre Sens, Bertil Folliot
The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock. Parallel Process. Lett. 11 (1) (2001)
Serge Haddad, Denis Poitrenaud
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. TIME (2001)
Sabine Boufenara, Zizette Boufriche-Boufaïda, Mahmoud Boufaïda, Denis Poitrenaud
Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules. ADVIS (2000)
Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud
Designing a LTL Model-Checker Based on Unfolding Graphs. ICATPN (2000)
Denis Poitrenaud, Jean-François Pradat-Peyre
Pre- and Post-agglomerations for LTL Model Checking. ICATPN (2000)
Jean-Michel Couvreur, Denis Poitrenaud
Detection of Illegal Behaviors Based on Unfoldings. ICATPN (1999)
Serge Haddad, Denis Poitrenaud
Theoretical Aspects of Recursive Petri Nets. ICATPN (1999)
Jean-Michel Couvreur, Denis Poitrenaud
Model Checking Based on Occurrence Net Graph. FORTE (1996)
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)