2008 |
59 | | Bernhard Beckert,
Gerwin Klein:
Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008
CEUR-WS.org 2008 |
58 | | Bernhard Beckert,
Reiner Hähnle:
Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Springer 2008 |
57 | EE | Bernhard Beckert,
Gerwin Klein:
Title, Preface, Table of Contents.
VERIFY 2008 |
56 | EE | Bernhard K. Aichernig,
Bernhard Beckert:
Software engineering and formal methods.
Software and System Modeling 7(3): 255-256 (2008) |
2007 |
55 | | Bernhard Beckert:
Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007
CEUR-WS.org 2007 |
54 | 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 |
53 | EE | Wolfgang Ahrendt,
Bernhard Beckert,
Reiner Hähnle,
Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems.
FMOODS 2007: 32-43 |
52 | EE | Bernhard Beckert,
Vladimir Klebanov:
A Dynamic Logic for Deductive Verification of Concurrent Programs.
SEFM 2007: 141-150 |
51 | EE | Bernhard Beckert,
Christoph Gladisch:
White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.
TAP 2007: 207-216 |
50 | EE | Bernhard Beckert,
Lawrence C. Paulson:
Preface.
J. Autom. Reasoning 38(1-3): 1-2 (2007) |
2006 |
49 | EE | 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 |
48 | EE | Bernhard Beckert,
Gerd Beuster:
A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.
ICFEM 2006: 55-73 |
47 | EE | Bernhard Beckert,
André Platzer:
Dynamic Logic with Non-rigid Functions.
IJCAR 2006: 266-280 |
46 | EE | Bernhard Beckert,
Reiner Hähnle,
Peter H. Schmitt:
Integrating Object-Oriented Design and Deductive Verification of Software.
SEFM 2006: 260 |
45 | EE | 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) |
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) |