Bernhard Beckert Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Wolfgang Ahrendt [24] [28] [33] [39] [49] [53]
2Bernhard K. Aichernig [44] [56]
3Thomas Baar [28] [32] [33] [39]
4Thomas Ball [45]
5Christoph Baumann [60]
6Gerd Beuster [48]
7Holger Blasum [60]
8Thorsten Bormer [60]
9Richard Bubel [39]
10Gonzalo Escalada-Imaz [19]
11Dov M. Gabbay [21]
12Stefan Gerberding [1] [3]
13Martin Giese [28] [33] [39] [54]
14Christoph Gladisch [51]
15Rajeev Goré [18] [22] [23] [30]
16Cordell Green [45]
17Elmar Habermalz [28] [33]
18Reiner Hähnle [1] [3] [4] [5] [12] [15] [17] [19] [25] [26] [28] [29] [33] [39] [45] [46] [49] [53] [54] [58]
19Ulrike Hartmer [20]
20C. A. R. Hoare (Tony Hoare) [45]
21Werner Kernig [1] [3]
22Vladimir Klebanov [37] [52] [54]
23Gerwin Klein [57] [59]
24Felip Manyà [26] [29]
25Wolfram Menzel [28] [33] [39]
26Wojciech Mostowski [33] [36] [39]
27Neil V. Murray [17]
28Peter Oel [15]
29Christian Pape [14]
30Lawrence C. Paulson [50]
31André Platzer [47]
32Joachim Posegga [6] [7] [9] [10] [11] [13]
33Sriram K. Rajamani [45]
34Anavai Ramesh [17]
35Silvio Ranise [45]
36Andreas Roth [39]
37Philipp Rümmer [49] [54]
38Steffen Schlager [31] [38] [39] [40] [42] [54]
39Peter H. Schmitt [5] [28] [32] [33] [35] [39] [42] [46] [49] [53] [54]
40Douglas R. Smith [45]
41Gernot Stenz [24]
42Martin Sulzmann [15]
43Cesare Tinelli [45]
44Kerry Trentelman [41]
45Markus Wagner [61]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)