• Sign in
  • Sign up
conf.researchr.org / Bernhard Beckert
  • ECOOP 2015 profile
  • ETAPS 2019 profile
  • ICSE 2020 profile

Not registered as user yet

Name:Bernhard Beckert
Affiliation:Karlsruhe Institute of Technology
Personal website:http://formal.iti.kit.edu/beckert/

Contributions

SEAMS 2020 Author of Towards Classes of Architectural Dependability Assurance of Machine Learning Based Systems within the SEAMS 2020-track
FormaliSE 2020 Author of Relational Test Tables: A Practical Specification Language for Evolution and Security within the FormaliSE 2020-track
PERR 2019 Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track
FTfJP 2015 Author of Regression Verification for Java Using a Secure Information Flow Calculus within the FTfJP-track

Share
xWed 8 Feb 20:44
using conf.researchr.org (v1.58.0)
Support page
Sign Up