| 2008 |
|---|
| 4 | EE | Antti Jääskeläinen,
Antti Kervinen,
Mika Katara,
Antti Valmari,
Heikki Virtanen:
Synthesizing Test Models from Test Cases.
Haifa Verification Conference 2008: 179-193 |
| 2004 |
|---|
| 3 | EE | Heikki Virtanen,
Henri Hansen,
Antti Valmari,
Juha Nieminen,
Timo Erkkilä:
Tampere Verification Tool.
TACAS 2004: 153-157 |
| 2003 |
|---|
| 2 | EE | Henri Hansen,
Heikki Virtanen,
Antti Valmari:
Merging State-Based and Action-Based Verification.
ACSD 2003: 150-156 |
| 2002 |
|---|
| 1 | EE | Antti Valmari,
Heikki Virtanen,
Antti Puhakka:
Context-Sensitive Visibility.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
