Zilverling

prof.dr. M. Huisman (Marieke)

Hoogleraar
EEMCS-CS-FMT
Zilverling 3055
m.huisman@utwente.nl
+31534894662
Visitekaartje

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

Organisaties

Nevenwerkzaamheden

  • stichting NLNet labslid Raad van Toezicht
  • Netherlands Academy of Engineeringboard member Netherlands Academy of Engineering

Publicaties

2026

AutoSV-Annotator: Integrating Deductive and Automatic Software Verification (2026)In Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings (pp. 59-77). Springer. Armborst, L., Beyer, D., Huisman, M. & Lingsch-Rosenfeld, M.https://doi.org/10.1007/978-3-032-00942-5_4

2025

Making ETAPS Gold Open Access (2025)In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 487-500) (Lecture Notes in Computer Science; Vol. 15262). Springer. Hermanns, H. & Huisman, M.https://doi.org/10.1007/978-3-031-75778-5_23Bridging the Implementation Gap: Advancements in Model-Based Concurrent Program Verification (2025)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Rubbens, R.https://doi.org/10.3990/1.9789036569101Deductive Verification of Cooperative RTOS Applications (2025)ACM transactions on embedded computing systems, 24(5 s). Article 131. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.1145/3759251[Artifact] Deductive Verification of Cooperative RTOS Applications (2025)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Tasche, P., Herber, P. & Huisman, M.https://doi.org/10.4121/62dcf604-3009-4e09-a002-52c12e9504faBehavior Nets: Context-Aware Behavior Modeling for Code Injection-Based Windows Malware (2025)ACM Transactions on Privacy and Security, 28(3), 1-29. Article 33. Starink, J., Huisman, M., Peter, A. & Continella, A.https://doi.org/10.1145/3729228Safe Journeys: Scalable Algorithms and Tools for Safety and Security Assurance of Autonomous Vehicles (2025)[Thesis › PhD Thesis - Research external, graduation UT]. University of Twente. Dhonthi Ramesh Babu, A.https://doi.org/10.3990/1.9789036566643Verified Parameterized Choreographies (2025)In Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Proceedings (pp. 50-69) (Lecture Notes in Computer Science; Vol. 15731 LNCS). Springer. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.1007/978-3-031-95589-1_3Reproduction Package for FMICS 2025 Submission `Auto-SV Annotator: Integrating Deductive and Automatic Software Verification' (2025)[Dataset Types › Dataset]. Zenodo. Lingsch-Rosenfeld, M., Beyer, D., Huisman, M. & Armborst, L.https://doi.org/10.5281/zenodo.15199589Reproduction Package for SPIN 2025 Submission 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification' (2025)[Dataset Types › Dataset]. Zenodo. Lingsch-Rosenfeld, M., Beyer, D., Huisman, M. & Armborst, L.https://doi.org/10.5281/zenodo.14883218

Onderzoeksprofielen

Vakken collegejaar 2025/2026

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 2024/2025

Scan de QR-code of
Download vCard