Research output per year
Research output per year
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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Alpinist: An Annotation-Aware GPU Program Optimizer
Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II. Fisman, D. & Rosu, G. (eds.). Cham: Springer, p. 332–352 21 p. (Lecture Notes in Computer Science; vol. 13244).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile9 Downloads (Pure) -
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
Lathouwers, S. & Huisman, M., 20 Jun 2022, 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE). IEEE/EUCA, p. 69-79 11 p. 9796417Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile -
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
Safari, M. & Huisman, M., 12 Apr 2022, In: Theoretical computer science. 912, p. 81-98 18 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile14 Downloads (Pure) -
Automated Verification of the Parallel Bellman–Ford Algorithm
Safari, M., Oortwijn, W. & Huisman, M., 13 Oct 2021, Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings. Drăgoi, C., Mukherjee, S. & Namjoshi, K. (eds.). Cham: Springer, p. 346-358 13 p. (Lecture Notes in Computer Science; vol. 12913).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)9 Downloads (Pure) -
Correct program parallelisations
Blom, S., Darabi, S., Huisman, M. & Safari, M., Oct 2021, In: International journal on software tools for technology transfer. 23, 5, p. 741-763 23 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)47 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
-
Database of Annotations for Deductive Verifiers
Lathouwers, S. A. M. (Creator) & Huisman, M. (Supervisor), 4TU.Centre for Research Data, 2022
DOI: https://doi.org/10.4121/16545714.v1
Dataset