TCS / Research / Publications / Timo Latvala
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Publications by Timo Latvala

to appear

21Toni Jussila, Jori Dubrovin, Tommi Junttila, Timo Latvala, and Ivan Porres. Model checking dynamic and hierarchical UML state machines. In 3rd Workshop on Model Design and Validation (MoDeVa 2006), to appear.
Info

2007

20Yaniv Eytani and Timo Latvala. Explaining intermittent concurrent bugs by minimizing scheduling noise. In Eyal Bin, Avi Ziv, and Shmuel Ur, editors, Proceedings of the Second Haifa Verification Conference (HVC 2006), volume 4383 of Lecture Notes in Computer Science, pages 183–197, Haifa, Israel, 2007. Springer-Verlag.
Info

2006

19Keijo Heljanko, Tommi Junttila, Misa Keinänen, Martin Lange , and Timo Latvala. Bounded model checking for weak alternating Büchi automata. In Thomas Ball and Robert B. Jones, editors, Proceedings of the 18th International Conference on Computer Aided Verification (CAV'2006), volume 4144 of Lecture Notes in Computer Science, pages 95–108, Seattle, WA, USA, August 2006. Springer-Verlag.
Info
See www.tcs.hut.fi ...
18Timo Latvala and Tommi Junttila. Nusmv-2.3.99-cav2006. Computer program, 2006.
Info
See www.tcs.hut.fi ...

2005

17Timo Latvala. Automata-Theoretic and Bounded Model Checking for Linear Temporal Logic. Doctoral dissertation, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, August 2005.
Info
See www.tcs.hut.fi ...
16Keijo Heljanko, Tommi Junttila, and Timo Latvala. Incremental and complete bounded model checking for full PLTL. In Kousha Etessami and Sriram K. Rajamani, editors, Proceedings of the 17th International Conference on Computer Aided Verification (CAV'2005), volume 3576 of Lecture Notes in Computer Science, pages 98–111, Edinburgh, Scotland, United Kingdom, July 2005. Springer-Verlag.
Info
15Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple is better: Efficient bounded model checking for past LTL. In Radhia Cousot, editor, Verification, Model Checking and Abstract Interpretation 2005, 6th International Conference VMCAI'05, Paris, France, volume 3385 of Lecture Notes in Computer Science, pages 380–395. Springer, January 2005.
Info

2004

14Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple bounded LTL model checking. In Alan J. Hu and Andrew K. Martin, editors, Formal Methods in Computer-Aided Design 2004, 5th International Conference FMCAD'04, Austin, Texas, USA, volume 3312 of Lecture Notes in Computer Science, pages 186–200. Springer, nov 2004.
Info
See www.springerlink.com ...
13Timo Latvala, Armin Biere, Keijo Heljanko, and Tommi Junttila. Simple bounded LTL model checking. Research Report A92, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, July 2004.
Info
See www.tcs.hut.fi ...
12Timo Latvala. Nusmv-bpltl. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2004. Software.
Info
See www.tcs.hut.fi ...
11Timo Latvala. scheck1.2. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2004. Software.
Info
See www.tcs.hut.fi ...
10Timo Latvala and Heikki Tauriainen. Improved on-the-fly verification with testers. Nordic Journal of Computing, 11(2):148–164, 2004.
Info
9Timo Latvala and Marko Mäkelä. LTL model checking for modular Petri nets. In J. Cortadella and W. Reisig, editors, Application and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004., volume 3099 of LNCS, pages 298–311, 2004.
Info
See springerlink.metapress.com ...

2003

8Timo Latvala. scheck1.1. Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, 2003. Software.
Info
See www.tcs.hut.fi ...
7Timo Latvala. Efficient model checking of safety properties. In T. Ball and S. Rajamani, editors, Model Checking Software. 10th International SPIN Workshop, pages 74–88. Springer, 2003.
Info
See link.springer.de ...

2002

6Timo Latvala. On model checking safety properties. Technical Report A76, Helsinki University of Technology, December 2002.
Info
See www.tcs.hut.fi ...

2001

5Timo Latvala. Model checking linear temporal logic properties of petri nets with fairness constraints. Technical Report A67, Helsinki University of Technology, January 2001.
Info
See www.tcs.hut.fi ...
4Timo Latvala. Model checking LTL properties of high-level petri nets with fairness constraints. In J-M. Colom and M. Koutny, editors, Application and Theory of Petri Nets, pages 242–262, Berlin, 2001. Springer. [Copyright Springer-Verlag]
Info
See link.springer.de ...

2000

3Timo Latvala. Model checking linear temporal logic properties of petri nets with fairness constraints. Master's thesis, Helsinki University of Technology, October 2000.
PostScript (1 MB)
GZipped PostScript (191 kB)
Info
2Timo Latvala and Keijo Heljanko. Coping with strong fairness. Fundamenta Informaticae, 43(1–4):175–193, 2000.
PostScript (640 kB)
GZipped PostScript (135 kB)
Info

1999

1Timo Latvala and Keijo Heljanko. Coping with strong fairness – on-the-fly emptiness checking for streett automata. In H.-D. Burkhard, L. Czaja, H-S. Nguyen, and P. Starke, editors, Concurrency, Specification & Programming Workshop, pages 107–118, Warsaw, Poland, September 1999. Institute of Informatics, Warsaw University.
PostScript (453 kB)
GZipped PostScript (86 kB)
Info

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.