| Larger automata and less work for LTL model checking J Geldenhuys, H Hansen International SPIN Workshop on Model Checking of Software, 53-70, 2006 | 37 | 2006 |
| Guard-based partial-order reduction A Laarman, E Pater, J Van De Pol, H Hansen International journal on software tools for technology transfer 18 (4), 427-448, 2016 | 34 | 2016 |
| Old and new algorithms for minimal coverability sets A Valmari, H Hansen Fundamenta Informaticae 131 (1), 1-25, 2014 | 31 | 2014 |
| Stuttering-insensitive automata for on-the-fly detection of livelock properties H Hansen, W Penczek, A Valmari Electronic Notes in Theoretical Computer Science 66 (2), 178-193, 2002 | 30 | 2002 |
| Stubborn set intuition explained A Valmari, H Hansen Transactions on Petri Nets and Other Models of Concurrency XII, 140-165, 2017 | 29 | 2017 |
| Can stubborn sets be optimal? A Valmari, H Hansen International Conference on Applications and Theory of Petri Nets, 43-62, 2010 | 25 | 2010 |
| Practical partial order reduction for CSP T Gibson-Robinson, H Hansen, AW Roscoe, X Wang NASA Formal Methods Symposium, 188-203, 2015 | 22 | 2015 |
| Exploring the scope for partial order reduction J Geldenhuys, H Hansen, A Valmari International Symposium on Automated Technology for Verification and …, 2009 | 20 | 2009 |
| Merging state-based and action-based verification H Hansen, H Virtanen, A Valmari Third International Conference on Application of Concurrency to System …, 2003 | 20 | 2003 |
| Partial order reduction for model checking Markov decision processes under unconditional fairness H Hansen, M Kwiatkowska, H Qu 2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011 | 16 | 2011 |
| Diamonds are a girl’s best friend: Partial order reduction for timed automata with abstractions H Hansen, SW Lin, Y Liu, TK Nguyen, J Sun International Conference on Computer Aided Verification, 391-406, 2014 | 14 | 2014 |
| Can stubborn sets be optimal? A Valmari, H Hansen Fundamenta Informaticae 113 (3-4), 377-397, 2011 | 14 | 2011 |
| Cheap and small counterexamples H Hansen, J Geldenhuys 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 13 | 2008 |
| FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers SW Lin, J Sun, H Xiao, Y Liu, D Sanán, H Hansen 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 12 | 2017 |
| A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time H Hansen, M Timmer Theoretical computer science 538, 103-123, 2014 | 11 | 2014 |
| Compositional analysis for weak stubborn sets H Hansen, X Wang 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 10 | 2011 |
| Tampere verification tool H Virtanen, H Hansen, A Valmari, J Nieminen, T Erkkilä International Conference on Tools and Algorithms for the Construction and …, 2004 | 9 | 2004 |
| Operational determinism and fast algorithms H Hansen, A Valmari International Conference on Concurrency Theory, 188-202, 2006 | 8 | 2006 |
| Minimal Counterexamples in O (n log n) Memory and O (n^ 2) Time H Hansen, A Kervinen Sixth International Conference on Application of Concurrency to System …, 2006 | 7 | 2006 |
| Safety property-driven stubborn sets H Hansen, A Valmari International Workshop on Reachability Problems, 90-103, 2016 | 4 | 2016 |
Jaco GeldenhuysAssociate Professor, Computer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
