Marieke Huisman

prof.dr.

19982023

Research activity per year

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

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 7 - Affordable and Clean Energy

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

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
  • A reply: On the need for program contracts

    Huisman, M., 11 May 2023, In: Journal of cross-disciplinary research in computational law. 1, 3, p. 19-20 2 p.

    Research output: Contribution to journalComment/Letter to the editorAcademic

    Open Access
    File
    17 Downloads (Pure)
  • ETAPS Foreword

    Huisman, M., 21 Apr 2023, Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13992).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    23 Downloads (Pure)
  • 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 proceedingChapterAcademicpeer-review

    Open Access
    File
    16 Downloads (Pure)
  • Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

    Armborst, L., Lathouwers, S. & Huisman, M., 6 Nov 2023, iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. p. 153-171 (Lecture notes in computer science; vol. 14300).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Preface

    Huisman, M. & Ravara, A., 2023, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023. Proceedings. Huisman, M. & Ravara, A. (eds.). Cham, Switzerland: Springer, p. vii-viii 2 p. (Lecture Notes in Computer Science; vol. 13910).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

    3 Downloads (Pure)