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: Filkorn:Thomas
Contributed to:
199519931991
1991Wrote 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.