Bernhard Beckert

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 50

Top Venues

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt
Formally Verifying an Efficient Sorter. TACAS (1) (2024)
Jonas Schiffl, Bernhard Beckert
A Practical Notion of Liveness in Smart Contract Applications. FMBC@CAV (2024)
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE (2024)
Samuel Teuber, Bernhard Beckert
An Information-Flow Perspective on Algorithmic Fairness. AAAI (2024)
Ralf H. Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger
Consistency in the View-Based Development of Cyber-Physical Systems (Convide). MoDELS (Companion) (2023)
Jonas Schiffl, Alexander Weigl, Bernhard Beckert
Static Capability-Based Security for Smart Contracts. DAPPS (2023)
Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger
QIn: Enabling Formal Methods to Deal with Quantum Circuits. QSW (2023)
Jonas Klamroth, Bernhard Beckert
On Rounding Errors in the Simulation of Quantum Circuits. ICSOC Workshops (2023)
Samuel Teuber, Bernhard Beckert
An Information-Flow Perspective on Algorithmic Fairness. CoRR (2023)
Samuel Teuber, Bernhard Beckert
Formally Verified Algorithmic Fairness Using Information-Flow Tools. EWAF (2023)
Bernhard Beckert, Jurlind Budurushi, Armin Grunwald, Robert Krimmer, Oksana Kulyk, Ralf Küsters, Andreas Mayer, Jörn Müller-Quade, Stephan Neumann, Melanie Volkamer
Recent Developments in the Context of Online Elections and Digital Polls in Germany. Sicherheit (2022)
Michael Kirsten, Melanie Volkamer, Bernhard Beckert
Why Is Online Voting Still Largely a Black Box? CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS (2022)
Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) (2022)
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. ICTAC (2022)
Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
Table-based formal specification approaches for control engineers - empirical studies of usability. IET Cyper-Phys. Syst.: Theory & Appl. 6 (4) (2021)
Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert
Integration of a formal specification approach into CPPS engineering workflow for machinery validation. INDIN (2021)
Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control. SACMAT (2021)
Bernhard Beckert, Jonas Schiffl
Specifying Framing Conditions for Smart Contracts. ISoLA (3) (2020)
Bernhard Beckert, Isabel Häuser, Andreas Oberweis, Ralf H. Reussner, Sebastian Schäfer
Nachruf Professor em. Dr. Dr. h.c. Gerhard Goos. Inform. Spektrum 43 (2) (2020)
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) (2020)
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE (2020)
Max Scheerer, Jonas Klamroth, Ralf H. Reussner, Bernhard Beckert
Towards classes of architectural dependability assurance for machine-learning-based systems. SEAMS@ICSE (2020)
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
Relational Test Tables: A Practical Specification Language for Evolution and Security. CoRR (2019)
Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert
Verification-based test case generation for information-flow properties. SAC (2019)
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
Understanding Counterexamples for Relational Properties with DIbugger. HCVS/PERR@ETAPS (2019)
Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich
Smart Contracts: Application Scenarios for Deductive Program Verification. FM Workshops (1) (2019)
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. INDIN (2019)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
Using Relational Verification for Program Slicing. SEFM (2019)
Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. TAP@STAF (2018)
Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich
Experience Report: Formal Methods in Material Science. CoRR (2018)
Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. ISoLA (2) (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. VSTTE (2018)
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. ICFEM (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. MARS/VPT@ETAPS (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. CoRR (2018)
Bernhard Beckert, Mattias Ulbrich
Trends in Relational Program Verification. Principled Software Development (2018)
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
Achieving delta description of the control software for an automated production system evolution. CASE (2018)
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. Autom. 66 (10) (2018)
Bernhard Beckert, Sarah Grebing, Alexander Weigl
Debugging Program Verification Proof Scripts (Tool Paper). CoRR (2018)
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Generalised Test Tables: A Practical Specification Language for Reactive Systems. IFM (2017)
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN (2017)
Simon Greiner, Martin Mohr, Bernhard Beckert
Modular Verification of Information Flow Security in Component-Based Systems. SEFM (2017)
Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri
Computing Exact Loop Bounds for Bounded Program Verification. SETTA (2017)
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
Generation of monitoring functions in production automation using test specifications. INDIN (2017)
Bernhard Beckert, Sarah Grebing, Mattias Ulbrich
An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference (2017)
Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich
Proving JDK's Dual Pivot Quicksort Correct. VSTTE (2017)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM (2017)
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
Computing Specification-Sensitive Abstractions for Program Verification. SETTA (2016)
Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann
Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID (2016)
Bernhard Beckert, Thorsten Bormer, Daniel Grahl
Deductive Verification of Legacy Code. ISoLA (1) (2016)
Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert
Proving equivalence between control software variants for Programmable Logic Controllers. ETFA (2015)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. IACR Cryptol. ePrint Arch. 2015 (2015)
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Regression Verification for Programmable Logic Controller Software. ICFEM (2015)
Birgit Vogel-Heuser, Stefan Feldmann, Jens Folmer, Jan Ladiges, Alexander Fay, Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, Winfried Lamersdorf, Timo Kehrer, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, Bernhard Beckert
Selected challenges of software evolution for automated production systems. INDIN (2015)
Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich
Regression verification for Java using a secure information flow calculus. FTfJP@ECOOP (2015)
Bernhard Beckert, Sarah Grebing
Interactive Theorem Proving - Modelling the User in the Proof Process. Bridging@CADE (2015)
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
A Hybrid Approach for Proving Noninterference of Java Programs. CSF (2015)
Bernhard Beckert, Reiner Hähnle
Reasoning and Verification: State of the Art and Current Trends. IEEE Intell. Syst. 29 (1) (2014)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang
Verifying voting schemes. J. Inf. Secur. Appl. 19 (2) (2014)
Bernhard Beckert, Sarah Grebing, Florian Böhl
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers. UITP (2014)
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Bernhard Beckert, Sarah Grebing, Florian Böhl
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. SEFM Workshops (2014)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE (2013)
Bernhard Beckert, Thorsten Bormer, Markus Wagner
A Metric for Testing Program Verification Systems. TAP@STAF (2013)
Bernhard Beckert, Daniel Bruns
Dynamic Logic with Trace Semantics. CADE (2013)
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
Information Flow in Object-Oriented Software. LOPSTR (2013)
Bernhard Beckert, Vladimir Klebanov
A Dynamic Logic for deductive verification of multi-threaded programs. Formal Aspects Comput. 25 (3) (2013)
Bernhard Beckert, Rajeev Goré, Carsten Schürmann
On the Specification and Verification of Voting Schemes. VoteID (2013)
Bernhard Beckert, Daniel Bruns
Formal Semantics of Model Fields in Annotation-Based Specifications. KI (2012)
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck SSV (2012)
Bernhard Beckert, Sarah Grebing
Evaluating the Usability of Interactive Verification Systems. COMPARE (2012)
Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Syst. Assur. Eng. Manag. 2 (2) (2011)
Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting
Software Security in Virtualized Infrastructures - The Smart Meter Example. it Inf. Technol. 53 (3) (2011)
Bernhard Beckert
Preface. GI-Jahrestagung (2011)
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS (2011)
Franz Baader, Bernhard Beckert, Tobias Nipkow
Deduktion: von der Theorie zur Anwendung. Inform. Spektrum 33 (5) (2010)
Bernhard Beckert, Daniel Bruns, Sarah Grebing
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). VERIFY@IJCAR (2010)
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer
Practical Aspects of Automated Deduction for Program Verification. Künstliche Intell. 24 (1) (2010)
Bernhard Beckert, Reiner Hähnle
Tests and Proofs - Preface of the Special Issue. J. Autom. Reason. 45 (4) (2010)
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS (2010)
Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. FMCO (2010)
Bernhard Beckert, Michal Moskal
Deductive Verification of System Software in the Verisoft XT Project. Künstliche Intell. 24 (1) (2010)
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
Formal Verification of a Microkernel Used in Dependable Software Systems. SAFECOMP (2009)
Bernhard Beckert, Markus Wagner
Probabilistic Models for the Verification of Human-Computer Interaction. KI (2009)
Bernhard Beckert, Gerwin Klein
Title, Preface, Table of Contents. VERIFY (2008)
Bernhard K. Aichernig, Bernhard Beckert
Software engineering and formal methods. Softw. Syst. Model. 7 (3) (2008)
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
KeY: A Formal Method for Object-Oriented Systems. FMOODS (2007)
Bernhard Beckert, Lawrence C. Paulson
Preface. J. Autom. Reason. 38 (1-3) (2007)
Bernhard Beckert, Christoph Gladisch
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. TAP (2007)
Bernhard Beckert, Vladimir Klebanov
A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM (2007)
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
The KeY system 1.0 (Deduction Component). CADE (2007)
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
Intelligent Systems and Formal Methods in Software Engineering. IEEE Intell. Syst. 21 (6) (2006)
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO (2006)
Bernhard Beckert, André Platzer
Dynamic Logic with Non-rigid Functions. IJCAR (2006)
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Integrating Object-Oriented Design and Deductive Verification of Software. SEFM (2006)
Bernhard Beckert, Gerd Beuster
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. ICFEM (2006)
Bernhard Beckert, Steffen Schlager, Peter H. Schmitt
An Improved Rule for While Loops in Deductive Program Verification. ICFEM (2005)
Bernhard Beckert, Steffen Schlager
Refinement and retrenchment for programming language data types. Formal Aspects Comput. 17 (4) (2005)
Bernhard Beckert, Kerry Trentelman
Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR (2005)
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
The KeY tool. Softw. Syst. Model. 4 (1) (2005)

Bernhard Beckert.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernhard Beckert