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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Denis Poitrenaud