Denis Poitrenaud

38 papers A 3B 8C 5Journal 11Unranked 10

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