Karsten Wolf

Available identifiers

zbMath Open wolf.karstenMaRDI QIDQ1972350

List of research outcomes

Publication	Date of Publication	Type
Taking Some Burden Off an Explicit CTL Model Checker	2024-01-29	Paper
Siphons, traps and high-level nets with infinite color domains	2022-12-09	Paper
Skeleton Abstraction for Universal Temporal Properties	2022-10-31	Paper
Using approximation for the verification of token-scaling models	2022-08-11	Paper
Skeleton abstraction for universal temporal properties	2022-03-21	Paper
Solving finite-linear-path CTL-formulas using the CEGAR approach	2021-06-14	Paper
How Petri net theory serves Petri net model checking: a survey	2021-06-14	Paper
Synthesis for various Petri net classes with union/find	2020-01-24	Paper
Elementary net synthesis remains NP-complete even for extremely simple inputs	2019-12-18	Paper
Petri net synthesis with union/find	2019-12-18	Paper
Interleaving based model checking of concurrency and causality	2018-10-02	Paper
Model checking concurrency and causality	2018-08-20	Paper
Modeling and model checking web services	2013-09-25	Paper
Applying CEGAR to the Petri net state equation	2012-10-22	Paper
Stubborn sets for simple linear time properties	2012-09-04	Paper
Compact representations and efficient algorithms for operating guidelines	2012-07-04	Paper
Guaranteeing weak termination in service discovery	2012-07-04	Paper
Finding a witness path for non-liveness in free-choice nets	2011-06-29	Paper
Applying CEGAR to the Petri net state equation	2011-05-19	Paper
New algorithms for deciding the siphon-trap property	2010-06-22	Paper
Can I find a partner? Undecidability of partner existence for open nets	2010-06-09	Paper
Separability in Conflict-Free Petri Nets	2010-02-02	Paper
Does My Service Have Partners?	2009-04-24	Paper
On the Step Explosion Problem	2009-04-02	Paper
Operating Guidelines for Finite-State Services	2009-03-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Question-guided stubborn set methods for state properties	2007-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q4461960	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4417950	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2766586	2002-06-17	Paper
Narrowing Petri net state spaces using the state equation	2002-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4518902	2000-12-03	Paper
How to calculate symmetries of Petri nets	2000-04-26	Paper

Research outcomes over time

This page was built for person: Karsten Wolf