The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernhard Beckert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  48. Title, Preface, Table of Contents. [Citation Graph (, )][DBLP]


  49. Verifying Object-Oriented Programs with KeY: A Tutorial. [Citation Graph (, )][DBLP]


  50. Probabilistic Models for the Verification of Human-Computer Interaction. [Citation Graph (, )][DBLP]


  51. Formal Verification of a Microkernel Used in Dependable Software Systems. [Citation Graph (, )][DBLP]


  52. A Dynamic Logic for Deductive Verification of Concurrent Programs. [Citation Graph (, )][DBLP]


  53. Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002