Henri Hansen

According to our database, Henri Hansen authored at least 23 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Detachment Problem - Application in Prevention of Information Leakage in Stock Markets.

Henri Hansen, Juho Kanniainen

CoRR, 2024

2018

Progress Checking for Dummies.

Antti Valmari, Henri Hansen

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2017

Stubborn Set Intuition Explained.

Antti Valmari, Henri Hansen

Trans. Petri Nets Other Model. Concurr., 2017

FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.

Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Abstractions for Transition Systems with Applications to Stubborn Sets.

Henri Hansen

Proceedings of the Concurrency, Security, and Puzzles, 2017

2016

Guard-based partial-order reduction.

Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen

Int. J. Softw. Tools Technol. Transf., 2016

Safety Property-Driven Stubborn Sets.

Henri Hansen, Antti Valmari

Proceedings of the Reachability Problems - 10th International Workshop, 2016

2015

Practical Partial Order Reduction for CSP.

Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time.

Henri Hansen, Mark Timmer

Theor. Comput. Sci., 2014

Old and New Algorithms for Minimal Coverability Sets.

Antti Valmari, Henri Hansen

Fundam. Informaticae, 2014

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

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2011

Can Stubborn Sets Be Optimal?

Antti Valmari, Henri Hansen

Fundam. Informaticae, 2011

Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.

Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

On the Origin of Events: Branching Cells as Stubborn Sets.

Henri Hansen, Xu Wang

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

Compositional Analysis for Weak Stubborn Sets.

Henri Hansen, Xu Wang

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2009

Exploring the Scope for Partial Order Reduction.

Jaco Geldenhuys, Henri Hansen, Antti Valmari

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Cheap and Small Counterexamples.

Henri Hansen, Jaco Geldenhuys

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2006

Larger Automata and Less Work for LTL Model Checking.

Jaco Geldenhuys, Henri Hansen

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Operational Determinism and Fast Algorithms.

Henri Hansen, Antti Valmari

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Minimal Counterexamples in O(n log n) Memory and O(n^2) Time.

Henri Hansen, Antti Kervinen

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2004

Tampere Verification Tool.

Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

Merging State-Based and Action-Based Verification.

Henri Hansen, Heikki Virtanen, Antti Valmari

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties.

Henri Hansen, Wojciech Penczek, Antti Valmari

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002