Henri Hansen

View Scopus Profile

Henri Hansen

 https://orcid.org/0000-0003-4052-6173
19982021

Research activity per year

  • 15 Conference contribution
  • 11 Article
  • 1 Commissioned report
  • 1 Chapter
Filter
Conference contribution

Search results

  • 2018

    Progress Checking for Dummies

    Valmari, A. & Hansen, H., 2018, Formal Methods for Industrial Critical Systems. Howar, F. & Barnat, J. (eds.). Springer International Publishing, Vol. 11119. p. 115-130 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    1 Citation (Scopus)
  • 2017

    FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers

    Lin, S.-W., Sun, J., Xiao, H., Liu, Y., Sanán, D. & Hansen, H., Oct 2017, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering: ASE 2017. Rosu, G., Di Penta, M. & Nguyen, T. N. (eds.). IEEE Press, p. 793-803 11 p. (IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    16 Citations (Scopus)

  • Stubborn set intuition explained

    Valmari, A. & Hansen, H., 2017, Transactions on Petri Nets and Other Models of Concurrency XII. Springer Verlag, p. 140-165 26 p. (Lecture Notes in Computer Science; vol. 10470).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    15 Citations (Scopus)
  • 2016

    Safety Property-Driven Stubborn Sets

    Hansen, H. & Valmari, A., Sept 2016, Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Larsen, K., Potapov, I. & Srba, J. (eds.). Springer International Publishing, p. 90-103 14 p. (Lecture notes in computer science; vol. 9899).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    3 Citations (Scopus)

  • Stubborn Set Intuition Explained

    Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (eds.). CEUR-WS, p. 213-232 20 p. (CEUR Workshop Proceedings; vol. 1591).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    Open Access
    9 Citations (Scopus)
  • 2015

    Practical Partial Order Reduction for CSP

    Gibson-Robinson, T., Hansen, H., Roscoe, A. W. & Wang, X., 2015, Nasa Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Springer International Publishing, Vol. 9058. p. 188-203 16 p. (Lecture Notes in Computer Science; vol. 9058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    15 Citations (Scopus)
  • 2014

    Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

    Hansen, H., Lin, S.-W., Liu, Y., Nguyen, T. K. & Sun, J., 2014, 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. Biere, A. & Bloem, R. (eds.). Springer International Publishing, p. 391-406 16 p. (Lecture Notes in Computer Science; vol. 8559).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    13 Citations (Scopus)
  • 2012

    Old and New Algorithms for Minimal Coverability Sets

    Valmari, A. & Hansen, H., 2012, Application and Theory of Petri Nets. 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Lecture Notes in Computer Science. Berlin: Springer, p. 208-227 (International Conference on Application and Theory of Petri Nets and Concurrency; vol. 7347).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    12 Citations (Scopus)
  • 2011

    Compositional analysis for weak stubborn sets

    Hansen, H. & Wang, X., 2011, Proceedings of International Conference on Application of Concurrency to System Design ACSD, Newcastle Upon Tyne, UK, 20.-24.6.2011. Piscataway, NJ: IEEE, p. 36-43 5988916. (International Conference on Application of Concurrency to System Design ACSD).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    9 Citations (Scopus)

  • Partial order reduction for model checking Markov decision processes under unconditional fairness

    Hansen, H., Kwiatkowska, M. & Qu, H., 2011, 8th International Conference on Quantitative Evaluation of Systems QEST 2011 September 5-8 2011, Aachen, Germany. Piscataway, NJ: IEEE, p. 203-212 6042047. (International Conference on Quantitative Evaluation of Systems QEST).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    11 Citations (Scopus)
  • 2008

    Cheap and small counterexamples

    Hansen, H. & Geldenhuys, J., 2008, Sixth IEEE International Conference on Software Engineering and Formal Methods SEFM '08, 10-14 November 2008, Cape Town, South Africa. p. 53-62

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    7 Citations (Scopus)
  • 2006

    Minimal counterexamples in O (n log n) memory and O (n2) time

    Hansen, H. & Kervinen, A., 2006, Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland. Goossens, K. & Petrucci, L. (eds.). p. 133-140

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    4 Citations (Scopus)
  • 2003

    Assessing Time-Efficiency in a Course on Data Structures and Algorithms

    Hansen, H. & Ruuska, M., 2003, Proceedings of the Third Finnish / Baltic Sea Conference on Computer Science Education, Oct. 3-5, 2003, Koli, Finland. University of Helsinki, Department of Computer Science, p. 93-100

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    47 Citations (Scopus)

  • Merging State-Based and Action-Based Verification

    Hansen, H., Virtanen, H. & Valmari, A., 2003, Proceedings Third International Conference on Application of Concurrency to System Design, ACSD 2003, 18-20 June 2003, Guimaraes, Portugal. Lilius, J., Balarin, F. & Machado, R. J. (eds.). IEEE Computer Society, p. 150-156

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    14 Citations (Scopus)
  • 2002

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

    Hansen, H., Penczek, W. & Valmari, A., 2002, 7th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'02), University of Malaga, Spain, July 12-13, 2002. Cleaveland, H. & Garavel, H. (eds.). p. 185-200

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

    18 Citations (Scopus)