Marieke Huisman

View Scopus Profile

Marieke Huisman

prof.dr.

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

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

  • 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
    19 Downloads (Pure)

  • ETAPS Foreword

    Huisman, M., 2024, Foundations of software science and computation structures: 27th International Conference, FoSSaCS 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, Part II. Kobayashi, N. & Worrell, J. (eds.). Cham: Springer Nature, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14575).

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

    Open Access
    File
    17 Downloads (Pure)

  • 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

  • Formal Methods for Industrial Critical Systems

    Groote, J. F. & Huisman, M., Apr 2024, In: International journal on software tools for technology transfer. 26, 2, p. 127-129 3 p.

    Research output: Contribution to journal › Article › Academic

    Open Access
    File
    37 Downloads (Pure)

  • HaliVer: Deductive Verification and Scheduling Languages Join Forces

    Haak, L. B. V. D., Wijs, A., Huisman, M. & Brand, M. V. D., 19 Jan 2024, ArXiv.org.

    Research output: Working paper › Preprint › Academic

    Open Access
    File
    25 Downloads (Pure)
View all 206 research outputs
View all 17 datasets