Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bernhard Beckert
conf.researchr.org general profile
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
x
Tue 30 May 09:46