Karsten Schmidt

Publication Activity (10 Years)

Years Active: 1995-2006
Publications (10 Years): 0

Humboldt University of Berlin, Unter den Linden, Germany (PHD)

Education History

Humboldt University of Berlin, Unter den Linden, Germany

PHD

Publications

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

Karsten Schmidt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Karsten Schmidt