Content available in repository
Content available in repository
Fingerprint
Dive into the research topics where Lars van den Haak 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
-
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. (eds.). Springer, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14572 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access1 Citation (Scopus) -
HaliVer: Deductive Verification and Scheduling Languages Join Forces.
van den Haak, L. B., Wijs, A., Huisman, M. & van den Brand, M., 2024, (CoRR).Research output: Working paper › 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. (eds.). Springer, p. 152-169 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14952 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › 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, p. 521-545 25 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile42 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. (eds.). Springer, p. 115-133 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile3 Citations (Scopus)182 Downloads (Pure)
Datasets
-
Card sorting data for Formal methods for GPGPU programming: is the demand met?
van den Haak, L. (Creator), Wijs, A. J. (Creator), van den Brand, M. G. J. (Creator) & Huisman, M. (Creator), 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. (Contributor), McDonell, T. L. (Creator), Keller, G. K. (Creator) & de Wolff, I. G. (Contributor), 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. (Creator), Zenodo, 26 Oct 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. (Creator), Bos, P. (Creator), van den Haak, L. (Creator), Huisman, M. (Creator), Rubbens, R. (Creator), Şakar, Ö. (Creator) & Tasche, P. (Creator), 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 and 3 more 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 (show fewer)
Dataset