Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bernhard Beckert
conf.researchr.org general profile
ASE 2026 profile
ECOOP 2015 profile
ETAPS 2019 profile
ICSE 2020 profile
ICSE 2024 profile
ICSE 2025 profile
MODELS 2023 profile
MODELS 2026 profile
PLDI 2026 profile
STAF 2026 profile
Not registered as user
Name:
Bernhard Beckert
Affiliation:
Karlsruhe Institute of Technology
Personal website:
http://formal.iti.kit.edu/beckert/
Contributions
2026
ASE
Author of Can Formal Specifications Be Synthesized from Tests Alone? within the NIER-track
MODELS
Author of CANcept: Model-based CAN Traffic Generation and Manipulation within the Tools and Demonstrations-track
ECMFA
Author of Investigating Novice Modelers’ Intuitive Consistency Notions for the Case of Compositional Models within the ECMFA 2026-track
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
Share
x
Sun 4 Oct 18:39