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 × 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 DBLP: Latvala:Timo

Contributed to:

CAV 20062006
CAV 20052005
VMCAI 20052005

Wrote 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.

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.