Alfons Laarman -

Registered user since Fri 28 Dec 2018

Name:Alfons Laarman

Country:Netherlands

Affiliation:Leiden University

Research interests:Verification, Parallel Computing

Contributions

SPIN 2021	Session Chair of Closing statement (part of SPIN) Session Chair of Opening (part of SPIN) Chair in Organizing Committee within the SPIN-track
ECOOP and ISSTA 2021	SPIN Co-Chair in Organizing Committee
VMCAI 2019	Author of A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization within the VMCAI 2019-track
VMCAI 2017	Author of Dynamic Reductions for Model Checking Concurrent Software. within the VMCAI-track
PPoPP 2016	Author of Multi-Core On-The-Fly SCC Decomposition within the Main conference-track