dblp.uni-trier.dewww.uni-trier.de

Henri Hansen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEHenri Hansen, Jaco Geldenhuys: Cheap and Small Counterexamples. SEFM 2008: 53-62
2006
6EEHenri Hansen, Antti Kervinen: Minimal Counterexamples in O(n log n) Memory and O(n^2) Time. ACSD 2006: 133-142
5EEHenri Hansen, Antti Valmari: Operational Determinism and Fast Algorithms. CONCUR 2006: 188-202
4EEJaco Geldenhuys, Henri Hansen: Larger Automata and Less Work for LTL Model Checking. SPIN 2006: 53-70
2004
3EEHeikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä: Tampere Verification Tool. TACAS 2004: 153-157
2003
2EEHenri Hansen, Heikki Virtanen, Antti Valmari: Merging State-Based and Action-Based Verification. ACSD 2003: 150-156
2002
1EEHenri Hansen, Wojciech Penczek, Antti Valmari: Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. Electr. Notes Theor. Comput. Sci. 66(2): (2002)

Coauthor Index

1Timo Erkkilä [3]
2Jaco Geldenhuys [4] [7]
3Antti Kervinen [6]
4Juha Nieminen [3]
5Wojciech Penczek [1]
6Antti Valmari [1] [2] [3] [5]
7Heikki Virtanen [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)