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 AccessFile33 Downloads (Pure) -
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers
Lathouwers, S. & Huisman, M., 20 Jun 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. IEEE/EUCA, p. 69-79 11 p. 9796417Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile6 Downloads (Pure) -
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 AccessFile60 Downloads (Pure) -
On Deductive Verification of an Industrial Concurrent Software Component with VerCors
Monti, R. E., Rubbens, R. & Huisman, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). p. 517-534Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile1 Downloads (Pure) -
Preface: Formal Methods for Industrial Critical Systems
Groote, J. F. & Huisman, M., 5 Sep 2022, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. p. V (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13487).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 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