For more info about Marieke Huisman on the 'Featured Scientists' page, click below:

Organisaties

Nevenwerkzaakheden

  • stichting NLNet labslid Raad van Toezicht

Publicaties

2024
Survey of annotation generators for deductive verifiersJournal of Systems and Software, 211, Article 111972. Lathouwers, S. & Huisman, M.https://doi.org/10.1016/j.jss.2024.111972First Steps towards Deductive Verification of LLVM IRIn 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 (pp. 290-303). Oorschot, D. v., Huisman, M. & Şakar, Ö.https://doi.org/10.1007/978-3-031-57259-3_15HaliVer: Deductive Verification and Scheduling Languages Join ForcesIn Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 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 (pp. 71-89). Haak, L. B. v. d., Wijs, A., Huisman, M. & Brand, M. v. d.https://doi.org/10.1007/978-3-031-57256-2_4Formal Methods for Industrial Critical SystemsInternational journal on software tools for technology transfer, 26(2), 127-129. Groote, J. F. & Huisman, M.https://doi.org/10.1007/s10009-024-00744-3HaliVer: Deductive Verification and Scheduling Languages Join Forces. ArXiv.org. Haak, L. B. v. d., Wijs, A., Huisman, M. & Brand, M. v. d.https://doi.org/10.48550/arXiv.2401.10778Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic TranslationIn iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings (pp. 153-171). Springer. Armborst, L., Lathouwers, S. & Huisman, M.https://doi.org/10.1007/978-3-031-47705-8_9Deductive Verification of Parameterized Embedded Systems Modeled in SystemCIn Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024 London, United Kingdom, January 15–16, 2024 Proceedings, Part II (pp. 187-209). Springer. Tasche, P., Monti, R. E., Drerup, S. E., Blohm, P., Herber, P. & Huisman, M.https://doi.org/10.1007/978-3-031-50521-8_9ETAPS ForewordIn 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 (pp. v-vi). Springer Nature. Huisman, M.https://doi.org/10.1007/978-3-031-57231-9
2023

Onderzoeksprofielen

Vakken collegejaar 2023/2024

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.

Vakken collegejaar 2022/2023

Adres

Universiteit Twente

Zilverling (gebouwnr. 11), kamer 3055
Hallenweg 19
7522 NH Enschede

Navigeer naar locatie

Organisaties

Scan de QR-code of
Download vCard