Personal profile
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
AutoSV-Annotator: Integrating Deductive and Automatic Software Verification
Armborst, L., Beyer, D., Huisman, M. & Lingsch-Rosenfeld, M., 2026, Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings. Remke, A. & Steffen, B. (eds.). Cham, Switzerland: Springer, p. 59-77 19 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile19 Downloads (Pure) -
Behavior Nets: Context-Aware Behavior Modeling for Code Injection-Based Windows Malware
Starink, J., Huisman, M., Peter, A. & Continella, A., 31 Aug 2025, In: ACM Transactions on Privacy and Security. 28, 3, p. 1-29 33.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile101 Downloads (Pure) -
Breaking Barriers: Strategies for Achieving Equity in Academic Careers in ICT/Informatics/STEM
Silva, P. A., Murphy, B., Echihabi, K., Tuma, K., Diaz, P., Lorenz, B. & Huisman, M., 2025, Actions for Gender Balance in Informatics Across Europe. Penzenstadler, B., Boudaoud, K., Di Marco, A. & Caner-Yıldırım, S. (eds.). Cham: Springer, p. 243-267 25 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile12 Downloads (Pure) -
Deductive Verification of Cooperative RTOS Applications
Tasche, P., Herber, P. & Huisman, M., 30 Sept 2025, In: ACM transactions on embedded computing systems. 24, 5 s, 25 p., 131.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile21 Downloads (Pure) -
Preserving provability over GPU program optimizations with annotation-aware transformations
Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., Dec 2025, In: Formal methods in system design. 67, 3, p. 316-372 57 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Downloads (Pure)
Datasets
-
Artifact for Automated Verification of Parallel Nested DFS, TACAS’20
Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator) & van de Pol, J. (Creator), 4TU.Centre for Research Data, 2020
DOI: 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
Dataset
-
Evaluation of Specification Inference Tools for Deductive Verification
Lathouwers, S. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 19 Jun 2023
DOI: 10.4121/9c83933e-8406-4e49-ac4d-1f8bb55ed988, https://data.4tu.nl/datasets/9c83933e-8406-4e49-ac4d-1f8bb55ed988 and one more link, https://data.4tu.nl/datasets/9c83933e-8406-4e49-ac4d-1f8bb55ed988/1 (show fewer)
Dataset
-
[Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
Tasche, P. (Creator), Monti, R. E. (Creator), Drerup, S. E. (Creator), Blohm, P. (Creator), Herber, P. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 19 Sept 2023
DOI: 10.4121/a7e780c9-87fa-486c-b484-a76a459a9d53, https://data.4tu.nl/datasets/a7e780c9-87fa-486c-b484-a76a459a9d53
Dataset
-
[Artifact] Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems
Tasche, P. (Creator), Herber, P. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 30 Jun 2024
DOI: 10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a and 4 more links, https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a/1, https://doi.org/10.4121/86963fe3-cc3f-45c3-b252-00d8780c4a1a.v1, https://data.4tu.nl/datasets/86963fe3-cc3f-45c3-b252-00d8780c4a1a/2 (show fewer)
Dataset
-
Artifact for Paper: (Deductive verification of SYCL in VerCors)
Şakar, Ö. (Creator), Wittingen, E. (Creator) & Huisman, M. (Creator), 4TU.Centre for Research Data, 5 Jul 2024
DOI: 10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028, https://data.4tu.nl/datasets/45d37292-cce5-4fb7-8d4e-a1b32cfa3028 and 2 more links, https://data.4tu.nl/datasets/45d37292-cce5-4fb7-8d4e-a1b32cfa3028/1, https://doi.org/10.4121/45d37292-cce5-4fb7-8d4e-a1b32cfa3028.v1 (show fewer)
Dataset
Prizes
-
Alice & Eve: a celebration of women in computing
Huisman, M. (Recipient) & Stoelinga, M. I. A. (Recipient), 25 Oct 2024
Prize
-
COORDINATION 2025 Best Paper Award
Rubbens, B. (Recipient), van den Bos, P. (Recipient) & Huisman, M. (Recipient), 18 Jun 2025
Prize
File -
NWO Diversity & Inclusion Initiative Award 2025 for Alice & Eve, a celebration of women in computing
Huisman, M. (Recipient), Liem, C. (Recipient), Lathouwers, S. (Recipient), Schaafstal, A. M. (Recipient), Serebrenik, A. (Recipient) & Stoelinga, M. I. A. (Recipient), 26 Nov 2025
Prize