Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:K.Heljanko T.A.Junttila A.Biere M.Keinänen M.Lange
Talks about:model (3) check (3) bound (3) increment (1) automata (1) complet (1) effici (1) better (1) altern (1) simpl (1)
Person: Timo Latvala
DBLP: Latvala:Timo
Contributed to:
20062005
2005Wrote 3 papers:
- CAV-2006-HeljankoJKLL #automaton #bound #model checking
- Bounded Model Checking for Weak Alternating Büchi Automata (KH, TAJ, MK, ML, TL), pp. 95–108.
- CAV-2005-HeljankoJL #bound #incremental #model checking
- Incremental and Complete Bounded Model Checking for Full PLTL (KH, TAJ, TL), pp. 98–111.
- VMCAI-2005-LatvalaBHJ #bound #ltl #model checking #performance
- Simple Is Better: Efficient Bounded Model Checking for Past LTL (TL, AB, KH, TAJ), pp. 380–395.