Searching for authors named "Timo Latvala" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

Verification — Formal Methods
by Timo Latvala
…Nordic Journal of Computing IMPROVED ON-THE-FLY VERIFICATION WITH TESTERS TIMO LATVALA HEIKKI…
Add To MetaCart

Efficient Model Checking of Safety Properties
by Timo Latvala — 2003 — In Model Checking Software. 10th International SPIN Workshop
…Efficient Model Checking of Safety Properties Timo Latvala ⋆ Laboratory for Theoretical Computer…
Cited by 12 (1 self) – Add To MetaCart

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
by Timo Latvala — 2001 — In Proc. APN'01, LNCS 2075
…Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints #+ Timo Latvala…
Cited by 6 (1 self) – Add To MetaCart

Coping with Strong Fairness - On-the-fly Emptiness Checking for Streett Automata
by Timo Latvala, Keijo Heljanko — 1999
…Coping With Strong Fairness On-the-AEy Emptiness Checking for Streett Automata Timo Latvala !Timo.Latvala…
Add To MetaCart

Coping With Strong Fairness
by Timo Latvala, Keijo Heljanko — 2000
…Fundamenta Informaticae 34 (2000) 119 1 IOS Press Coping With Strong Fairness Timo Latvala…
Cited by 7 (3 self) – Add To MetaCart

LTL Model Checking for Modular Petri Nets
by Timo Latvala, Marko Mäkelä — 2004 — In Proc. 25th Int. Conf. Application and Theory of Petri Nets (ICATPN’04
…LTL Model Checking for Modular Petri Nets Timo Latvala ⋆ and Marko Mäkelä Laboratory…
Cited by 1 (0 self) – Add To MetaCart

Automata-theoretic and bounded model checking for linear temporal logic
by Abteknillinen Korkeakoulu, Universite De, Timo Latvala, Timo Latvala, Tietotekniikan Osasto, C Timo Latvala, Multiprint Oy — 2005
… AUTOMATA-THEORETIC AND BOUNDED MODEL CHECKING FOR LINEAR TEMPORAL LOGIC Timo Latvala ABTEKNILLINEN…
Cited by 1 (0 self) – Add To MetaCart

Simple is better: Efficient bounded model checking for past LTL
by Timo Latvala, Armin Biere, Keijo Heljanko, Tommi Junttila — 2005 — IN: VMCAI. VOLUME 3385 OF LNCS
…Simple Is Better: Efficient Bounded Model Checking for Past LTL Timo Latvala 1,⋆ ,ArminBiere 2…
Cited by 6 (4 self) – Add To MetaCart

Incremental and complete bounded model checking for full PLTL
by Keijo Heljanko, Tommi Junttila, Timo Latvala — 2005 — In CAV’05, volume 3576 of LNCS
…⋆⋆ . and Timo Latvala⋆ ⋆ ⋆ Laboratory for Theoretical Computer Science Helsinki University of Technology P…
Cited by 10 (5 self) – Add To MetaCart

T.: Simple bounded LTL model checking
by Abteknillinen Korkeakoulu, Universite De, Timo Latvala, Timo Latvala, Tietotekniikan Osasto, C Timo Latvala, Armin Biere, Armin Biere, Armin Biere, Keijo Heljanko, Keijo Heljanko, Keijo Heljanko, Tommi Junttila, Tommi Junttila, Tommi Junttila, Multiprint Oy — 2004 — In: FMCAD. Volume 3312 of LNCS
… TimoLatvala,ArminBiere,KeijoHeljanko,andTommiJunttila ABTEKNILLINEN KORKEAKOULU TEKNISKA HO…
Cited by 10 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB