Marieke Huisman

prof.dr.

19982021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • 2021

    Modular Transformation of Java Exceptions Modulo Errors

    Rubbens, R., Lathouwers, S. & Huisman, M., 2021, Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer, p. 67-84 18 p. (Lecture notes in computer science; vol. 12863).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2020

    Automated Verification of Parallel Nested DFS

    Oortwijn, W., Huisman, M., Joosten, S. J. C. & Pol, J. V. D., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Springer, p. 247-265 (Lecture Notes in Computer Science; vol. 12078).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    23 Downloads (Pure)
  • Formal Methods for GPGPU Programming: Is the Demand Met?

    Haak, L. B. V. D., Wijs, A., Brand, M. V. D. & Huisman, M., 13 Nov 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Springer, p. 160-177 (Lecture Notes in Computer Science; vol. 12546).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • Improving Performance of the VerCors Program Verifier

    Mulder, H., Huisman, M. & Joosten, S. J. C., 2020, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Springer, p. 65-82 18 p. (Lecture Notes in Computer Science; vol. 12345).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • The VerifyThis Collaborative Long Term Challenge

    Huisman, M., Monti, R. E., Ulbrich, M. & Weigl, A., 4 Dec 2020, Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R. & Ulbrich, M. (eds.). Springer, p. 246-260 15 p. (Lecture Notes in Computer Science; vol. 12345).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    1 Citation (Scopus)
  • 2019

    Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools

    Hähnle, R. & Huisman, M., 2019, Computing and Software Science : State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, p. 345-373 29 p. (Lecture Notes in Computer Science; vol. 10000)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    19 Citations (Scopus)
  • 2018

    A Broader View on Verification: From Static to Runtime and Back (Track Summary)

    Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; no. 11245).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Open Access
    File
    1 Citation (Scopus)
    78 Downloads (Pure)
  • 2016

    Formal specification with the Java modeling language

    Huisman, M., Ahrendt, W., Grahl, D. & Hentschel, M., Dec 2016, Deductive Software Verification – The KeY Book. Ahrendt, W., Beckert, B., Bubel, R., Hähnle, R., Schmitt, P. H. & Ulbrich, M. (eds.). London: Springer, p. 193-241 49 p. (Lecture Notes in Computer Science; vol. 10001).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    File
    6 Citations (Scopus)
    19 Downloads (Pure)
  • 2014

    Verification of concurrent systems with VerCors

    Amighi, A., Blom, S., Darabi, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., Jun 2014, Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bernardo, M., Damiani, F., Hähnle, R., Broch Johnsen, E. & Schaefer, I. (eds.). Cham: Springer, p. 172-216 45 p. (Lecture Notes in Computer Science; vol. 8483).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    11 Citations (Scopus)
    16 Downloads (Pure)