Denis Poitrenaud

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
LTL under reductions with weaker conditions than stutter invariance (available as arXiv preprint)	2022-08-19	Paper
An efficient algorithm for the computation of stubborn sets of well formed Petri nets Lecture Notes in Computer Science	2022-08-16	Paper
Parallel Explicit Model Checking for Generalized Büchi Automata Tools and Algorithms for the Construction and Analysis of Systems	2019-09-17	Paper
Three SCC-based emptiness checks for generalized Büchi automata Logic for Programming, Artificial Intelligence, and Reasoning	2014-01-17	Paper
Strength-based decomposition of the property Büchi automaton for faster model checking Tools and Algorithms for the Construction and Analysis of Systems	2013-08-05	Paper
Branching processes of general Petri nets Fundamenta Informaticae	2013-04-18	Paper
Feasibility analysis for robustness quantification by symbolic model checking Formal Methods in System Design	2012-09-27	Paper
Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking Automated Technology for Verification and Analysis	2011-10-07	Paper
Branching Processes of General Petri Nets Applications and Theory of Petri Nets	2011-06-29	Paper
On-the-fly emptiness check of transition-based Streett automata Automated Technology for Verification and Analysis	2009-12-01	Paper
Hierarchical Set Decision Diagrams and Regular Models Tools and Algorithms for the Construction and Analysis of Systems	2009-03-31	Paper
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs Applications and Theory of Petri Nets	2008-07-03	Paper
Recursive Petri nets Acta Informatica	2007-12-10	Paper
Model Checking Software Lecture Notes in Computer Science	2006-11-01	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
scientific article; zbMATH DE number 2088658 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2080568 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 1836397 (Why is no real title available?)	2003-04-06	Paper
scientific article; zbMATH DE number 1756007 (Why is no real title available?)	2002-06-16	Paper
scientific article; zbMATH DE number 1696453 (Why is no real title available?)	2002-06-13	Paper
scientific article; zbMATH DE number 1696466 (Why is no real title available?)	2002-06-13	Paper
scientific article; zbMATH DE number 1341756 (Why is no real title available?)	1999-09-22	Paper

Research outcomes over time

This page was built for person: Denis Poitrenaud