Research output per year
Research output per year
Personal profile
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
-
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 AccessFile2 Link opens in a new tab Citations (Scopus)40 Downloads (Pure) -
Deductive reasoning about embedded systems using reachable abstract states invariants
Tasche, P., Herber, P. & Huisman, M., 24 Jun 2026, (E-pub ahead of print/First online) In: Software and systems modeling. 17 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Downloads (Pure) -
SoK: Systematization, Detection, and Hunting of Windows Malware Persistence Techniques
van Nielen, J., Oliveri, A., Starink, J., Peter, A., Huisman, M., Aonzo, S., Balzarotti, D. & Continella, A., Jun 2026, 21st ACM ASIA Conference on Computer and Communications Security, ACM ASIACCS 2026. Agrawal, M., Molloy, I., Pandit, V., Mukhopadhyay, D. & Paterson, K. (eds.). New York, NY: Association for Computing Machinery, p. 1371-1386 16 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile12 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 AccessFile338 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 AccessFile30 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
-
[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
-
Reproduction Package for FMICS 2025 Submission `Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'
Lingsch-Rosenfeld, M. (Creator), Beyer, D. (Creator), Huisman, M. (Creator) & Armborst, L. (Creator), Zenodo, 11 Apr 2025
DOI: 10.5281/zenodo.15199589, https://zenodo.org/records/15199589 and one more link, https://doi.org/10.5281/zenodo.14883218 (show fewer)
Dataset
-
Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
Rubbens, B. (Creator), Huisman, M. (Creator) & Lathouwers, S. (Creator), 4TU.Centre for Research Data, 25 Aug 2021
DOI: 10.4121/14905251, https://data.4tu.nl/articles/_/14905251 and one more link, https://data.4tu.nl/articles/_/14905251/1 (show fewer)
Dataset
-
Artefact of: Verified Parameterized Choreographies
Rubbens, R. (Creator), van den Bos, P. (Creator) & Huisman, M. (Creator), Zenodo, 20 Feb 2025
DOI: 10.5281/zenodo.14900264, https://zenodo.org/records/14900264 and 3 more links, https://doi.org/10.5281/zenodo.14900265, https://zenodo.org/records/14900265, https://zenodo.org/records/15223434 (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