Lars B. van den Haak

According to our database, Lars B. van den Haak authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

HaliVer: Deductive Verification and Scheduling Languages Join Forces.

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges.

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

The VerCors Verifier: A Progress Report.

Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Linear parallel algorithms to compute strong and branching bisimilarity.

Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs

Softw. Syst. Model., April, 2023

2021

A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions.

Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

2020

Formal Methods for GPGPU Programming: Is the Demand Met?

Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Accelerating Nested Data Parallelism: Preserving Regularity.

Lars B. van den Haak, Trevor L. McDonell, Gabriele K. Keller, Ivo Gabe de Wolff

Proceedings of the Euro-Par 2020: Parallel Processing, 2020