• Sign in
  • Sign up
conf.researchr.org / Bernhard Beckert
  • ECOOP 2015 profile
  • ETAPS 2019 profile
  • ICSE 2020 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • MODELS 2023 profile

Not registered as user

Name:Bernhard Beckert
Affiliation:Karlsruhe Institute of Technology
Personal website: http://formal.iti.kit.edu/beckert/

Contributions

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
xWed 14 May 03:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up