Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Henri
    Last name: Hansen
    DBLP: 99/3222
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 22 of 22  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Henri Hansen.
    Abstractions for Transition Systems with Applications to Stubborn Sets.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Antti Valmari, Henri Hansen.
    Stubborn Set Intuition Explained.
    Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets 2016 (0) 2016
    Conference paper
    Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen.
    Guard-based partial-order reduction.
    STTT 2016, Volume 18 (0) 2016
    Conference paper
    Henri Hansen, Antti Valmari.
    Safety Property-Driven Stubborn Sets.
    Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang.
    Practical Partial Order Reduction for CSP.
    NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings 2015 (0) 2015
    Journal article
    Antti Valmari, Henri Hansen.
    Old and New Algorithms for Minimal Coverability Sets.
    Fundam. Inform. 2014, Volume 131 (0) 2014
    Journal article
    Henri Hansen, Mark Timmer.
    A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time.
    Theor. Comput. Sci. 2014, Volume 538 (0) 2014
    Conference paper
    Henri Hansen, Shang-Wei Lin, Yang Liu 0003, Truong Khanh Nguyen, Jun Sun 0001.
    Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.
    Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Antti Valmari, Henri Hansen.
    Old and New Algorithms for Minimal Coverability Sets.
    Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Henri Hansen, Xu Wang.
    On the Origin of Events: Branching Cells as Stubborn Sets.
    Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings 2011 (0) 2011
    Conference paper
    Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu 0001.
    Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness.
    Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011 2011 (0) 2011
    Journal article
    Antti Valmari, Henri Hansen.
    Can Stubborn Sets Be Optimal?
    Fundam. Inform. 2011, Volume 113 (0) 2011
    Conference paper
    Henri Hansen, Xu Wang.
    Compositional Analysis for Weak Stubborn Sets.
    11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011 2011 (0) 2011
    Conference paper
    Antti Valmari, Henri Hansen.
    Can Stubborn Sets Be Optimal?
    Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings 2010 (0) 2010
    Conference paper
    Jaco Geldenhuys, Henri Hansen, Antti Valmari.
    Exploring the Scope for Partial Order Reduction.
    Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Henri Hansen, Jaco Geldenhuys.
    Cheap and Small Counterexamples.
    Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008 2008 (0) 2008
    Conference paper
    Henri Hansen, Antti Kervinen.
    Minimal Counterexamples in O(n log n) Memory and O(n^2) Time.
    Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland 2006 (0) 2006
    Conference paper
    Henri Hansen, Antti Valmari.
    Operational Determinism and Fast Algorithms.
    CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Jaco Geldenhuys, Henri Hansen.
    Larger Automata and Less Work for LTL Model Checking.
    Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä.
    Tampere Verification Tool.
    Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee 2004 (0) 2004
    Conference paper
    Henri Hansen, Heikki Virtanen, Antti Valmari.
    Merging State-Based and Action-Based Verification.
    3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal 2003 (0) 2003
    Conference paper
    Henri Hansen, Wojciech Penczek, Antti Valmari.
    Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 66 (0) 2002
    Show item 1 to 22 of 22  

    Your query returned 22 matches in the database.