Karsten Schmidt

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
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
https://portal.mardi4nfdi.de/entity/Q2848067	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
https://portal.mardi4nfdi.de/entity/Q2775869	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

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: Karsten Schmidt