• Sign in
  • Sign up
conf.researchr.org / Alfons Laarman
  • ECOOP and ISSTA 2021 profile
  • POPL 2017 profile
  • POPL 2019 profile
  • PPoPP 2016 profile
Alfons Laarman

Registered user since Fri 28 Dec 2018

Name:Alfons Laarman
Country:Netherlands
Affiliation:Leiden University
Research interests:Verification, Parallel Computing

Contributions

2021

ECOOP/ISSTA

  • SPIN Co-Chair in Organizing Committee

SPIN

  • Session Chair of Closing statement (part of SPIN)
  • Session Chair of Opening (part of SPIN)
  • Chair in Organizing Committee within the SPIN-track

2019

VMCAI

  • Author of A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization within the VMCAI 2019-track

2017

VMCAI

  • Author of Dynamic Reductions for Model Checking Concurrent Software. within the VMCAI-track

2016

Principles and Practice of Parallel Programming

  • Author of Multi-Core On-The-Fly SCC Decomposition within the Main conference-track
Share
xMon 25 Sep 16:23
using conf.researchr.org (v1.61.3)
Support page
Sign Up