Search the dblp DataBase

Publications of Author

1. Karsten Schmidt
   Model-Checking with Coverability Graphs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1999, v:15, n:3, pp:239-254 [Journal]
   
2. Karsten Schmidt
   Stubborn Sets for Model Checking the EF/AG Fragment of CTL. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2000, v:43, n:1-4, pp:331-341 [Journal]
   
3. Karsten Schmidt
   Narrowing Petri Net State Spaces Using the State Equation. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2001, v:47, n:3-4, pp:325-335 [Journal]
   
4. Karsten Schmidt
   Distributed Verification with LoLA. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2003, v:54, n:2-3, pp:253-262 [Journal]
   
5. Wolfgang Reisig, Karsten Schmidt, Christian Stahl
   Kommunizierende Workflow-Services modellieren und analysieren. [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 2005, v:20, n:1-2, pp:90-101 [Journal]
   
6. Karsten Schmidt
   Automated generation of a progress measure for the sweep-line method. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:3, pp:195-203 [Journal]
   
7. 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. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:6, pp:403-417 [Journal]
   
8. 
   Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige Entwicklungsschritte. [Citation Graph (, )][DBLP]