Thomas Filkorn

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn
Exploiting Symmetry in Temporal Logic Model Checking. Formal Methods Syst. Des. 9 (1/2) (1996)
Jürgen Dingel, Thomas Filkorn
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving. CAV (1995)
Klaus Winkelmann, Thomas Filkorn
System Verification Environment - SVE. FTRTFT (1994)
Reinhard Enders, Thomas Filkorn, Dirk Taubner
Generating BDDs for Symbolic Model Checking in CCS. Distributed Comput. 6 (3) (1993)
Edmund M. Clarke, Thomas Filkorn, Somesh Jha
Exploiting Symmetry In Temporal Logic Model Checking. CAV (1993)
Reinhard Enders, Thomas Filkorn, Dirk Taubner
Generating BDDs for Symbolic Model Checking in CCS. CAV (1991)
Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin
Experiences from a Large Industrial Circuit Design Application. ISLP (1991)
Thomas Filkorn
Functional Extension of Symbolic Model Checking. CAV (1991)
Richard Schmid, Hans-Albert Schneider, Thomas Filkorn
Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle. J. Autom. Reason. 5 (3) (1989)