Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Lars van den Haak actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
HALIVER: Deductive Verification and Scheduling Languages Join Forces
van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (uitgave). Springer, blz. 71-89 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open Access1 Citaat (Scopus) -
HaliVer: Deductive Verification and Scheduling Languages Join Forces.
van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M., 2024, (CoRR).Onderzoeksoutput: Werkdocument › Preprint › Academic › peer review
-
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges
van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M., 2024, Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Proceedings. Haxthausen, A. E. & Serwe, W. (uitgave). Springer, blz. 152-169 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14952 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
-
Linear parallel algorithms to compute strong and branching bisimilarity
Martens, J. (Corresponding author), Groote, J. F., Haak, L. B. V. D., Hijma, P. & Wijs, A., apr. 2023, In: Software and Systems Modeling. 22, 2, blz. 521-545 25 blz.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand42 Downloads (Pure) -
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions
Martens, J., Groote, J. F., van den Haak, L., Hijma, P. & Wijs, A., 2021, Formal Aspects of Component Software - 17th International Conference, FACS 2021, Proceedings. Salaün, G. & Wijs, A. (uitgave). Springer, blz. 115-133 19 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand3 Citaten (Scopus)182 Downloads (Pure)
Datasets
-
Card sorting data for Formal methods for GPGPU programming: is the demand met?
van den Haak, L. (Ontwerper), Wijs, A. J. (Ontwerper), van den Brand, M. G. J. (Ontwerper) & Huisman, M. (Ontwerper), 4TU.Centre for Research Data, 2 nov. 2020
DOI: 10.4121/12988781
Dataset
-
Artifact for Euro-Par 2020 paper Accelerating Nested Data Parallelism: Preserving Regularity
van den Haak, L. (Bijdrager), McDonell, T. L. (Ontwerper), Keller, G. K. (Ontwerper) & de Wolff, I. G. (Bijdrager), Figshare, 3 jul. 2020
DOI: 10.6084/m9.figshare.12555275
Dataset
-
Artifact for: HaliVer: Deductive Verification and Scheduling Languages Join Forces
van den Haak, L. B. (Ontwerper), Zenodo, 26 okt. 2023
DOI: 10.5281/zenodo.10047853, https://zenodo.org/records/10047853
Dataset
-
Artifact to supplement the paper: The VerCors Verifier: a Progress Report
Armborst, L. (Ontwerper), Bos, P. (Ontwerper), van den Haak, L. (Ontwerper), Huisman, M. (Ontwerper), Rubbens, R. (Ontwerper), Şakar, Ö. (Ontwerper) & Tasche, P. (Ontwerper), 4TU.Centre for Research Data, 21 apr. 2024
DOI: 10.4121/a5f97e07-9f84-4223-b581-6d2606fe07ba, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba en 3 meer links, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/1, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/2, https://data.4tu.nl/datasets/a5f97e07-9f84-4223-b581-6d2606fe07ba/3 (minder tonen)
Dataset