Heikki Tauriainen

According to our database, Heikki Tauriainen authored at least 4 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Nested Emptiness Search for Generalized Büchi Automata.

Heikki Tauriainen

Fundam. Informaticae, 2006

2004

Improved On-the-fly Verification with Testers.

Timo Latvala, Heikki Tauriainen

Nord. J. Comput., 2004

2002

Testing LTL formula translation into Büchi automata.

Heikki Tauriainen, Keijo Heljanko

Int. J. Softw. Tools Technol. Transf., 2002

2000

Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input.

Heikki Tauriainen, Keijo Heljanko

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000