conf.researchr.org / Bernhard Beckert

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