


Остановите войну!
for scientists:
Bernhard 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
- 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]