• Sign in
  • Sign up
conf.researchr.org / Klaus Havelund
  • ECOOP 2016 profile
  • ECOOP and ISSTA 2018 profile
  • ECOOP and ISSTA 2023 profile
  • ESEC/FSE 2020 profile
  • ETAPS 2019 profile
  • ISSTA 2017 profile
  • NASA Formal Methods profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Klaus Havelund

Registered user since Fri 26 Feb 2016

Name:Klaus Havelund
Country:United States
Affiliation:NASA/Caltech Jet Propulsion Laboratory
Personal website: http://www.havelund.com
Research interests:Formal methods, dynamic program analysis (runtime verification), programming languages

Contributions

2023

VORTEX

  • PC Member in Program Committee within the VORTEX 2023-track

NFM

  • Committee Member in Program Committee within the NFM 2023-track

2020

ESEC/FSE

  • Author of Impact paper: Model Checking Programs within the Plenary events-track

2019

InterAVT

  • Committee Member in Program Committee within the InterAVT-track

TACAS

  • Committee Member in Program Committee within the TACAS 2019-track

2018

VORTEX

  • Committee Member in Program Committee within the VORTEX-track

2017

SPIN

  • Session Chair of Session 4 (part of SPIN Keynote)
  • Session Chair of Session 14 (part of SPIN Agenda)
  • Session Chair of Session 1 (part of SPIN Keynote)
  • Program Co-Chair in Organizing Committee
  • Session Chair of Session 2: Symbolic Verification (part of SPIN Full Paper)

ECOOP

  • Committee Member in Program Committee within the ECOOP Research Papers-track

VORTEX

  • Committee Member in Program Committee within the VORTEX17-track

2016

VORTEX

  • Committee Member in Program Committee within the VORTEX-track
Share
xFri 22 Sep 13:50
using conf.researchr.org (v1.62.0)
Support page
Sign Up