Henri Hansen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2004–2018
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FMICS | Progress Checking for Dummies. | Antti Valmari, Henri Hansen |
| 2014 | CAV | Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. | Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun |
| 2009 | ATVA | Exploring the Scope for Partial Order Reduction. | Jaco Geldenhuys, Henri Hansen, Antti Valmari |
| 2008 | SEFM | Cheap and Small Counterexamples. | Henri Hansen, Jaco Geldenhuys |
| 2006 | CONCUR | Operational Determinism and Fast Algorithms. | Henri Hansen, Antti Valmari |
| 2004 | TACAS | Tampere Verification Tool. | Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkil |