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 10 of 24  
    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
    Journal article
    Antti Valmari, Henri Hansen.
    Stubborn Set Intuition Explained.
    Transactions on Petri Nets and Other Models of Concurrency XII 2017, Volume 10470 (0) 2017
    Conference paper
    Shangwei Lin, Jun Sun 0001, Hao Xiao, Yang Liu, David Sanán, Henri Hansen.
    FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers.
    Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017 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 0001.
    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
    Show item 1 to 10 of 24  

    Your query returned 24 matches in the database.