Karsten Schmidt 0004 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2008

Fallstudie zur Modellierung von Software-Entwicklungsprozessen auf Basis von SPEM 2.0Max Brunner, Martin Jung, Detlef Kips, Karsten Schmidt 0004. se 2008: 67-74

2006

Automated generation of a progress measure for the sweep-line methodKarsten Schmidt 0004. STTT, 8(3):195-203, 2006. [doi]

Automatic Transformation and Enlargement of Similarity Models for Case-Based ReasoningMirjam Minor, Karsten Schmidt 0004. modellierung 2006: 293-296

On the Step Explosion ProblemStephan Roch, Karsten Schmidt 0004. apn 2006: 342-361 [doi]

2005

2004

Automated Generation of a Progress Measure for the Sweep-Line MethodKarsten Schmidt 0004. TACAS 2004: 192-204 [doi]

BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry ReductionFarn Wang, Karsten Schmidt 0004, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang. TSE, 30(6):403-417, 2004. [doi]

2003

Using Petri Net Invariants in State Space ConstructionKarsten Schmidt 0004. TACAS 2003: 473-488 [doi]

Distributed Verification with LoLAKarsten Schmidt 0004. FUIN, 54(2-3):253-262, 2003. [doi]

2002

Distributed verification with LoLAKarsten Schmidt 0004. emisa 2002: 94-103

Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data StructuresFarn Wang, Karsten Schmidt 0004. forte 2002: 50-64 [doi]

2001

Narrowing Petri Net State Spaces Using the State EquationKarsten Schmidt 0004. FUIN, 47(3-4):325-335, 2001.

2000

Integrating Low Level Symmetries into Reachability AnalysisKarsten Schmidt 0004. TACAS 2000: 315-330 [doi]

LoLA: A Low Level AnalyserKarsten Schmidt 0004. apn 2000: 465-474 [doi]

How to Calculate Symmetries of Petri NetsKarsten Schmidt 0004. ACTA, 36(7):545-590, 2000. [doi]

Stubborn Sets for Model Checking the EF/AG Fragment of CTLKarsten Schmidt 0004. FUIN, 43(1-4):331-341, 2000.

1999

LoLA wird PfadfinderKarsten Schmidt 0004. awpn 1999: [doi]

Stubborn Sets for Standard PropertiesKarsten Schmidt 0004. apn 1999: 46-65 [doi]

Model-Checking with Coverability GraphsKarsten Schmidt 0004. fmsd, 15(3):239-254, 1999.

1997

Siphons, Traps and High-Level Nets with Infinite Color DomainsKarsten Schmidt 0004. apn 1997: 271-289

Verification of Siphons and Traps for Algebraic Petri NetsKarsten Schmidt 0004. apn 1997: 427-446

1996

Symbolische Analysemethoden für algebraische PetrinetzeKarsten Schmidt 0004. PhD thesis, Humboldt University of Berlin, Unter den Linden, Germany, 1996. [doi]

1995

Parameterized Reachability Trees for Algebraic Petri NetsKarsten Schmidt 0004. apn 1995: 392-411

Sign in or sign up to see more results.

runs on WebDSL