Bernhard Beckert -

Not registered as user

Name:Bernhard Beckert

Affiliation:Karlsruhe Institute of Technology

Personal website: http://formal.iti.kit.edu/beckert/

Contributions

2026

PLDI

Author of Heterogeneous Dynamic Logic: Provability Modulo Program Theories within the PLDI Research Papers-track

2025

NSE

Author of Next Steps in LLM-Supported Java Verification within the Neuro-Symbolic SE-track

2024

FormaliSE

Author of Contract Automata: A Specification Language for Mode-Based Systems within the FormaliSE 2024-track

2023

MODELS

Author of Consistency in the View-Based Development of Cyber-Physical Systems (Convide) within the Posters-track

2020

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Author of Towards Classes of Architectural Dependability Assurance of Machine Learning Based Systems within the SEAMS 2020-track

FormaliSE

Author of Relational Test Tables: A Practical Specification Language for Evolution and Security within the FormaliSE 2020-track

2019

PERR

Author of Understanding Counterexamples for Relational Properties with DIbugger within the PERR-track

2015

FTfJP

Author of Regression Verification for Java Using a Secure Information Flow Calculus within the FTfJP-track