Heikki Tauriainen

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Heikki Tauriainen
Nested Emptiness Search for Generalized Büchi Automata. Fundam. Informaticae 70 (1-2) (2006)
Timo Latvala, Heikki Tauriainen
Improved On-the-fly Verification with Testers. Nord. J. Comput. 11 (2) (2004)
Heikki Tauriainen
Nested Emptiness Search for Generalized Büchi Automata. ACSD (2004)
Heikki Tauriainen, Keijo Heljanko
Testing LTL formula translation into Büchi automata. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Heikki Tauriainen, Keijo Heljanko
Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input. SPIN (2000)