| 2008 |
|---|
| 54 | | Bernhard Beckert,
Reiner Hähnle:
Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Springer 2008 |
| 2007 |
|---|
| 53 | | Bernhard Beckert:
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007
CEUR-WS.org 2007 |
| 52 | EE | 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 |
| 51 | EE | Wolfgang Ahrendt,
Bernhard Beckert,
Reiner Hähnle,
Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems.
FMOODS 2007: 32-43 |
| 50 | EE | Bernhard Beckert,
Vladimir Klebanov:
A Dynamic Logic for Deductive Verification of Concurrent Programs.
SEFM 2007: 141-150 |
| 49 | EE | Bernhard Beckert,
Christoph Gladisch:
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.
TAP 2007: 207-216 |
| 48 | EE | Bernhard Beckert,
Lawrence C. Paulson:
Preface.
J. Autom. Reasoning 38(1-3): 1-2 (2007) |
| 2006 |
|---|
| 47 | EE | Bernhard Beckert,
Gerd Beuster:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.
ICFEM 2006: 55-73 |
| 46 | EE | Bernhard Beckert,
André Platzer:
Dynamic Logic with Non-rigid Functions.
IJCAR 2006: 266-280 |
| 45 | EE | Bernhard Beckert,
Reiner Hähnle,
Peter H. Schmitt:
Integrating Object-Oriented Design and Deductive Verification of Software.
SEFM 2006: 260 |
| 2005 |
|---|
| 44 | | 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 |
| 43 | | Bernhard Beckert:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Springer 2005 |
| 42 | EE | Bernhard Beckert,
Steffen Schlager,
Peter H. Schmitt:
An Improved Rule for While Loops in Deductive Program Verification.
ICFEM 2005: 315-329 |
| 41 | EE | Bernhard Beckert,
Kerry Trentelman:
Second-Order Principles in Specification Languages for Object-Oriented Programs.
LPAR 2005: 154-168 |
| 40 | EE | Bernhard Beckert,
Steffen Schlager:
Refinement and retrenchment for programming language data types.
Formal Asp. Comput. 17(4): 423-442 (2005) |
| 39 | EE | 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) |
| 2004 |
|---|
| 38 | EE | Bernhard Beckert,
Steffen Schlager:
Software Verification with Integrated Data Type Refinement for Integer Arithmetic.
IFM 2004: 207-226 |
| 37 | EE | Bernhard Beckert,
Vladimir Klebanov:
Proof Reuse for Deductive Program Verification.
SEFM 2004: 77-86 |
| 2003 |
|---|
| 36 | EE | Bernhard Beckert,
Wojciech Mostowski:
A Program Logic for Handling JAVA CARD's Transaction Mechanism.
FASE 2003: 246-260 |
| 35 | EE | Bernhard Beckert,
Peter H. Schmitt:
Program Verification Using Change Information.
SEFM 2003: 91- |
| 34 | EE | Bernhard Beckert:
Depth-first proof search without backtracking for free-variable clausal tableaux.
J. Symb. Comput. 36(1-2): 117-138 (2003) |
| 2002 |
|---|
| 33 | EE | 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 |
|---|
| 32 | EE | Thomas Baar,
Bernhard Beckert,
Peter H. Schmitt:
An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
Ershov Memorial Conference 2001: 47-54 |
| 31 | EE | Bernhard Beckert,
Steffen Schlager:
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities.
IJCAR 2001: 626-641 |
| 30 | | Bernhard Beckert,
Rajeev Goré:
Free-Variable Tableaux for Propositional Modal Logics.
Studia Logica 69(1): 59-96 (2001) |
| 2000 |
|---|
| 29 | EE | Bernhard Beckert,
Reiner Hähnle,
Felip Manyà:
The 2-SAT Problem of Regular Signed CNF Formulas.
ISMVL 2000: 331-336 |
| 28 | EE | 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 |
| 27 | EE | Bernhard Beckert:
A Dynamic Logic for the Formal Verification of Java Card Programs.
Java Card Workshop 2000: 6-24 |
| 1999 |
|---|
| 26 | EE | Bernhard Beckert,
Reiner Hähnle,
Felip Manyà:
Transformations between Signed and Classical Clause Logic.
ISMVL 1999: 248-255 |
| 25 | | Reiner Hähnle,
Bernhard Beckert:
Proof Confluent Tableau Calculi.
TABLEAUX 1999: 34-35 |
| 24 | EE | Gernot Stenz,
Wolfgang Ahrendt,
Bernhard Beckert:
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.
J. UCS 5(3): 113-134 (1999) |
| 1998 |
|---|
| 23 | EE | Bernhard Beckert,
Rajeev Goré:
System Description: leanK 2.0.
CADE 1998: 51-55 |
| 22 | EE | Bernhard Beckert,
Rajeev Goré:
leanK 2.0.
TABLEAUX 1998: 33-34 |
| 21 | EE | Bernhard Beckert,
Dov M. Gabbay:
Fibring Semantic Tableaux.
TABLEAUX 1998: 77-92 |
| 20 | EE | Bernhard Beckert,
Ulrike Hartmer:
A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.
TABLEAUX 1998: 93-107 |
| 19 | | 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) |
| 1997 |
|---|
| 18 | | Bernhard Beckert,
Rajeev Goré:
Free Variable Tableaux for Propositional Modal Logics.
TABLEAUX 1997: 91-106 |
| 17 | | Anavai Ramesh,
Bernhard Beckert,
Reiner Hähnle,
Neil V. Murray:
Fast Subsumption Checks Using Anti-Links.
J. Autom. Reasoning 18(1): 47-83 (1997) |
| 16 | | Bernhard Beckert:
Semantic Tableaux with Equality.
J. Log. Comput. 7(1): 39-58 (1997) |
| 1996 |
|---|
| 15 | | Bernhard Beckert,
Reiner Hähnle,
Peter Oel,
Martin Sulzmann:
The Tableau-based Theorem Prover 3TAP Version 4.0.
CADE 1996: 303-307 |
| 14 | | Bernhard Beckert,
Christian Pape:
Incremental Theory Reasoning Methods for Semantic Tableaux.
TABLEAUX 1996: 93-109 |
| 13 | | Bernhard Beckert,
Joachim Posegga:
Logic Programming as a Basis for Lean Automated Deduction.
J. Log. Program. 28(3): 231-236 (1996) |
| 1995 |
|---|
| 12 | | Bernhard Beckert,
Reiner Hähnle:
Deduction by Combining Semantic Tableaux and Integer Programming.
CSL 1995: 52-63 |
| 11 | | Bernhard Beckert,
Joachim Posegga:
leanEA: A Lean Evolving Algebra Compiler.
CSL 1995: 64-85 |
| 10 | | Bernhard Beckert,
Joachim Posegga:
LeanEA: A Lean Evolving Algebra Compiler.
WLP 1995: 73-82 |
| 9 | | Bernhard Beckert,
Joachim Posegga:
leanTAP: Lean Tableau-based Deduction.
J. Autom. Reasoning 15(3): 339-358 (1995) |
| 1994 |
|---|
| 8 | | Bernhard Beckert:
A Completion-Based Method for Mixed Universal and Rigid E-Unification.
CADE 1994: 678-692 |
| 7 | | Bernhard Beckert,
Joachim Posegga:
leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract).
CADE 1994: 793-797 |
| 6 | | Bernhard Beckert,
Joachim Posegga:
Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means.
WLP 1994: 108-111 |
| 1993 |
|---|
| 5 | | 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 |
|---|
| 4 | | Bernhard Beckert,
Reiner Hähnle:
An Improved Method for Adding Equality to Free Variable Semantic Tableaux.
CADE 1992: 507-521 |
| 3 | | Bernhard Beckert,
Stefan Gerberding,
Reiner Hähnle,
Werner Kernig:
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics.
CADE 1992: 758-760 |
| 2 | | Bernhard Beckert:
Konzeption und Implementierung von Gleichheit für einen tableau-basierten Theorem-Beweiser
IWBS Report 208: (1992) |
| 1 | | Reiner Hähnle,
Bernhard Beckert,
Stefan Gerberding,
Werner Kernig:
The Many-Valued Theorem Prover 3TAP.
IWBS Report 227: (1992) |
