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

FormaliSE 2020 Author of Relational Test Tables: A Practical Specification Language for Evolution and Security within the FormaliSE 2020-track
SEAMS 2020 Author of Towards Classes of Architectural Dependability Assurance of Machine Learning Based Systems within the SEAMS 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