Heikki Tauriainen

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

Collaborative distances:

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

2004

Improved On-the-fly Verification with Testers.

Timo Latvala, Heikki Tauriainen

Nord. J. Comput., 2004

Nested Emptiness Search for Generalized Büchi Automata.

Heikki Tauriainen

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 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