Publications by Timo Latvala

To appear

  • BOOKTITLE:
  • 3rd Workshop on Model Design and Validation (MoDeVa 2006)

2007

  • BOOKTITLE:
  • Proceedings of the Second Haifa Verification Conference
  • SERIES:
  • Lecture Notes in Computer Science
  • PAGES:
  • 183-197

2006

  • BOOKTITLE:
  • Proceedings of the 18th International Conference on Computer Aided\ Verification (CAV'2006)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 4144
  • PAGES:
  • 95--108
  • [URL]
  • [URL]

2005

  • [URL]
  • BOOKTITLE:
  • Proceedings of the 17th International Conference on Computer Aided Verification (CAV'2005)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 3576
  • PAGES:
  • 98--111
  • BOOKTITLE:
  • Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 3385
  • PAGES:
  • 380--395

2004

  • JOURNAL:
  • Nordic Journal of Computing
  • VOLUME:
  • 11
  • PAGES:
  • 148--164
  • BOOKTITLE:
  • Application and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004.
  • SERIES:
  • LNCS
  • VOLUME:
  • 3099
  • PAGES:
  • 298--311
  • [URL]
  • [URL]
  • [URL]
  • BOOKTITLE:
  • Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 3312
  • PAGES:
  • 186-200
  • [URL]
  • [URL]

2003

  • BOOKTITLE:
  • Model Checking Software. 10th International SPIN Workshop
  • PAGES:
  • 74--88
  • [URL]
  • [URL]

2002

  • [URL]

2001

  • BOOKTITLE:
  • Application and Theory of Petri Nets
  • PAGES:
  • 242--262
  • [URL]
  • [URL]

2000

  • JOURNAL:
  • Fundamenta Informaticae
  • VOLUME:
  • 43
  • PAGES:
  • 175--193

1999

  • BOOKTITLE:
  • Concurrency, Specification & Programming Workshop
  • PAGES:
  • 107--118