Pierre Wolper

From MaRDI portal
Person:930284

Available identifiers

zbMath Open wolper.pierreWikidataQ3387366 ScholiaQ3387366MaRDI QIDQ930284

List of research outcomes

PublicationDate of PublicationType
An algorithmic approach for checking closure properties of Ω-regular languages2023-06-28Paper
Relative liveness and behavior abstraction (extended abstract)2017-09-29Paper
An effective decision procedure for linear arithmetic over the integers and reals2017-07-12Paper
On (Omega-)regular model checking2015-09-17Paper
https://portal.mardi4nfdi.de/entity/Q28510672013-10-02Paper
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems2013-08-05Paper
Computer Aided Verification2010-04-20Paper
COMPUTING CONVEX HULLS BY AUTOMATA ITERATION2009-08-21Paper
Computing Convex Hulls by Automata Iteration2009-02-12Paper
An efficient automata approach to some problems on context-free grammars.2008-06-27Paper
An automata-theoretic approach to branching-time model checking2008-05-05Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
https://portal.mardi4nfdi.de/entity/Q48091512004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44313362003-10-21Paper
Module checking2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45477692002-08-21Paper
https://portal.mardi4nfdi.de/entity/Q45089462002-07-14Paper
https://portal.mardi4nfdi.de/entity/Q45396442002-07-10Paper
https://portal.mardi4nfdi.de/entity/Q45188912001-02-05Paper
Constraint-generating dependencies1999-11-23Paper
An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages1999-03-30Paper
https://portal.mardi4nfdi.de/entity/Q42190271999-02-14Paper
https://portal.mardi4nfdi.de/entity/Q42230671999-01-03Paper
Reasoning about infinite computations1995-12-13Paper
Handling infinite temporal data1995-10-25Paper
A partial approach to model checking1994-06-19Paper
Using partial orders for the efficient verification of deadlock freedom and safety properties1993-08-17Paper
https://portal.mardi4nfdi.de/entity/Q40370991993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40373881993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40235411993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q32112481991-01-01Paper
Automata-theoretic techniques for modal logics of programs1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37105101985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33418811984-01-01Paper
Synthesis of Communicating Processes from Temporal Logic Specifications1984-01-01Paper
Temporal logic can be more expressive1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39485851982-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Pierre Wolper