default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBernhard Beckert
Person information
- affiliation: Karlsruhe Institute of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c112]Jonas Klamroth, Niko Lemke, Ruben Götz, Bernhard Beckert:
Improved Bounds for Rounding Errors in Quantum Circuit Simulators. Software Engineering Companion 2025: 18- [i10]Samuel Teuber, Bernhard Beckert:
Next Steps in LLM-Supported Java Verification. CoRR abs/2502.01573 (2025) - 2024
- [c111]Samuel Teuber
, Bernhard Beckert:
An Information-Flow Perspective on Algorithmic Fairness. AAAI 2024: 15337-15345 - [c110]Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl:
The Java Verification Tool KeY:A Tutorial. FM (2) 2024: 597-623 - [c109]Jonas Schiffl, Bernhard Beckert:
A Practical Notion of Liveness in Smart Contract Applications. FMBC@CAV 2024: 8:1-8:13 - [c108]Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich:
Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE 2024: 1-11 - [c107]Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer:
Formal Foundations of Consistency in Model-Driven Development. ISoLA (3) 2024: 178-200 - [c106]Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber:
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. ISoLA (4) 2024: 242-257 - [c105]Kevin Feichtinger, Karl Kegel, Romain Pascual, Uwe Aßmann, Bernhard Beckert, Ralf H. Reussner:
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering. MoDELS (Companion) 2024: 915-919 - [c104]Jonas Klamroth, Bernhard Beckert:
Bounding Rounding Errors in the Simulation of Quantum Circuits. QSW 2024: 99-106 - [c103]Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt:
Formally Verifying an Efficient Sorter. TACAS (1) 2024: 268-287 - [d3]Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, Alexander Weigl:
KeY CLI, Release 2.13. Zenodo, 2024
- [d2]Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl:
The Java Verification Tool KeY: A Tutorial. Zenodo, 2024 - [i9]Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert:
Revisiting Differential Verification: Equivalence Verification with Confidence. CoRR abs/2410.20207 (2024) - 2023
- [c102]Jonas Schiffl, Alexander Weigl, Bernhard Beckert:
Static Capability-Based Security for Smart Contracts. DAPPS 2023: 110-117 - [c101]Samuel Teuber, Bernhard Beckert:
Formally Verified Algorithmic Fairness Using Information-Flow Tools. EWAF 2023 - [c100]Jonas Klamroth, Bernhard Beckert:
On Rounding Errors in the Simulation of Quantum Circuits. ICSOC Workshops 2023: 137-149 - [c99]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: 83-84 - [c98]Jonas Klamroth, Bernhard Beckert, Max Scheerer, Oliver Denninger:
QIn: Enabling Formal Methods to Deal with Quantum Circuits. QSW 2023: 175-185 - [d1]Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt:
Formally Verifying an Efficient Sorter - Verification and Benchmarking Artifact. Zenodo, 2023 - [i8]Samuel Teuber, Bernhard Beckert:
An Information-Flow Perspective on Algorithmic Fairness. CoRR abs/2312.10128 (2023) - 2022
- [c97]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: 555-567 - [c96]Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. ICTAC 2022: 7-13 - [c95]Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) 2022: 281-300 - [c94]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: 213-217 - [e15]Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen:
The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 13360, Springer 2022, ISBN 978-3-031-08165-1 [contents] - 2021
- [j25]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): 193-207 (2021) - [c93]Birgit Vogel-Heuser, Christoph Huber, Suhyun Cha, Bernhard Beckert:
Integration of a formal specification approach into CPPS engineering workflow for machinery validation. INDIN 2021: 1-8 - [c92]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: 125-130 - 2020
- [j24]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): 157-158 (2020) - [c91]Max Scheerer, Jonas Klamroth, Ralf H. Reussner, Bernhard Beckert:
Towards classes of architectural dependability assurance for machine-learning-based systems. SEAMS@ICSE 2020: 31-37 - [c90]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: 77-86 - [c89]Bernhard Beckert, Jonas Schiffl:
Specifying Framing Conditions for Smart Contracts. ISoLA (3) 2020: 43-59 - [c88]Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich:
Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) 2020: 60-80 - [p6]Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel:
Formal Analysis of Smart Contracts: Applying the KeY System. 20 Years of KeY 2020: 204-218 - [p5]Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz:
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. 20 Years of KeY 2020: 287-312 - [e14]Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mikhel Solvak:
Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings. Lecture Notes in Computer Science 12455, Springer 2020, ISBN 978-3-030-60346-5 [contents] - [e13]Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich:
Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Lecture Notes in Computer Science 12345, Springer 2020, ISBN 978-3-030-64353-9 [contents]
2010 – 2019
- 2019
- [c87]Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich:
Smart Contracts: Application Scenarios for Deductive Program Verification. FM Workshops (1) 2019: 293-298 - [c86]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: 413-418 - [c85]Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert:
Verification-based test case generation for information-flow properties. SAC 2019: 2231-2238 - [c84]Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich:
Using Relational Verification for Program Slicing. SEFM 2019: 353-372 - [c83]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: 6-13 - [p4]Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl:
Formal Verification of Evolutionary Changes. Managed Software Evolution 2019: 309-332 - [e12]Robert Krimmer, Melanie Volkamer, Véronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid:
Electronic Voting - 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings. Lecture Notes in Computer Science 11759, Springer 2019, ISBN 978-3-030-30624-3 [contents] - [i7]Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser:
Relational Test Tables: A Practical Specification Language for Evolution and Security. CoRR abs/1910.09068 (2019) - 2018
- [j23]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): 834-848 (2018) - [c82]Bernhard Beckert, Mattias Ulbrich:
Trends in Relational Program Verification. Principled Software Development 2018: 41-58 - [c81]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: 1170-1176 - [c80]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: 284-300 - [c79]Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich:
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. ISoLA (2) 2018: 53-63 - [c78]Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert:
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. TAP@STAF 2018: 83-102 - [c77]Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. VSTTE 2018: 248-266 - [c76]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: 185-199 - [i6]Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl:
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. CoRR abs/1801.08766 (2018) - [i5]Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich:
Experience Report: Formal Methods in Material Science. CoRR abs/1802.02374 (2018) - [i4]Bernhard Beckert, Sarah Grebing, Alexander Weigl:
Debugging Program Verification Proof Scripts (Tool Paper). CoRR abs/1804.04402 (2018) - 2017
- [c75]Bernhard Beckert, Sarah Grebing, Mattias Ulbrich:
An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference 2017: 163-178 - [c74]Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Generalised Test Tables: A Practical Specification Language for Reactive Systems. IFM 2017: 129-144 - [c73]Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich:
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM 2017: 312-319 - [c72]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: 339-344 - [c71]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: 875-882 - [c70]Simon Greiner, Martin Mohr, Bernhard Beckert:
Modular Verification of Information Flow Security in Component-Based Systems. SEFM 2017: 300-315 - [c69]Tianhai Liu, Shmuel S. Tyszberowicz, Bernhard Beckert, Mana Taghdiri:
Computing Exact Loop Bounds for Bounded Program Verification. SETTA 2017: 147-163 - [c68]Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich:
Proving JDK's Dual Pivot Quicksort Correct. VSTTE 2017: 35-48 - 2016
- [c67]Bernhard Beckert, Thorsten Bormer, Daniel Grahl:
Deductive Verification of Legacy Code. ISoLA (1) 2016: 749-765 - [c66]Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri:
Computing Specification-Sensitive Abstractions for Program Verification. SETTA 2016: 101-117 - [c65]Bernhard Beckert, Michael Kirsten, Vladimir Klebanov, Carsten Schürmann:
Automatic Margin Computation for Risk-Limiting Audits. E-VOTE-ID 2016: 18-35 - [p3]Bernhard Beckert, Vladimir Klebanov, Benjamin Weiß:
Dynamic Logic for Java. Deductive Software Verification 2016: 49-106 - [p2]Bernhard Beckert, Reiner Hähnle, Martin Hentschel, Peter H. Schmitt:
Formal Verification with KeY: A Tutorial. Deductive Software Verification 2016: 541-570 - [e11]Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich:
Deductive Software Verification - The KeY Book - From Theory to Practice. Lecture Notes in Computer Science 10001, Springer 2016, ISBN 978-3-319-49811-9 [contents] - 2015
- [c64]Bernhard Beckert, Sarah Grebing:
Interactive Theorem Proving - Modelling the User in the Proof Process. Bridging@CADE 2015: 60-73 - [c63]Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr:
A Hybrid Approach for Proving Noninterference of Java Programs. CSF 2015: 305-319 - [c62]Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich:
Regression verification for Java using a secure information flow calculus. FTfJP@ECOOP 2015: 6:1-6:6 - [c61]Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert:
Proving equivalence between control software variants for Programmable Logic Controllers. ETFA 2015: 1-5 - [c60]Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl:
Regression Verification for Programmable Logic Controller Software. ICFEM 2015: 234-251 - [c59]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: 314-321 - [i3]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: 438 (2015) - 2014
- [j22]Bernhard Beckert, Reiner Hähnle:
Reasoning and Verification: State of the Art and Current Trends. IEEE Intell. Syst. 29(1): 20-29 (2014) - [j21]Bernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer, Jian Wang:
Verifying voting schemes. J. Inf. Secur. Appl. 19(2): 115-129 (2014) - [c58]Bernhard Beckert, Sarah Grebing, Florian Böhl:
A Usability Evaluation of Interactive Theorem Provers Using Focus Groups. SEFM Workshops 2014: 3-19 - [c57]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: 55-71 - [c56]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: 4-13 - 2013
- [j20]Bernhard Beckert, Vladimir Klebanov:
A Dynamic Logic for deductive verification of multi-threaded programs. Formal Aspects Comput. 25(3): 405-437 (2013) - [c55]Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. CADE 2013: 135-144 - [c54]Bernhard Beckert, Daniel Bruns:
Dynamic Logic with Trace Semantics. CADE 2013: 315-329 - [c53]Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich:
Information Flow in Object-Oriented Software. LOPSTR 2013: 19-37 - [c52]Bernhard Beckert, Thorsten Bormer, Markus Wagner:
A Metric for Testing Program Verification Systems. TAP@STAF 2013: 56-75 - [c51]Bernhard Beckert, Rajeev Goré, Carsten Schürmann:
On the Specification and Verification of Voting Schemes. VoteID 2013: 25-40 - [e10]Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue:
Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7542, Springer 2013, ISBN 978-3-642-35886-9 [contents] - 2012
- [c50]Bernhard Beckert, Sarah Grebing:
Evaluating the Usability of Interactive Verification Systems. COMPARE 2012: 3-17 - [c49]Bernhard Beckert, Daniel Bruns:
Formal Semantics of Model Fields in Annotation-Based Specifications. KI 2012: 13-24 - [c48]Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer:
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck. SSV 2012: 18-32 - [e9]Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe:
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012. CEUR Workshop Proceedings 873, CEUR-WS.org 2012 [contents] - [e8]Bernhard Beckert, Ferruccio Damiani, Dilian Gurov:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7421, Springer 2012, ISBN 978-3-642-31761-3 [contents] - 2011
- [j19]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): 142-151 (2011) - [j18]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): 97-113 (2011) - [c47]Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz:
Integration of Bounded Model Checking and Deductive Verification. FoVeOOS 2011: 86-104 - [c46]Bernhard Beckert:
Preface. GI-Jahrestagung 2011: 347 - [e7]Bernhard Beckert, Claude Marché:
Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6528, Springer 2011, ISBN 978-3-642-18069-9 [contents] - 2010
- [j17]Franz Baader, Bernhard Beckert, Tobias Nipkow:
Deduktion: von der Theorie zur Anwendung. Inform. Spektrum 33(5): 444-451 (2010) - [j16]Bernhard Beckert, Reiner Hähnle:
Tests and Proofs - Preface of the Special Issue. J. Autom. Reason. 45(4): 327-329 (2010) - [j15]Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer:
Practical Aspects of Automated Deduction for Program Verification. Künstliche Intell. 24(1): 43-49 (2010) - [j14]Bernhard Beckert, Michal Moskal:
Deductive Verification of System Software in the Verisoft XT Project. Künstliche Intell. 24(1): 57-61 (2010) - [c45]Bernhard Beckert, Daniel Bruns, Sarah Grebing:
Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). VERIFY@IJCAR 2010: 4-12 - [c44]Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov:
Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. FMCO 2010: 61-79 - [c43]Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai:
Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP@TOOLS 2010: 61-76
2000 – 2009
- 2009
- [c42]Bernhard Beckert, Markus Wagner:
Probabilistic Models for the Verification of Human-Computer Interaction. KI 2009: 687-694 - [c41]Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer:
Formal Verification of a Microkernel Used in Dependable Software Systems. SAFECOMP 2009: 187-200 - 2008
- [j13]Bernhard K. Aichernig, Bernhard Beckert:
Software engineering and formal methods. Softw. Syst. Model. 7(3): 255-256 (2008) - [c40]Bernhard Beckert, Gerwin Klein:
Title, Preface, Table of Contents. VERIFY 2008 - [e6]Bernhard Beckert, Gerwin Klein:
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. CEUR Workshop Proceedings 372, CEUR-WS.org 2008 [contents] - [e5]Bernhard Beckert, Reiner Hähnle:
Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. Lecture Notes in Computer Science 4966, Springer 2008, ISBN 978-3-540-79123-2 [contents] - 2007
- [j12]Bernhard Beckert, Lawrence C. Paulson:
Preface. J. Autom. Reason. 38(1-3): 1-2 (2007) - [c39]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: 379-384 - [c38]Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43 - [c37]Bernhard Beckert, Vladimir Klebanov:
A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM 2007: 141-150 - [c36]Bernhard Beckert, Christoph Gladisch:
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. TAP 2007: 207-216 - [p1]Bernhard Beckert, Vladimir Klebanov, Steffen Schlager:
Dynamic Logic. The KeY Approach 2007: 69-177 - [e4]Bernhard Beckert:
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007. CEUR Workshop Proceedings 259, CEUR-WS.org 2007 [contents] - [e3]Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino. Lecture Notes in Computer Science 4334, Springer 2007, ISBN 978-3-540-68977-5 [contents] - 2006
- [j11]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): 71-81 (2006) - [c35]Bernhard Beckert, André Platzer:
Dynamic Logic with Non-rigid Functions. IJCAR 2006: 266-280 - [c34]Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt:
Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101 - [c33]Bernhard Beckert, Gerd Beuster:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. ICFEM 2006: 55-73 - [c32]Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260 - 2005
- [j10]Bernhard Beckert, Steffen Schlager:
Refinement and retrenchment for programming language data types. Formal Aspects Comput. 17(4): 423-442 (2005) - [j9]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): 32-54 (2005) - [c31]Bernhard Beckert, Steffen Schlager, Peter H. Schmitt:
An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329 - [c30]Bernhard Beckert, Kerry Trentelman:
Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR 2005: 154-168 - [e2]Bernhard K. Aichernig, Bernhard Beckert:
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. IEEE Computer Society 2005, ISBN 0-7695-2435-4 [contents] - [e1]Bernhard Beckert:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings. Lecture Notes in Computer Science 3702, Springer 2005, ISBN 3-540-28931-3 [contents] - 2004
- [c29]Bernhard Beckert, Steffen Schlager:
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. IFM 2004: 207-226 - [c28]Bernhard Beckert, Vladimir Klebanov:
Proof Reuse for Deductive Program Verification. SEFM 2004: 77-86 - 2003
- [j8]Bernhard Beckert:
Depth-first proof search without backtracking for free-variable clausal tableaux. J. Symb. Comput. 36(1-2): 117-138 (2003) - [c27]Bernhard Beckert, Wojciech Mostowski:
A Program Logic for Handling JAVA CARD's Transaction Mechanism. FASE 2003: 246-260 - [c26]Bernhard Beckert, Peter H. Schmitt:
Program Verification Using Change Information. SEFM 2003: 91- - 2002
- [c25]Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt:
The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330 - 2001
- [j7]Bernhard Beckert, Rajeev Goré:
Free-Variable Tableaux for Propositional Modal Logics. Stud Logica 69(1): 59-96 (2001) - [c24]Bernhard Beckert, Steffen Schlager:
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. IJCAR 2001: 626-641 - [c23]Thomas Baar, Bernhard Beckert, Peter H. Schmitt:
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54 - 2000
- [c22]Bernhard Beckert, Reiner Hähnle, Felip Manyà:
The 2-SAT Problem of Regular Signed CNF Formulas. ISMVL 2000: 331-336 - [c21]Bernhard Beckert:
A Dynamic Logic for the Formal Verification of Java Card Programs. Java Card Workshop 2000: 6-24 - [c20]Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt:
The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36
1990 – 1999
- 1999
- [j6]Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert:
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. J. Univers. Comput. Sci. 5(3): 113-134 (1999) - [c19]Bernhard Beckert, Reiner Hähnle, Felip Manyà:
Transformations between Signed and Classical Clause Logic. ISMVL 1999: 248-255 - [c18]Reiner Hähnle, Bernhard Beckert:
Proof Confluent Tableau Calculi. TABLEAUX 1999: 34-35 - 1998
- [b1]Bernhard Beckert:
Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens. Karlsruhe Institute of Technology, 1998 - [j5]Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz:
Simplification of Many-Valued Logic Formulas Using Anti-Links. J. Log. Comput. 8(4): 569-587 (1998) - [c17]Bernhard Beckert, Rajeev Goré:
System Description: leanK 2.0. CADE 1998: 51-55 - [c16]Bernhard Beckert, Rajeev Goré:
leanK 2.0. TABLEAUX 1998: 33-34 - [c15]Bernhard Beckert, Dov M. Gabbay:
Fibring Semantic Tableaux. TABLEAUX 1998: 77-92 - [c14]Bernhard Beckert, Ulrike Hartmer:
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. TABLEAUX 1998: 93-107 - 1997
- [j4]Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray:
Fast Subsumption Checks Using Anti-Links. J. Autom. Reason. 18(1): 47-83 (1997) - [j3]Bernhard Beckert:
Semantic Tableaux with Equality. J. Log. Comput. 7(1): 39-58 (1997) - [c13]Bernhard Beckert, Rajeev Goré:
Free Variable Tableaux for Propositional Modal Logics. TABLEAUX 1997: 91-106 - 1996
- [j2]Bernhard Beckert, Joachim Posegga:
Logic Programming as a Basis for Lean Automated Deduction. J. Log. Program. 28(3): 231-236 (1996) - [c12]Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann:
The Tableau-based Theorem Prover 3TAP Version 4.0. CADE 1996: 303-307 - [c11]Bernhard Beckert, Christian Pape:
Incremental Theory Reasoning Methods for Semantic Tableaux. TABLEAUX 1996: 93-109 - 1995
- [j1]Bernhard Beckert, Joachim Posegga:
leanTAP: Lean Tableau-based Deduction. J. Autom. Reason. 15(3): 339-358 (1995) - [c10]Bernhard Beckert, Reiner Hähnle:
Deduction by Combining Semantic Tableaux and Integer Programming. CSL 1995: 52-63 - [c9]Bernhard Beckert, Joachim Posegga:
leanEA: A Lean Evolving Algebra Compiler. CSL 1995: 64-85 - [c8]Bernhard Beckert, Joachim Posegga:
LeanEA: A Lean Evolving Algebra Compiler. WLP 1995: 73-82 - 1994
- [c7]Bernhard Beckert:
A Completion-Based Method for Mixed Universal and Rigid E-Unification. CADE 1994: 678-692 - [c6]Bernhard Beckert, Joachim Posegga:
leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). CADE 1994: 793-797 - [c5]Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray:
On Anti-Links. LPAR 1994: 275-289 - [c4]Bernhard Beckert, Joachim Posegga:
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means. WLP 1994: 108-111 - 1993
- [c3]Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. Kurt Gödel Colloquium 1993: 108-119 - 1992
- [c2]Bernhard Beckert, Reiner Hähnle:
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992: 507-521 - [c1]Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig:
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics. CADE 1992: 758-760 - [i2]Bernhard Beckert:
Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser. IWBS Report 208 (1992) - [i1]Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig:
The Many-Valued Theorem Prover 3TAP. IWBS Report 227 (1992)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-20 00:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
