• Sign in
  • Sign up
conf.researchr.org / Klaus Havelund
  • ECOOP 2016 profile
  • ECOOP and ISSTA 2018 profile
  • ESEC/FSE 2020 profile
  • ETAPS 2019 profile
  • ISSTA 2017 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

ESEC/FSE 2020 Author of Impact paper: Model Checking Programs within the Plenary events-track
InterAVT 2019 Committee Member in Program Committee within the InterAVT-track
TACAS 2019 Committee Member in Program Committee within the TACAS 2019-track
VORTEX 2018 Committee Member in Program Committee within the VORTEX-track
VORTEX 2017 Committee Member in Program Committee within the VORTEX17-track
SPIN 2017 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)
VORTEX 2016 Committee Member in Program Committee within the VORTEX-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track

Share
xThu 7 Jul 08:46
using conf.researchr.org (v1.56.1)
Support page
Sign Up