Thomas Filkorn

According to our database, Thomas Filkorn authored at least 9 papers between 1989 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Exploiting Symmetry in Temporal Logic Model Checking.

Edmund M. Clarke, Somesh Jha, Reinhard Enders, Thomas Filkorn

Formal Methods Syst. Des., 1996

1995

Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving.

Jürgen Dingel, Thomas Filkorn

Proceedings of the Computer Aided Verification, 1995

1994

System Verification Environment - SVE.

Klaus Winkelmann, Thomas Filkorn

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Generating BDDs for Symbolic Model Checking in CCS.

Reinhard Enders, Thomas Filkorn, Dirk Taubner

Distributed Comput., 1993

Exploiting Symmetry In Temporal Logic Model Checking.

Edmund M. Clarke, Thomas Filkorn, Somesh Jha

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Symbolische Methoden für die Verifikation endlicher Zustandssysteme.

Thomas Filkorn

PhD thesis, 1992

1991

Experiences from a Large Industrial Circuit Design Application.

Thomas Filkorn, Richard Schmid, Erik Tidén, Peter Warkentin

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Functional Extension of Symbolic Model Checking.

Thomas Filkorn

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1989

Using an Extended PROLOG to Solve the Lion and Unicorn Puzzle.

Richard Schmid, Hans-Albert Schneider, Thomas Filkorn

J. Autom. Reason., 1989