Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. - Henri Hansen; Wojciech Penczek; Antti Valmari (FMICS, 2002)

Merging State-Based and Action-Based Verification. - Henri Hansen; Heikki Virtanen; Antti Valmari (ACSD, 2003)

Tampere Verification Tool. - Heikki Virtanen; Henri Hansen; Antti Valmari; Juha Nieminen; Timo Erkkilä (TACAS, 2004)

Minimal Counterexamples in O(n log n) Memory and O(n^2) Time. - Henri Hansen; Antti Kervinen (ACSD, 2006)

Operational Determinism and Fast Algorithms. - Henri Hansen; Antti Valmari (CONCUR, 2006)

Larger Automata and Less Work for LTL Model Checking. - Jaco Geldenhuys; Henri Hansen (SPIN, 2006)

Cheap and Small Counterexamples. - Henri Hansen; Jaco Geldenhuys (SEFM, 2008)

Exploring the Scope for Partial Order Reduction. - Jaco Geldenhuys; Henri Hansen; Antti Valmari (ATVA, 2009)

Compositional Analysis for Weak Stubborn Sets. - Henri Hansen; Xu Wang 001 (ACSD, 2011)

On the Origin of Events: Branching Cells as Stubborn Sets. - Henri Hansen; Xu Wang 001 (Petri Nets, 2011)

Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. - Henri Hansen; Marta Z. Kwiatkowska; Hongyang Qu 001 (QEST, 2011)

Can Stubborn Sets Be Optimal? - Antti Valmari; Henri Hansen (Fundam. Informaticae, 2011)

Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. - Henri Hansen; Shang-Wei Lin 001; Yang Liu 003; Truong Khanh Nguyen; Jun Sun 001 (CAV, 2014)

Old and New Algorithms for Minimal Coverability Sets. - Antti Valmari; Henri Hansen (Fundam. Informaticae, 2014)

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. - Henri Hansen; Mark Timmer (Theor. Comput. Sci., 2014)

Practical Partial Order Reduction for CSP. - Thomas Gibson-Robinson; Henri Hansen; A. W. Roscoe 001; Xu Wang 001 (NFM, 2015)

Safety Property-Driven Stubborn Sets. - Henri Hansen; Antti Valmari (RP, 2016)

Guard-based partial-order reduction. - Alfons Laarman; Elwin Pater; Jaco van de Pol; Henri Hansen (Int. J. Softw. Tools Technol. Transf., 2016)

Abstractions for Transition Systems with Applications to Stubborn Sets. - Henri Hansen (Concurrency, Security, and Puzzles, 2017)

FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. - Shang-Wei Lin 001; Jun Sun 001; Hao Xiao; Yang Liu 003; David Sanán; Henri Hansen (ASE, 2017)

Stubborn Set Intuition Explained. - Antti Valmari; Henri Hansen (Trans. Petri Nets Other Model. Concurr., 2017)

Progress Checking for Dummies. - Antti Valmari; Henri Hansen (FMICS, 2018)

Detachment Problem - Application in Prevention of Information Leakage in Stock Markets. - Henri Hansen; Juho Kanniainen (CoRR, 2024)

Learning hidden cascades via classification. - Derrick Gilchrist Edward Manoharan; Anubha Goel; Alexandros Iosifidis; Henri Hansen; Juho Kanniainen (CoRR, 2025)