Denis Poitrenaud

According to our database1, Denis Poitrenaud
  • authored at least 28 papers between 1995 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Heuristics for Checking Liveness Properties with Partial Order Reductions.
Proceedings of the Automated Technology for Verification and Analysis, 2016

2015
Parallel Explicit Model Checking for Generalized Büchi Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2013
Branching Processes of General Petri Nets.
Fundam. Inform., 2013

Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Three SCC-Based Emptiness Checks for Generalized Büchi Automata.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

2011
Feasibility analysis for robustness quantification by symbolic model checking.
Formal Methods in System Design, 2011

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

Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2011

Branching Processes of General Petri Nets.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2009
Hierarchical Set Decision Diagrams and Regular Models.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Complementary Formal Approaches for Dependability Analysis.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.
Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007
Recursive Petri nets.
Acta Inf., 2007

2005
On-the-Fly Emptiness Checks for Generalized Büchi Automata.
Proceedings of the Model Checking Software, 2005

2004
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata.
Proceedings of the 12th International Workshop on Modeling, 2004

A Symbolic Symbolic State Space Representation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2002
Data Decision Diagrams for Petri Net Analysis.
Proceedings of the Applications and Theory of Petri Nets 2002, 2002

2001
The Barrier-Lock Clock: A Scalable Synchronization-Oriented Logical Clock.
Parallel Processing Letters, 2001

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Unfolding of Products of Symmetrical Petri Nets.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000
Pre- and Post-agglomerations for LTL Model Checking.
ICATPN, 2000

Designing a LTL Model-Checker Based on Unfolding Graphs.
ICATPN, 2000

Multimedia Information Systems: Towards a Design Methodology Based on Spatio-Temporal Relations, Petri Nets, and ECA Rules.
Proceedings of the Advances in Information Systems, First International Conference, 2000

1999
Theoretical Aspects of Recursive Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

Detection of Illegal Behaviors Based on Unfoldings.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1996
Model Checking Based on Occurrence Net Graph.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1995, 1995


  Loading...