Lars B. van den Haak

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Parallel Algorithm

Top Venues

Publications

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
HaliVer: Deductive Verification and Scheduling Languages Join Forces. CoRR (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
HaliVer: Deductive Verification and Scheduling Languages Join Forces. TACAS (3) (2024)
Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche
The VerCors Verifier: A Progress Report. CAV (2) (2024)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
Linear parallel algorithms to compute strong and branching bisimilarity. Softw. Syst. Model. 22 (2) (2023)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
A linear parallel algorithm to compute bisimulation and relational coarsest partitions. CoRR (2021)
Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma, Anton Wijs
A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. FACS (2021)
Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman
Formal Methods for GPGPU Programming: Is the Demand Met? IFM (2020)
Lars B. van den Haak, Trevor L. McDonell, Gabriele K. Keller, Ivo Gabe de Wolff
Accelerating Nested Data Parallelism: Preserving Regularity. Euro-Par (2020)