• Sign in
  • Sign up
conf.researchr.org / Mattias Ulbrich
  • ECOOP 2015 profile
  • ECOOP 2019 profile
  • ECOOP 2022 profile
  • ECOOP and ISSTA 2021 profile
  • ETAPS 2019 profile
  • ICSE 2020 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
Mattias Ulbrich

Registered user since Fri 22 May 2015

Name:Mattias Ulbrich
Country:Germany
Affiliation:KIT
Personal website:http://formal.iti.kit.edu/~ulbrich/
Research interests:Program Verification, Relational Verification

Contributions

FTfJP 2022 Committee Member in Program Committee within the FTfJP-track
SPLASH 2021 Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the Posters-track
Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the OOPSLA-track
FTfJP 2021 Author of Reconstructing Z3 Proofs in KeY: There and Back Again within the FTfJP-track
Committee Member in Program Committee within the FTfJP-track
FTfJP 2020 Programme Committee in Program Committee within the FTfJP-track
FormaliSE 2020 Author of Relational Test Tables: A Practical Specification Language for Evolution and Security within the FormaliSE 2020-track
VORTEX 2019 Committee Member in Program Committee within the VORTEX 2019-track
HCVS 2019 Session Chair of II (part of HCVS)
PERR 2019 Author of Automatic Equivalence Proofs for Programs with Algebraic Data Types within the PERR-track
Co-chair in Program Committee within the PERR-track
Co-chair in Organizing Committee within the PERR-track
FTfJP 2015 Author of Regression Verification for Java Using a Secure Information Flow Calculus within the FTfJP-track

Share
xTue 31 Jan 21:21
using conf.researchr.org (v1.58.0)
Support page
Sign Up