Bernhard Beckert

180 papers A* 1A 12B 29C 15Misc 5Journal 37Unranked 62
YearRankTypeTitle / Venue / Authors
2026 B conf
Analyses as First-Class Citizens in Model-Driven Development.
FASE
Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert
2026 B conf
Timed Contract Automata.
FASE
Bernhard Beckert, Andreas Bremer, Alexander Weigl
2025 J jnl
Heterogeneous Dynamic Logic: Provability Modulo Program Theories.
CoRR
Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert
2025 — conf
Improved Bounds for Rounding Errors in Quantum Circuit Simulators.
Software Engineering Companion
Jonas Klamroth, Niko Lemke, Ruben Götz, Bernhard Beckert
2025 — conf
Insights and Lessons Learned from a Realistic Smart Grid Testbed for Cybersecurity Research.
e-Energy
Ghada Elbez, Gustavo Sánchez, Sine Canbolat, Sophie Corallo, Clemens Fruböse, Florian Lanzinger, Nicolai Kellerer, Gustav Keppler, Felix Neumeister, Bernhard Beckert, Anne Koziolek, Martina Zitterbart, Veit Hagenmeyer
2025 B conf
Leveraging Industrial Automation Boundaries and Regulation for Scope Reduction in Software Validation.
SMC
Yizhi Wang, Birgit Vogel-Heuser, Jan Wilch, Cedric Wagner, Andreas Bremer, Alexander Weigl, Bernhard Beckert
2025 — conf
Next Steps in LLM-Supported Java Verification.
NSE@ICSE
Samuel Teuber, Bernhard Beckert
2025 J jnl
Next Steps in LLM-Supported Java Verification.
CoRR
Samuel Teuber, Bernhard Beckert
2025 B conf
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision.
FMCAD
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
2025 J jnl
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision.
CoRR
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
2025 — conf
Revisiting Differential Verification: Equivalence Verification with Confidence.
TACAS (2)
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert
2025 — conf
Scar: Verification-Based Development of Smart Contracts (Tool Paper).
FMBC
Jonas Schiffl, Bernhard Beckert
2025 — conf
The Many Uses of Dynamic Logic.
Go Where the Bugs Are
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2024 — conf
A Practical Notion of Liveness in Smart Contract Applications.
FMBC@CAV
Jonas Schiffl, Bernhard Beckert
2024 A* conf
An Information-Flow Perspective on Algorithmic Fairness.
AAAI
Samuel Teuber, Bernhard Beckert
2024 — conf
Bounding Rounding Errors in the Simulation of Quantum Circuits.
QSW
Jonas Klamroth, Bernhard Beckert
2024 — conf
Contract Automata: A Specification Language for Mode-Based Systems.
FormaliSE@ICSE
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
2024 — conf
Formal Foundations of Consistency in Model-Driven Development.
ISoLA (3)
Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer
2024 — conf
Formally Verifying an Efficient Sorter.
TACAS (1)
Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt
2024 J jnl
Revisiting Differential Verification: Equivalence Verification with Confidence.
CoRR
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert
2024 — conf
The Java Verification Tool KeY:A Tutorial.
FM (2)
Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl
2024 — conf
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification.
ISoLA (4)
Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber
2024 — conf
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering.
MoDELS (Companion)
Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf H. Reussner
2023 J jnl
An Information-Flow Perspective on Algorithmic Fairness.
CoRR
Samuel Teuber, Bernhard Beckert
2023 — conf
Consistency in the View-Based Development of Cyber-Physical Systems (Convide).
MoDELS (Companion)
Ralf H. Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger
2023 — conf
Formally Verified Algorithmic Fairness Using Information-Flow Tools.
EWAF
Samuel Teuber, Bernhard Beckert
2023 — conf
On Rounding Errors in the Simulation of Quantum Circuits.
ICSOC Workshops
Jonas Klamroth, Bernhard Beckert
2023 — conf
QIn: Enabling Formal Methods to Deal with Quantum Circuits.
QSW
Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger
2023 — conf
Static Capability-Based Security for Smart Contracts.
DAPPS
Jonas Schiffl, Alexander Weigl, Bernhard Beckert
2022 C conf
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems.
ICTAC
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2022 — conf
Recent Developments in the Context of Online Elections and Digital Polls in Germany.
Sicherheit
Bernhard Beckert, Jurlind Budurushi, Armin Grunwald, Robert Krimmer, Oksana Kulyk, Ralf Küsters, Andreas Mayer, Jörn Müller-Quade, Stephan Neumann, Melanie Volkamer
2022 — ed.
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
The Logic of Software. A Tasting Menu of Formal Methods
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen
2022 — conf
Towards a Usable and Sustainable Deductive Verification Tool.
ISoLA (2)
Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2022 — conf
Why Is Online Voting Still Largely a Black Box?
CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS
Michael Kirsten, Melanie Volkamer, Bernhard Beckert
2021 C conf
Integration of a formal specification approach into CPPS engineering workflow for machinery validation.
INDIN
Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert
2021 J jnl
Table-based formal specification approaches for control engineers - empirical studies of usability.
IET Cyper-Phys. Syst.: Theory & Appl.
Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
2021 C conf
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control.
SACMAT
Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert
2020 — book
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY
20 Years of KeY
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2020 — ed.
Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings
E-Vote-ID
Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mikhel Solvak
2020 — ch.
Formal Analysis of Smart Contracts: Applying the KeY System.
20 Years of KeY
Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel
2020 — ch.
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.
20 Years of KeY
Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz
2020 — conf
Modular Verification of JML Contracts Using Bounded Model Checking.
ISoLA (1)
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
2020 J jnl
Nachruf Professor em. Dr. Dr. h.c. Gerhard Goos.
Inform. Spektrum
Bernhard Beckert, Isabel Häuser, Andreas Oberweis, Ralf H. Reussner, Sebastian Schäfer
2020 — conf
Relational Test Tables: A Practical Specification Language for Evolution and Security.
FormaliSE@ICSE
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
2020 — conf
Specifying Framing Conditions for Smart Contracts.
ISoLA (3)
Bernhard Beckert, Jonas Schiffl
2020 — conf
Towards classes of architectural dependability assurance for machine-learning-based systems.
SEAMS@ICSE
Max Scheerer, Jonas Klamroth, Ralf H. Reussner, Bernhard Beckert
2019 — ed.
Electronic Voting - 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
E-Vote-ID
Robert Krimmer, Melanie Volkamer, Véronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid
2019 — ch.
Formal Verification of Evolutionary Changes.
Managed Software Evolution
Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl
2019 C conf
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems.
INDIN
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser
2019 J jnl
Relational Test Tables: A Practical Specification Language for Evolution and Security.
CoRR
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
2019 — conf
Smart Contracts: Application Scenarios for Deductive Program Verification.
FM Workshops (1)
Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich
2019 — conf
Understanding Counterexamples for Relational Properties with DIbugger.
HCVS/PERR@ETAPS
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
2019 B conf
Using Relational Verification for Program Slicing.
SEFM
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
2019 Misc conf
Verification-based test case generation for information-flow properties.
SAC
Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert
2018 — conf
Achieving delta description of the control software for an automated production system evolution.
CASE
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
2018 J jnl
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU.
Autom.
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
2018 J jnl
Debugging Program Verification Proof Scripts (Tool Paper).
CoRR
Bernhard Beckert, Sarah Grebing, Alexander Weigl
2018 J jnl
Experience Report: Formal Methods in Material Science.
CoRR
Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich
2018 — conf
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.
MARS/VPT
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2018 — conf
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.
VSTTE
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2018 J jnl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.
CoRR
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2018 — conf
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.
ISoLA (2)
Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich
2018 — conf
Trends in Relational Program Verification.
Principled Software Development
Bernhard Beckert, Mattias Ulbrich
2018 — conf
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.
TAP@STAF
Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert
2018 C conf
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.
ICFEM
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning
2017 — conf
An Interaction Concept for Program Verification Systems with Explicit Proof Object.
Haifa Verification Conference
Bernhard Beckert, Sarah Grebing, Mattias Ulbrich
2017 Misc conf
Computing Exact Loop Bounds for Bounded Program Verification.
SETTA
Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri
2017 B conf
Generalised Test Tables: A Practical Specification Language for Reactive Systems.
IFM
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2017 C conf
Generalized test tables: A powerful and intuitive specification language for reactive systems.
INDIN
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
2017 C conf
Generation of monitoring functions in production automation using test specifications.
INDIN
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
2017 B conf
Modular Verification of Information Flow Security in Component-Based Systems.
SEFM
Simon Greiner, Martin Mohr, Bernhard Beckert
2017 — conf
Proving JDK's Dual Pivot Quicksort Correct.
VSTTE
Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich
2017 B conf
SemSlice: Exploiting Relational Verification for Automatic Program Slicing.
IFM
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
2016 — conf
Automatic Margin Computation for Risk-Limiting Audits.
E-VOTE-ID
Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann
2016 Misc conf
Computing Specification-Sensitive Abstractions for Program Verification.
SETTA
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
2016 — book
Deductive Software Verification - The KeY Book - From Theory to Practice
Deductive Software Verification
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
2016 — conf
Deductive Verification of Legacy Code.
ISoLA (1)
Bernhard Beckert, Thorsten Bormer, Daniel Grahl
2016 — ch.
Dynamic Logic for Java.
Deductive Software Verification
Bernhard Beckert, Vladimir Klebanov, Benjamin Weiß
2016 — ch.
Formal Verification with KeY: A Tutorial.
Deductive Software Verification
Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt
2015 A conf
A Hybrid Approach for Proving Noninterference of Java Programs.
CSF
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 J jnl
A Hybrid Approach for Proving Noninterference of Java Programs.
IACR Cryptol. ePrint Arch.
Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr
2015 — conf
Interactive Theorem Proving - Modelling the User in the Proof Process.
Bridging@CADE
Bernhard Beckert, Sarah Grebing
2015 C conf
Proving equivalence between control software variants for Programmable Logic Controllers.
ETFA
Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert
2015 C conf
Regression Verification for Programmable Logic Controller Software.
ICFEM
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2015 — conf
Regression verification for Java using a secure information flow calculus.
FTfJP@ECOOP
Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich
2015 C conf
Selected challenges of software evolution for automated production systems.
INDIN
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
2014 — conf
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups.
SEFM Workshops
Bernhard Beckert, Sarah Grebing, Florian Böhl
2014 — conf
How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers.
UITP
Bernhard Beckert, Sarah Grebing, Florian Böhl
2014 J jnl
Reasoning and Verification: State of the Art and Current Trends.
IEEE Intell. Syst.
Bernhard Beckert, Reiner Hähnle
2014 — conf
The KeY Platform for Verification and Analysis of Java Programs.
VSTTE
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
2014 J jnl
Verifying voting schemes.
J. Inf. Secur. Appl.
Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang
2013 J jnl
A Dynamic Logic for deductive verification of multi-threaded programs.
Formal Aspects Comput.
Bernhard Beckert, Vladimir Klebanov
2013 — conf
A Metric for Testing Program Verification Systems.
TAP@STAF
Bernhard Beckert, Thorsten Bormer, Markus Wagner
2013 A conf
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme.
CADE
Bernhard Beckert, Rajeev Goré, Carsten Schürmann
2013 A conf
Dynamic Logic with Trace Semantics.
CADE
Bernhard Beckert, Daniel Bruns
2013 — ed.
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
FMCO
Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
2013 C conf
Information Flow in Object-Oriented Software.
LOPSTR
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
2013 — conf
On the Specification and Verification of Voting Schemes.
VoteID
Bernhard Beckert, Rajeev Goré, Carsten Schürmann
2012 — conf
Evaluating the Usability of Interactive Verification Systems.
COMPARE
Bernhard Beckert, Sarah Grebing
2012 Misc conf
Formal Semantics of Model Fields in Annotation-Based Specifications.
KI
Bernhard Beckert, Daniel Bruns
2012 — ed.
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
FoVeOOS
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
2012 — conf
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
SSV
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
2012 — ed.
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012
COMPARE
Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe
2011 — ed.
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
FoVeOOS
Bernhard Beckert, Claude Marché
2011 — conf
Integration of Bounded Model Checking and Deductive Verification.
FoVeOOS
Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz
2011 J jnl
KeYGenU: combining verification-based and capture and replay techniques for regression unit testing.
Int. J. Syst. Assur. Eng. Manag.
Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai
2011 — conf
Preface.
GI-Jahrestagung
Bernhard Beckert
2011 J jnl
Software Security in Virtualized Infrastructures - The Smart Meter Example.
it Inf. Technol.
Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting
2010 J jnl
Deductive Verification of System Software in the Verisoft XT Project.
Künstliche Intell.
Bernhard Beckert, Michal Moskal
2010 J jnl
Deduktion: von der Theorie zur Anwendung.
Inform. Spektrum
Franz Baader, Bernhard Beckert, Tobias Nipkow
2010 — conf
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay.
TAP@TOOLS
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai
2010 — conf
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification.
FMCO
Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov
2010 — conf
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper).
VERIFY@IJCAR
Bernhard Beckert, Daniel Bruns, Sarah Grebing
2010 J jnl
Practical Aspects of Automated Deduction for Program Verification.
Künstliche Intell.
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer
2010 J jnl
Tests and Proofs - Preface of the Special Issue.
J. Autom. Reason.
Bernhard Beckert, Reiner Hähnle
2009 B conf
Formal Verification of a Microkernel Used in Dependable Software Systems.
SAFECOMP
Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer
2009 Misc conf
Probabilistic Models for the Verification of Human-Computer Interaction.
KI
Bernhard Beckert, Markus Wagner
2008 — ed.
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008
VERIFY
Bernhard Beckert, Gerwin Klein
2008 J jnl
Software engineering and formal methods.
Softw. Syst. Model.
Bernhard K. Aichernig, Bernhard Beckert
2008 C ed.
Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
TAP
Bernhard Beckert, Reiner Hähnle
2008 — conf
Title, Preface, Table of Contents.
VERIFY
Bernhard Beckert, Gerwin Klein
2007 B conf
A Dynamic Logic for Deductive Verification of Concurrent Programs.
SEFM
Bernhard Beckert, Vladimir Klebanov
2007 — ch.
Dynamic Logic.
The KeY Approach
Bernhard Beckert, Vladimir Klebanov, Steffen Schlager
2007 — conf
KeY: A Formal Method for Object-Oriented Systems.
FMOODS
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2007 J jnl
Preface.
J. Autom. Reason.
Bernhard Beckert, Lawrence C. Paulson
2007 — ed.
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007
VERIFY
Bernhard Beckert
2007 A conf
The KeY system 1.0 (Deduction Component).
CADE
Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
2007 — book
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino
The KeY Approach
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2007 C conf
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.
TAP
Bernhard Beckert, Christoph Gladisch
2006 C conf
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.
ICFEM
Bernhard Beckert, Gerd Beuster
2006 A conf
Dynamic Logic with Non-rigid Functions.
IJCAR
Bernhard Beckert, André Platzer
2006 B conf
Integrating Object-Oriented Design and Deductive Verification of Software.
SEFM
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
2006 J jnl
Intelligent Systems and Formal Methods in Software Engineering.
IEEE Intell. Syst.
Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani
2006 — conf
Verifying Object-Oriented Programs with KeY: A Tutorial.
FMCO
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt
2005 C conf
An Improved Rule for While Loops in Deductive Program Verification.
ICFEM
Bernhard Beckert, Steffen Schlager, Peter H. Schmitt
2005 B ed.
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
TABLEAUX
Bernhard Beckert
2005 J jnl
Refinement and retrenchment for programming language data types.
Formal Aspects Comput.
Bernhard Beckert, Steffen Schlager
2005 B conf
Second-Order Principles in Specification Languages for Object-Oriented Programs.
LPAR
Bernhard Beckert, Kerry Trentelman
2005 J jnl
The KeY tool.
Softw. Syst. Model.
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
2005 B ed.
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany
SEFM
Bernhard K. Aichernig, Bernhard Beckert
2004 B conf
Proof Reuse for Deductive Program Verification.
SEFM
Bernhard Beckert, Vladimir Klebanov
2004 B conf
Software Verification with Integrated Data Type Refinement for Integer Arithmetic.
IFM
Bernhard Beckert, Steffen Schlager
2003 B conf
A Program Logic for Handling JAVA CARD's Transaction Mechanism.
FASE
Bernhard Beckert, Wojciech Mostowski
2003 J jnl
Depth-first proof search without backtracking for free-variable clausal tableaux.
J. Symb. Comput.
Bernhard Beckert
2003 B conf
Program Verification Using Change Information.
SEFM
Bernhard Beckert, Peter H. Schmitt
2002 B conf
The KeY System: Integrating Object-Oriented Design and Formal Methods.
FASE
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt
2001 A conf
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.
IJCAR
Bernhard Beckert, Steffen Schlager
2001 — conf
An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
Ershov Memorial Conference
Thomas Baar, Bernhard Beckert, Peter H. Schmitt
2001 J jnl
Free-Variable Tableaux for Propositional Modal Logics.
Stud Logica
Bernhard Beckert, Rajeev Goré
2000 — conf
A Dynamic Logic for the Formal Verification of Java Card Programs.
Java Card Workshop
Bernhard Beckert
2000 — conf
The 2-SAT Problem of Regular Signed CNF Formulas.
ISMVL
Bernhard Beckert, Reiner Hähnle, Felip Manyà
2000 B conf
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
JELIA
Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
1999 B conf
Proof Confluent Tableau Calculi.
TABLEAUX
Reiner Hähnle, Bernhard Beckert
1999 J jnl
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.
J. Univers. Comput. Sci.
Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
1999 — conf
Transformations between Signed and Classical Clause Logic.
ISMVL
Bernhard Beckert, Reiner Hähnle, Felip Manyà
1998 B conf
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.
TABLEAUX
Bernhard Beckert, Ulrike Hartmer
1998 B conf
Fibring Semantic Tableaux.
TABLEAUX
Bernhard Beckert, Dov M. Gabbay
1998 — —
Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens.
Bernhard Beckert
1998 J jnl
Simplification of Many-Valued Logic Formulas Using Anti-Links.
J. Log. Comput.
Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz
1998 A conf
System Description:
CADE
Bernhard Beckert, Rajeev Goré
1998 B conf
leanK 2.0.
TABLEAUX
Bernhard Beckert, Rajeev Goré
1997 J jnl
Fast Subsumption Checks Using Anti-Links.
J. Autom. Reason.
Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray
1997 B conf
Free Variable Tableaux for Propositional Modal Logics.
TABLEAUX
Bernhard Beckert, Rajeev Goré
1997 J jnl
Semantic Tableaux with Equality.
J. Log. Comput.
Bernhard Beckert
1996 B conf
Incremental Theory Reasoning Methods for Semantic Tableaux.
TABLEAUX
Bernhard Beckert, Christian Pape
1996 J jnl
Logic Programming as a Basis for Lean Automated Deduction.
J. Log. Program.
Bernhard Beckert, Joachim Posegga
1996 A conf
The Tableau-based Theorem Prover
CADE
Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann
1995 B conf
Deduction by Combining Semantic Tableaux and Integer Programming.
CSL
Bernhard Beckert, Reiner Hähnle
1995 — conf
LeanEA: A Lean Evolving Algebra Compiler.
WLP
Bernhard Beckert, Joachim Posegga
1995 B conf
leanEA: A Lean Evolving Algebra Compiler.
CSL
Bernhard Beckert, Joachim Posegga
1995 J jnl
leanTAP: Lean Tableau-based Deduction.
J. Autom. Reason.
Bernhard Beckert, Joachim Posegga
1994 A conf
A Completion-Based Method for Mixed Universal and Rigid E-Unification.
CADE
Bernhard Beckert
1994 — conf
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means.
WLP
Bernhard Beckert, Joachim Posegga
1994 B conf
On Anti-Links.
LPAR
Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray
1994 A conf
leanT
CADE
Bernhard Beckert, Joachim Posegga
1993 — conf
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux.
Kurt Gödel Colloquium
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
1992 A conf
An Improved Method for Adding Equality to Free Variable Semantic Tableaux.
CADE
Bernhard Beckert, Reiner Hähnle
1992 J jnl
Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser
IWBS Report
Bernhard Beckert
1992 J jnl
The Many-Valued Theorem Prover
IWBS Report
Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig
1992 A conf
The Tableau-Based Theorem Prover
CADE
Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig