• Sign in
  • Sign up
conf.researchr.org / Arnd Hartmanns
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
Arnd Hartmanns

Registered user since Thu 31 Jan 2019

Name:Arnd Hartmanns
Country:Netherlands
Affiliation:University of Twente
Personal website: https://arnd.hartmanns.name/

Contributions

2023

FormaliSE

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

2022

FormaliSE

  • Program Co-Chair in Program Chairs within the FormaliSE 2022-track
  • Program Co-Chair in Program Committee within the FormaliSE 2022-track

2021

SPIN

  • University of Twente in Programming Committee within the SPIN-track

2019

TACAS

  • Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track
Share
xThu 22 May 05:44
using conf.researchr.org (v1.69.0)
Support page
Sign Up