Karsten Schmidt

28 papers A 4C 1Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2006 J jnl
Automated generation of a progress measure for the sweep-line method.
Int. J. Softw. Tools Technol. Transf.
Karsten Schmidt
2006 — conf
Automatic Transformation and Enlargement of Similarity Models for Case-Based Reasoning.
Modellierung
Mirjam Minor, Karsten Schmidt
2006 — conf
On the Step Explosion Problem.
ICATPN
Stephan Roch, Karsten Schmidt
2006 J jnl
Question-guided stubborn set methods for state properties.
Formal Methods Syst. Des.
Lars Michael Kristensen, Karsten Schmidt, Antti Valmari
2005 — conf
Controllability of Open Workflow Nets.
EMISA
Karsten Schmidt
2005 J jnl
Kommunizierende Workflow-Services modellieren und analysieren.
Inform. Forsch. Entwickl.
Wolfgang Reisig, Karsten Schmidt, Christian Stahl
2005 — conf
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.
QSIC
Peter Massuthe, Karsten Schmidt
2005 A conf
Transforming BPEL to Petri Nets.
Business Process Management
Sebastian Hinz, Karsten Schmidt, Christian Stahl
2004 A conf
Automated Generation of a Progress Measure for the Sweep-Line Method.
TACAS
Karsten Schmidt
2004 J jnl
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.
IEEE Trans. Software Eng.
Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang
2004 — conf
Modeling and Model Checking Web Services.
LCMAS
Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt
2003 J jnl
Distributed Verification with LoLA.
Fundam. Informaticae
Karsten Schmidt
2003 A conf
Using Petri Net Invariants in State Space Construction.
TACAS
Karsten Schmidt
2002 — conf
Distributed verification with LoLA.
Promise
Karsten Schmidt
2002 C conf
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures.
FORTE
Farn Wang, Karsten Schmidt
2001 J jnl
Narrowing Petri Net State Spaces Using the State Equation.
Fundam. Informaticae
Karsten Schmidt
2000 J jnl
How to Calculate Symmetries of Petri Nets.
Acta Informatica
Karsten Schmidt
2000 A conf
Integrating Low Level Symmetries into Reachability Analysis.
TACAS
Karsten Schmidt
2000 — conf
LoLA: A Low Level Analyser.
ICATPN
Karsten Schmidt
2000 J jnl
Stubborn Sets for Model Checking the EF/AG Fragment of CTL.
Fundam. Informaticae
Karsten Schmidt
1999 — conf
LoLA wird Pfadfinder.
AWPN
Karsten Schmidt
1999 J jnl
Model-Checking with Coverability Graphs.
Formal Methods Syst. Des.
Karsten Schmidt
1999 — conf
Stubborn Sets for Standard Properties.
ICATPN
Karsten Schmidt
1997 — conf
Siphons, Traps and High-Level Nets with Infinite Color Domains.
ICATPN
Karsten Schmidt
1997 — conf
Verification of Siphons and Traps for Algebraic Petri Nets.
ICATPN
Karsten Schmidt
1996 — —
Symbolische Analysemethoden für algebraische Petrinetze.
Karsten Schmidt
1995 — conf
On the Computation of Place Invariants for Algebraic Petri Nets.
STRICT
Karsten Schmidt
1995 — conf
Parameterized Reachability Trees for Algebraic Petri Nets.
Application and Theory of Petri Nets
Karsten Schmidt