dblp.uni-trier.dewww.uni-trier.de

Bernhard Beckert Vis

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

*2009
61EEBernhard Beckert, Markus Wagner: Probabilistic Models for the Verification of Human-Computer Interaction. KI 2009: 687-694
60EEChristoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer: Formal Verification of a Microkernel Used in Dependable Software Systems. SAFECOMP 2009: 187-200
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
57EEBernhard Beckert, Gerwin Klein: Title, Preface, Table of Contents. VERIFY 2008
56EEBernhard 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
54EEBernhard 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
53EEWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
52EEBernhard Beckert, Vladimir Klebanov: A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM 2007: 141-150
51EEBernhard Beckert, Christoph Gladisch: White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. TAP 2007: 207-216
50EEBernhard Beckert, Lawrence C. Paulson: Preface. J. Autom. Reasoning 38(1-3): 1-2 (2007)
2006
49EEWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt: Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101
48EEBernhard Beckert, Gerd Beuster: A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. ICFEM 2006: 55-73
47EEBernhard Beckert, André Platzer: Dynamic Logic with Non-rigid Functions. IJCAR 2006: 266-280
46EEBernhard Beckert, Reiner Hähnle, Peter H. Schmitt: Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260
45EEBernhard 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
42EEBernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329
41EEBernhard Beckert, Kerry Trentelman: Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR 2005: 154-168
40EEBernhard Beckert, Steffen Schlager: Refinement and retrenchment for programming language data types. Formal Asp. Comput. 17(4): 423-442 (2005)
39EEWolfgang 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
38EEBernhard Beckert, Steffen Schlager: Software Verification with Integrated Data Type Refinement for Integer Arithmetic. IFM 2004: 207-226
37EEBernhard Beckert, Vladimir Klebanov: Proof Reuse for Deductive Program Verification. SEFM 2004: 77-86
2003
36EEBernhard Beckert, Wojciech Mostowski: A Program Logic for Handling JAVA CARD's Transaction Mechanism. FASE 2003: 246-260
35EEBernhard Beckert, Peter H. Schmitt: Program Verification Using Change Information. SEFM 2003: 91-
34EEBernhard Beckert: Depth-first proof search without backtracking for free-variable clausal tableaux. J. Symb. Comput. 36(1-2): 117-138 (2003)
2002
33EEWolfgang 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
32EEThomas Baar, Bernhard Beckert, Peter H. Schmitt: An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54
31EEBernhard 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
29EEBernhard Beckert, Reiner Hähnle, Felip Manyà: The 2-SAT Problem of Regular Signed CNF Formulas. ISMVL 2000: 331-336
28EEWolfgang 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
27EEBernhard Beckert: A Dynamic Logic for the Formal Verification of Java Card Programs. Java Card Workshop 2000: 6-24
1999
26EEBernhard 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
24EEGernot Stenz, Wolfgang Ahrendt, Bernhard Beckert: Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. J. UCS 5(3): 113-134 (1999)
1998
23EEBernhard Beckert, Rajeev Goré: System Description: leanK 2.0. CADE 1998: 51-55
22EEBernhard Beckert, Rajeev Goré: leanK 2.0. TABLEAUX 1998: 33-34
21EEBernhard Beckert, Dov M. Gabbay: Fibring Semantic Tableaux. TABLEAUX 1998: 77-92
20EEBernhard 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
15EEBernhard 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
12EEBernhard Beckert, Reiner Hähnle: Deduction by Combining Semantic Tableaux and Integer Programming. CSL 1995: 52-63
11EEBernhard 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
8EEBernhard Beckert: A Completion-Based Method for Mixed Universal and Rigid E-Unification. CADE 1994: 678-692
7EEBernhard 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
4EEBernhard Beckert, Reiner Hähnle: An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992: 507-521
3EEBernhard 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)

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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)