• Sign in
  • Sign up
conf.researchr.org / Thomas Noll
  • ETAPS 2019 profile
  • POPL 2019 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Thomas Noll

Registered user since Mon 28 Jan 2019

Name:Thomas Noll
Country:Germany
Affiliation:RWTH Aachen University

Contributions

2023

FTSCS

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

2022

FTSCS

  • Committee Member in Program Committee within the Formal Techniques for Safety-Critical Systems-track

2019

ETAPS

  • Author of The COMPASS 3.0 Toolset within the Posters-track

QAPL

  • Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track

TACAS

  • Author of COMPASS 3.0 within the TACAS 2019-track

POPL

  • Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track
Share
xWed 21 May 21:43
using conf.researchr.org (v1.69.0)
Support page
Sign Up