Search the dblp DataBase

Publications of Author

1. Edmund M. Clarke, Thomas Filkorn, Somesh Jha
   Exploiting Symmetry In Temporal Logic Model Checking. [Citation Graph (0, 0)][DBLP]
   CAV, 1993, pp:450-462 [Conf]
   
2. Jürgen Dingel, Thomas Filkorn
   Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. [Citation Graph (0, 0)][DBLP]
   CAV, 1995, pp:54-69 [Conf]
   
3. Reinhard Enders, Thomas Filkorn, Dirk Taubner
   Generating BDDs for Symbolic Model Checking in CCS. [Citation Graph (0, 0)][DBLP]
   CAV, 1991, pp:203-213 [Conf]
   
4. Thomas Filkorn
   Functional Extension of Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
   CAV, 1991, pp:225-232 [Conf]
   
5. Klaus Winkelmann, Thomas Filkorn
   System Verification Environment - SVE. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1994, pp:783-783 [Conf]
   
6. Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin
   Experiences from a Large Industrial Circuit Design Application. [Citation Graph (0, 0)][DBLP]
   ISLP, 1991, pp:581-595 [Conf]
   
7. Reinhard Enders, Thomas Filkorn, Dirk Taubner
   Generating BDDs for Symbolic Model Checking in CCS. [Citation Graph (0, 0)][DBLP]
   Distributed Computing, 1993, v:6, n:3, pp:155-164 [Journal]
   
8. Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn
   Exploiting Symmetry in Temporal Logic Model Checking. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 1996, v:9, n:1/2, pp:77-104 [Journal]
   
9. Richard Schmid, Hans-Albert Schneider, Thomas Filkorn
   Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1989, v:5, n:3, pp:403-408 [Journal]