Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bernhard Beckert
2010 – today
- 2013
[j20]Bernhard Beckert, Vladimir Klebanov: A Dynamic Logic for deductive verification of multi-threaded programs. Formal Asp. Comput. 25(3): 405-437 (2013)- [c52]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
- [c51]
- [c50]Bernhard Beckert, Thorsten Bormer, Markus Wagner: A Metric for Testing Program Verification Systems. TAP 2013: 56-75
- [c49]Bernhard Beckert, Rajeev Goré, Carsten Schürmann: On the Specification and Verification of Voting Schemes. VOTE-ID 2013: 25-40
- [e9]Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue (Eds.): 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
- 2012
- [c48]Bernhard Beckert, Sarah Grebing: Evaluating the Usability of Interactive Verification Systems. COMPARE 2012: 3-17
- [c47]Bernhard Beckert, Daniel Bruns: Formal Semantics of Model Fields in Annotation-Based Specifications. KI 2012: 13-24
- [c46]Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer: Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck. SSV 2012: 18-32
- [e8]Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (Eds.): 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
- [e7]Bernhard Beckert, Ferruccio Damiani, Dilian Gurov (Eds.): 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
- 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 - Information Technology 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. Systems Assurance Engineering and Management 2(2): 97-113 (2011)
- [c45]Bernhard Beckert, Thorsten Bormer, Florian Merz, Carsten Sinz: Integration of Bounded Model Checking and Deductive Verification. FoVeOOS 2011: 86-104
- [e6]Bernhard Beckert, Claude Marché (Eds.): 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
- 2010
- [j17]Franz Baader, Bernhard Beckert, Tobias Nipkow: Deduktion: von der Theorie zur Anwendung. Informatik Spektrum 33(5): 444-451 (2010)
- [j16]Bernhard Beckert, Reiner Hähnle: Tests and Proofs - Preface of the Special Issue. J. Autom. Reasoning 45(4): 327-329 (2010)
- [j15]Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer: Practical Aspects of Automated Deduction for Program Verification. KI 24(1): 43-49 (2010)
- [j14]Bernhard Beckert, Michal Moskal: Deductive Verification of System Software in the Verisoft XT Project. KI 24(1): 57-61 (2010)
- [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 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. Software and System Modeling 7(3): 255-256 (2008)
- [c40]
- [e5]Bernhard Beckert, Gerwin Klein (Eds.): 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
- [e4]Bernhard Beckert, Reiner Hähnle (Eds.): Tests and Proofs, Second 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
- 2007
- [j12]
- [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
- [e3]Bernhard Beckert (Ed.): 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
- 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 Intelligent Systems 21(6): 71-81 (2006)
- [c35]
- [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 Asp. 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. Software and System Modeling 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 (Eds.): 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
- [e1]Bernhard Beckert (Ed.): 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
- 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]
- 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. Studia 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. UCS 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]
- 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]
- [c16]
- [c15]
- [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. Reasoning 18(1): 47-83 (1997)
- [j3]
- [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. Reasoning 15(3): 339-358 (1995)
- [c10]Bernhard Beckert, Reiner Hähnle: Deduction by Combining Semantic Tableaux and Integer Programming. CSL 1995: 52-63
- [c9]
- [c8]
- 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]
- [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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team