Denis Poitrenaud

Available identifiers

zbMath Open poitrenaud.denisMaRDI QIDQ453478

List of research outcomes

Publication	Date of Publication	Type
LTL under reductions with weaker conditions than stutter invariance	2022-08-19	Paper
An efficient algorithm for the computation of stubborn sets of well formed Petri nets	2022-08-16	Paper
Parallel Explicit Model Checking for Generalized Büchi Automata	2019-09-17	Paper
Three SCC-based emptiness checks for generalized Büchi automata	2014-01-17	Paper
Strength-based decomposition of the property Büchi automaton for faster model checking	2013-08-05	Paper
Branching processes of general Petri nets	2013-04-18	Paper
Feasibility analysis for robustness quantification by symbolic model checking	2012-09-27	Paper
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking	2011-10-07	Paper
Branching Processes of General Petri Nets	2011-06-29	Paper
On-the-fly emptiness check of transition-based Streett automata	2009-12-01	Paper
Hierarchical Set Decision Diagrams and Regular Models	2009-03-31	Paper
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs	2008-07-03	Paper
Recursive Petri nets	2007-12-10	Paper
Model Checking Software	2006-11-01	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q3045255	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4473410	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4782078	2003-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4535793	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q2766558	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q2766576	2002-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4263301	1999-09-22	Paper

Research outcomes over time

This page was built for person: Denis Poitrenaud