Bernhard Beckert

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)

Coauthor Index

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

Colors in the list of coauthors