| 2006 |
|---|
| 5 | EE | Heikki Tauriainen:
Nested Emptiness Search for Generalized Büchi Automata.
Fundam. Inform. 70(1-2): 127-154 (2006) |
| 2004 |
|---|
| 4 | EE | Heikki Tauriainen:
Nested Emptiness Search for Generalized Büchi Automata.
ACSD 2004: 165-174 |
| 3 | | Timo Latvala,
Heikki Tauriainen:
Improved On-the-fly Verification with Testers.
Nord. J. Comput. 11(2): 148-164 (2004) |
| 2002 |
|---|
| 2 | EE | Heikki Tauriainen,
Keijo Heljanko:
Testing LTL formula translation into Büchi automata.
STTT 4(1): 57-70 (2002) |
| 2000 |
|---|
| 1 | | Heikki Tauriainen,
Keijo Heljanko:
Testing SPIN's LTL Formula Conversion into Büchi Automata with Randomly Generated Input.
SPIN 2000: 54-72 |
