Denis Poitrenaud

According to our database, Denis Poitrenaud authored at least 33 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A model-checker exploiting structural reductions even with stutter sensitive LTL.

Yann Thierry-Mieg, Etienne Renault, Emmanuel Paviot-Adet, Denis Poitrenaud

Sci. Comput. Program., 2024

2022

Structural Reductions and Stutter Sensitive Properties.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

CoRR, 2022

LTL Under Reductions with Weaker Conditions Than Stutter Invariance.

Emmanuel Paviot-Adet, Denis Poitrenaud, Etienne Renault, Yann Thierry-Mieg

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2019

Combining Parallel Emptiness Checks with Partial Order Reductions.

Denis Poitrenaud, Etienne Renault

Proceedings of the Formal Methods and Software Engineering, 2019

2017

Variations on parallel explicit emptiness checks for generalized Büchi automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Int. J. Softw. Tools Technol. Transf., 2017

2016

Heuristics for Checking Liveness Properties with Partial Order Reductions.

Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Parallel Explicit Model Checking for Generalized Büchi Automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013

Branching Processes of General Petri Nets.

Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil

Fundam. Informaticae, 2013

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Three SCC-Based Emptiness Checks for Generalized Büchi Automata.

Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011

Feasibility analysis for robustness quantification by symbolic model checking.

Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès

Formal Methods Syst. Des., 2011

Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking

Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg

CoRR, 2011

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking.

Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg

Proceedings of the Automated Technology for Verification and Analysis, 2011

2009

Hierarchical Set Decision Diagrams and Regular Models.

Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Complementary Formal Approaches for Dependability Analysis.

Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud

Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009

On-the-fly Emptiness Check of Transition-Based Streett Automata.

Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.

Kais Klai, Denis Poitrenaud

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Recursive Petri nets.

Serge Haddad, Denis Poitrenaud

Acta Informatica, 2007

2005

On-the-Fly Emptiness Checks for Generalized Büchi Automata.

Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud

Proceedings of the Model Checking Software, 2005

2004

SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata.

Alexandre Duret-Lutz, Denis Poitrenaud

Proceedings of the 12th International Workshop on Modeling, 2004

A Symbolic Symbolic State Space Representation.

Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

Modeling and verifying behavioral aspects.

François Breant, Jean-Michel Couvreur, Frédéric Gilliers, Fabrice Kordon, Isabelle Mounier, Emmanuel Paviot-Adet, Denis Poitrenaud, Dan Marius Regep, Grégoire Sutre

Proceedings of the Formal Methods for Embedded Distributed Systems, 2004

2002

Data Decision Diagrams for Petri Net Analysis.

Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier

Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001

The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock.

Luciana Bezerra Arantes, Denis Poitrenaud, Pierre Sens, Bertil Folliot

Parallel Process. Lett., 2001

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.

Serge Haddad, Denis Poitrenaud

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Unfolding of Products of Symmetrical Petri Nets.

Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Pre- and Post-agglomerations for LTL Model Checking.

Denis Poitrenaud, Jean-François Pradat-Peyre

Proceedings of the Application and Theory of Petri Nets 2000, 2000

Designing a LTL Model-Checker Based on Unfolding Graphs.

Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 2000, 2000

Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules.

Sabine Boufenara, Zizette Boufriche-Boufaïda, Mahmoud Boufaïda, Denis Poitrenaud

Proceedings of the Advances in Information Systems, First International Conference, 2000

1999

Theoretical Aspects of Recursive Petri Nets.

Serge Haddad, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 1999, 1999

Detection of Illegal Behaviors Based on Unfoldings.

Jean-Michel Couvreur, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1996

Model Checking Based on Occurrence Net Graph.

Jean-Michel Couvreur, Denis Poitrenaud

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets.

Robert Brgan, Denis Poitrenaud

Proceedings of the Application and Theory of Petri Nets 1995, 1995