Marieke Huisman

View Scopus Profile

Marieke Huisman

prof.dr.

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

Research activity per year

Personal profile

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 5 - Gender Equality
  • SDG 9 - Industry, Innovation, and Infrastructure

Fingerprint

Dive into the research topics where Marieke Huisman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems

    Tasche, P., Herber, P. & Huisman, M., 26 Nov 2025, (E-pub ahead of print/First online) Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings. Madeira, A. & Knapp, A. (eds.). Cham, Switzerland: Springer, p. 404-422 19 p. (Lecture Notes in Computer Science; vol. 15280).

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

  • 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

  • The VerifyThis Collaborative Long-Term Challenge Series

    Ahrendt, W., Ernst, G., Herber, P., Huisman, M., Monti, R. E., Ulbrich, M. & Weigl, A., 2025, TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Springer, p. 160-170 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

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

  • Deductive Verification of Parameterized Embedded Systems Modeled in SystemC

    Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. & Huisman, M., 2024, Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer, p. 187-209 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

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

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

  • Deductive Verification of SYCL in VerCors

    Wittingen, E., Huisman, M. & Şakar, Ö., 26 Nov 2024, (E-pub ahead of print/First online) Software Engineering and Formal Methods: 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024. Proceedings. Madeira, A. & Knapp, A. (eds.). Cham, Switzerland: Springer, p. 182-199 18 p. (Lecture Notes in Computer Science; vol. 15280).

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

View all 214 research outputs
View all 17 datasets