| 2008 |
|---|
| 7 | EE | Henri Hansen,
Jaco Geldenhuys:
Cheap and Small Counterexamples.
SEFM 2008: 53-62 |
| 2006 |
|---|
| 6 | EE | Henri Hansen,
Antti Kervinen:
Minimal Counterexamples in O(n log n) Memory and O(n^2) Time.
ACSD 2006: 133-142 |
| 5 | EE | Henri Hansen,
Antti Valmari:
Operational Determinism and Fast Algorithms.
CONCUR 2006: 188-202 |
| 4 | EE | Jaco Geldenhuys,
Henri Hansen:
Larger Automata and Less Work for LTL Model Checking.
SPIN 2006: 53-70 |
| 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 | Henri Hansen,
Wojciech Penczek,
Antti Valmari:
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties.
Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
