Pierre Wolper

Available identifiers

zbMath Open wolper.pierreDBLPw/PierreWolperWikidataQ3387366 ScholiaQ3387366MaRDI QIDQ930284

List of research outcomes

Publication	Date of Publication	Type
Using partial orders for the efficient verification of deadlock freedom and safety properties	2024-04-29	Paper
An algorithmic approach for checking closure properties of Ω-regular languages	2023-06-28	Paper
Relative liveness and behavior abstraction (extended abstract)	2017-09-29	Paper
An effective decision procedure for linear arithmetic over the integers and reals	2017-07-12	Paper
On (Omega-)regular model checking	2015-09-17	Paper
Handling liveness properties in (\(\omega\)-)regular model checking	2013-10-02	Paper
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems	2013-08-05	Paper
Computer Aided Verification	2010-04-20	Paper
COMPUTING CONVEX HULLS BY AUTOMATA ITERATION	2009-08-21	Paper
Computing Convex Hulls by Automata Iteration	2009-02-12	Paper
An efficient automata approach to some problems on context-free grammars.	2008-06-27	Paper
An automata-theoretic approach to branching-time model checking	2008-05-05	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4809151	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4431336	2003-10-21	Paper
Module checking	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4547769	2002-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4508946	2002-07-14	Paper
https://portal.mardi4nfdi.de/entity/Q4539644	2002-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4518891	2001-02-05	Paper
Constraint-generating dependencies	1999-11-23	Paper
An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages	1999-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4219027	1999-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4223067	1999-01-03	Paper
Reasoning about infinite computations	1995-12-13	Paper
Handling infinite temporal data	1995-10-25	Paper
A partial approach to model checking	1994-06-19	Paper
Using partial orders for the efficient verification of deadlock freedom and safety properties	1993-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4037099	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4037388	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4023541	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3211248	1991-01-01	Paper
Automata-theoretic techniques for modal logics of programs	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3710510	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3341881	1984-01-01	Paper
Synthesis of Communicating Processes from Temporal Logic Specifications	1984-01-01	Paper
Temporal logic can be more expressive	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3948585	1982-01-01	Paper

Research outcomes over time

This page was built for person: Pierre Wolper