BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Denmark
1 × Greece
1 × USA
Collaborated with:
J.Dingel E.M.Clarke S.Jha R.Enders D.Taubner R.Schmid E.Tidén P.Warkentin
Talks about:
model (4) check (4) symbol (2) symmetri (1) industri (1) function (1) abstract (1) theorem (1) infinit (1) generat (1)

Person: Thomas Filkorn

DBLP DBLP: Filkorn:Thomas

Contributed to:

CAV 19951995
CAV 19931993
CAV 19911991
ILPS 19911991

Wrote 5 papers:

CAV-1995-DingelF #abstraction #infinity #model checking #proving #reasoning #theorem proving #using
Model Checking for Infinite State Systems Using Data Abstraction, Assumption-Commitment Style reasoning and Theorem Proving (JD, TF), pp. 54–69.
CAV-1993-ClarkeFJ #logic #model checking #symmetry
Exploiting Symmetry In Temporal Logic Model Checking (EMC, TF, SJ), pp. 450–462.
CAV-1991-EndersFT #generative #model checking
Generating BDDs for Symbolic Model Checking in CCS (RE, TF, DT), pp. 203–213.
CAV-1991-Filkorn #functional #model checking
Functional Extension of Symbolic Model Checking (TF), pp. 225–232.
ISLP-1991-FilkornSTW #case study #design #experience #industrial #scalability
Experiences from a Large Industrial Circuit Design Application (TF, RS, ET, PW), pp. 581–595.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.