Henri Hansen

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 9

Top Topics

Quasi Invariant

Partial Order Reduction

Top Venues

Trans. Petri Nets Other Model. Concurr.

Fundam. Informaticae

Int. J. Softw. Tools Technol. Transf.

Publications

Henri Hansen, Juho Kanniainen
Detachment Problem - Application in Prevention of Information Leakage in Stock Markets. CoRR (2024)
Antti Valmari, Henri Hansen
Progress Checking for Dummies. FMICS (2018)
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. ASE (2017)
Antti Valmari, Henri Hansen
Stubborn Set Intuition Explained. Trans. Petri Nets Other Model. Concurr. 12 (2017)
Henri Hansen
Abstractions for Transition Systems with Applications to Stubborn Sets. Concurrency, Security, and Puzzles (2017)
Antti Valmari, Henri Hansen
Stubborn Set Intuition Explained. PNSE @ Petri Nets (2016)
Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen
Guard-based partial-order reduction. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Henri Hansen, Antti Valmari
Safety Property-Driven Stubborn Sets. RP (2016)
Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang
Practical Partial Order Reduction for CSP. NFM (2015)
Henri Hansen, Mark Timmer
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time. Theor. Comput. Sci. 538 (2014)
Antti Valmari, Henri Hansen
Old and New Algorithms for Minimal Coverability Sets. Fundam. Informaticae 131 (1) (2014)
Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV (2014)
Antti Valmari, Henri Hansen
Old and New Algorithms for Minimal Coverability Sets. Petri Nets (2012)
Henri Hansen, Xu Wang
On the Origin of Events: Branching Cells as Stubborn Sets. Petri Nets (2011)
Antti Valmari, Henri Hansen
Can Stubborn Sets Be Optimal? Fundam. Informaticae 113 (3-4) (2011)
Henri Hansen, Xu Wang
Compositional Analysis for Weak Stubborn Sets. ACSD (2011)
Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. QEST (2011)
Antti Valmari, Henri Hansen
Can Stubborn Sets Be Optimal? Petri Nets (2010)
Jaco Geldenhuys, Henri Hansen, Antti Valmari
Exploring the Scope for Partial Order Reduction. ATVA (2009)
Henri Hansen, Jaco Geldenhuys
Cheap and Small Counterexamples. SEFM (2008)
Henri Hansen, Antti Valmari
Operational Determinism and Fast Algorithms. CONCUR (2006)
Jaco Geldenhuys, Henri Hansen
Larger Automata and Less Work for LTL Model Checking. SPIN (2006)
Henri Hansen, Antti Kervinen
Minimal Counterexamples in O(n log n) Memory and O(n^2) Time. ACSD (2006)
Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä
Tampere Verification Tool. TACAS (2004)
Henri Hansen, Heikki Virtanen, Antti Valmari
Merging State-Based and Action-Based Verification. ACSD (2003)
Henri Hansen, Wojciech Penczek, Antti Valmari
Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)