Marieke Huisman
Contact Expert

View Scopus Profile

Marieke Huisman

prof.dr.

 https://orcid.org/0000-0003-4467-072X
1998 …2025

Research activity per year

Filter
Chapter

Search results

  • 2025

    Making ETAPS Gold Open Access

    Hermanns, H. & Huisman, M., 18 Nov 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Jansen, N., Junges, S., Kaminski, B. L., Matheja , C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Cham, Switzerland: Springer, p. 487-500 14 p. (Lecture Notes in Computer Science; vol. 15262).

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

  • 2024

    First Steps towards Deductive Verification of LLVM IR

    Oorschot, D. V., Huisman, M. & Şakar, Ö., 6 Apr 2024, Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings. Beyer, D. & Cavalcanti, A. (eds.). p. 290-303 14 p. (Lecture Notes in Computer Science; vol. 14573).

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

    Open Access
    File
    27 Downloads (Pure)
  • 2023

    JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

    Bliudze, S., Bos, P. V. D., Huisman, M., Rubbens, R. & Safina, L., 20 Apr 2023, Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. Lambers, L. & Uchitel, S. (eds.). p. 143-150 8 p.

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

    Open Access
    File
    2 Citations (Scopus)
    84 Downloads (Pure)
  • 2022

    Alpinist: An Annotation-Aware GPU Program Optimizer

    Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II. Fisman, D. & Rosu, G. (eds.). Cham: Springer, p. 332–352 21 p. (Lecture Notes in Computer Science; vol. 13244).

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

    Open Access
    File
    6 Citations (Scopus)
    142 Downloads (Pure)

  • On Deductive Verification of an Industrial Concurrent Software Component with VerCors

    Monti, R. E., Rubbens, R. & Huisman, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). p. 517-534 18 p.

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

    Open Access
    File
    2 Citations (Scopus)
    107 Downloads (Pure)

  • Teaching Design by Contract Using Snap!

    Huisman, M. & Monti, R. E., 2022, The Logic of Software: A Tasting Menu of Formal Methods. Ahrendt, W., Beckert, B., Bubel, R. & Johnsen, E. B. (eds.). 1 ed. Springer, p. 243–263 21 p. (Lecture Notes in Computer Science; vol. 13360).

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

    Open Access
    File
    59 Downloads (Pure)

  • The Integration of Testing and Program Verification: A Position Paper

    Bos, P. V. D. & Huisman, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Cham: Springer, p. 524–538 15 p. (Lecture Notes in Computer Science; vol. 13560).

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

    Open Access
    File
    1 Citation (Scopus)
    106 Downloads (Pure)
  • 2021

    Modular Transformation of Java Exceptions Modulo Errors

    Rubbens, R., Lathouwers, S. & Huisman, M., 19 Aug 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    86 Downloads (Pure)

  • Preface

    Huisman, M., Păsăreanu, C. & Zhan, N., 2021, 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings . Vol. 13047 LNCS. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

    Open Access
    File
    124 Downloads (Pure)
  • 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    137 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.). Cham: Springer, p. 160-177 (Lecture Notes in Computer Science; vol. 12546).

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

    Open Access
    File
    3 Citations (Scopus)
    141 Downloads (Pure)

  • Improving Performance of the VerCors Program Verifier

    Mulder, H., Huisman, M. & Joosten, S., 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.). Cham: Springer, p. 65-82 18 p. (Lecture Notes in Computer Science; vol. 12345).

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

    Open Access
    File
    64 Downloads (Pure)

  • 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.). Cham: Springer, p. 246-260 15 p. (Lecture Notes in Computer Science; vol. 12345).

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

    Open Access
    File
    4 Citations (Scopus)
    67 Downloads (Pure)
  • 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    64 Citations (Scopus)
    70 Downloads (Pure)
  • 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 proceeding › Chapter › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    158 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 proceeding › Chapter › Academic

    File
    11 Citations (Scopus)
    49 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 proceeding › Chapter › Academic

    14 Citations (Scopus)
    27 Downloads (Pure)