Bernhard Beckert

	2011
72		Bernhard Beckert, Claude Marché: Formal Verification of Object-Oriented Software - International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Springer 2011
71		Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai: KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Systems Assurance Engineering and Management 2(2): 97-113 (2011)
70		Bernhard Beckert, Dennis Hofheinz, Jörn Müller-Quade, Alexander Pretschner, Gregor Snelting: Software Security in Virtualized Infrastructures - The Smart Meter Example. it - Information Technology 53(3): 142-151 (2011)
	2010
69		Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov: Improving the Usability of Specification Languages and Methods for Annotation-Based Verification. FMCO 2010: 61-79
68		Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai: Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP 2010: 61-76
67		Franz Baader, Bernhard Beckert, Tobias Nipkow: Deduktion: von der Theorie zur Anwendung. Informatik Spektrum 33(5): 444-451 (2010)
66		Bernhard Beckert, Reiner Hähnle: Tests and Proofs - Preface of the Special Issue. J. Autom. Reasoning 45(4): 327-329 (2010)
65		Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer: Practical Aspects of Automated Deduction for Program Verification. KI 24(1): 43-49 (2010)
64		Bernhard Beckert, Michal Moskal: Deductive Verification of System Software in the Verisoft XT Project. KI 24(1): 57-61 (2010)
	2009
63		Bernhard Beckert, Markus Wagner: Probabilistic Models for the Verification of Human-Computer Interaction. KI 2009: 687-694
62		Christoph Baumann, Bernhard Beckert, Holger Blasum, Thorsten Bormer: Formal Verification of a Microkernel Used in Dependable Software Systems. SAFECOMP 2009: 187-200
	2008
61		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
60		Bernhard Beckert, Reiner Hähnle: Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Springer 2008
59		Bernhard Beckert, Gerwin Klein: Title, Preface, Table of Contents. VERIFY 2008
58		Bernhard K. Aichernig, Bernhard Beckert: Software engineering and formal methods. Software and System Modeling 7(3): 255-256 (2008)
	2007
57		Bernhard Beckert: Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007 CEUR-WS.org 2007
56		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
55		Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
54		Bernhard Beckert, Vladimir Klebanov: A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM 2007: 141-150
53		Bernhard Beckert, Christoph Gladisch: White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing. TAP 2007: 207-216
52		Bernhard Beckert, Lawrence C. Paulson: Preface. J. Autom. Reasoning 38(1-3): 1-2 (2007)
	2006
51		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
50		Bernhard Beckert, Gerd Beuster: A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. ICFEM 2006: 55-73
49		Bernhard Beckert, André Platzer: Dynamic Logic with Non-rigid Functions. IJCAR 2006: 266-280
48		Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260
47		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
46		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
45		Bernhard Beckert: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings Springer 2005
44		Bernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329
43		Bernhard Beckert, Kerry Trentelman: Second-Order Principles in Specification Languages for Object-Oriented Programs. LPAR 2005: 154-168
42		Bernhard Beckert, Steffen Schlager: Refinement and retrenchment for programming language data types. Formal Asp. Comput. 17(4): 423-442 (2005)
41		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
40		Bernhard Beckert, Steffen Schlager: Software Verification with Integrated Data Type Refinement for Integer Arithmetic. IFM 2004: 207-226
39		Bernhard Beckert, Vladimir Klebanov: Proof Reuse for Deductive Program Verification. SEFM 2004: 77-86
	2003
38		Bernhard Beckert, Wojciech Mostowski: A Program Logic for Handling JAVA CARD's Transaction Mechanism. FASE 2003: 246-260
37		Bernhard Beckert, Peter H. Schmitt: Program Verification Using Change Information. SEFM 2003: 91-
36		Bernhard Beckert: Depth-first proof search without backtracking for free-variable clausal tableaux. J. Symb. Comput. 36(1-2): 117-138 (2003)
	2002
35		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
34		Thomas Baar, Bernhard Beckert, Peter H. Schmitt: An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54
33		Bernhard Beckert, Steffen Schlager: A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities. IJCAR 2001: 626-641
32		Bernhard Beckert, Rajeev Goré: Free-Variable Tableaux for Propositional Modal Logics. Studia Logica 69(1): 59-96 (2001)
	2000
31		Bernhard Beckert, Reiner Hähnle, Felip Manyà: The 2-SAT Problem of Regular Signed CNF Formulas. ISMVL 2000: 331-336
30		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
29		Bernhard Beckert: A Dynamic Logic for the Formal Verification of Java Card Programs. Java Card Workshop 2000: 6-24
	1999
28		Bernhard Beckert, Reiner Hähnle, Felip Manyà: Transformations between Signed and Classical Clause Logic. ISMVL 1999: 248-255
27		Reiner Hähnle, Bernhard Beckert: Proof Confluent Tableau Calculi. TABLEAUX 1999: 34-35
26		Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert: Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. J. UCS 5(3): 113-134 (1999)
	1998
25		Bernhard Beckert, Rajeev Goré: System Description: leanK 2.0. CADE 1998: 51-55
24		Bernhard Beckert, Rajeev Goré: leanK 2.0. TABLEAUX 1998: 33-34
23		Bernhard Beckert, Dov M. Gabbay: Fibring Semantic Tableaux. TABLEAUX 1998: 77-92
22		Bernhard Beckert, Ulrike Hartmer: A Tableau Calculus for Quantifier-Free Set Theoretic Formulae. TABLEAUX 1998: 93-107
21		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)
20		Bernhard Beckert: Integration und Uniformierung von Methoden des tableaubasierten Theorembeweisens. Karlsruhe Institute of Technology 1998
	1997
19		Bernhard Beckert, Rajeev Goré: Free Variable Tableaux for Propositional Modal Logics. TABLEAUX 1997: 91-106
18		Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray: Fast Subsumption Checks Using Anti-Links. J. Autom. Reasoning 18(1): 47-83 (1997)
17		Bernhard Beckert: Semantic Tableaux with Equality. J. Log. Comput. 7(1): 39-58 (1997)
	1996
16		Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann: The Tableau-based Theorem Prover 3TAP Version 4.0. CADE 1996: 303-307
15		Bernhard Beckert, Christian Pape: Incremental Theory Reasoning Methods for Semantic Tableaux. TABLEAUX 1996: 93-109
14		Bernhard Beckert, Joachim Posegga: Logic Programming as a Basis for Lean Automated Deduction. J. Log. Program. 28(3): 231-236 (1996)
	1995
13		Bernhard Beckert, Reiner Hähnle: Deduction by Combining Semantic Tableaux and Integer Programming. CSL 1995: 52-63
12		Bernhard Beckert, Joachim Posegga: leanEA: A Lean Evolving Algebra Compiler. CSL 1995: 64-85
11		Bernhard Beckert, Joachim Posegga: LeanEA: A Lean Evolving Algebra Compiler. WLP 1995: 73-82
10		Bernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-based Deduction. J. Autom. Reasoning 15(3): 339-358 (1995)
	1994
9		Bernhard Beckert: A Completion-Based Method for Mixed Universal and Rigid E-Unification. CADE 1994: 678-692
8		Bernhard Beckert, Joachim Posegga: leanTAP: Lean Tableau-Based Theorem Proving (Extended Abstract). CADE 1994: 793-797
7		Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray: On Anti-Links. LPAR 1994: 275-289
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	[26] [30] [35] [41] [51] [55] [65]
2	Bernhard K. Aichernig	[46] [58]
3	Franz Baader	[67]
4	Thomas Baar	[30] [34] [35] [41]
5	Thomas Ball	[47]
6	Christoph Baumann	[62]
7	Gerd Beuster	[50]
8	Holger Blasum	[62]
9	Thorsten Bormer	[62] [69]
10	Richard Bubel	[41]
11	Gonzalo Escalada-Imaz	[21]
12	Dov M. Gabbay	[23]
13	Stefan Gerberding	[1] [3]
14	Martin Giese	[30] [35] [41] [56] [65]
15	Christoph Gladisch	[53] [68] [71]
16	Rajeev Goré	[19] [24] [25] [32]
17	Cordell Green	[47]
18	Elmar Habermalz	[30] [35]
19	Reiner Hähnle	[1] [3] [4] [5] [7] [13] [16] [18] [21] [27] [28] [30] [31] [35] [41] [47] [48] [51] [55] [56] [60] [66]
20	Ulrike Hartmer	[22]
21	C. A. R. Hoare (Tony Hoare)	[47]
22	Dennis Hofheinz	[70]
23	Werner Kernig	[1] [3]
24	Vladimir Klebanov	[39] [54] [56] [69]
25	Gerwin Klein	[59] [61]
26	Felip Manyà	[28] [31]
27	Claude Marché	[72]
28	Wolfram Menzel	[30] [35] [41]
29	Michal Moskal	[64]
30	Wojciech Mostowski	[35] [38] [41]
31	Jörn Müller-Quade	[70]
32	Neil V. Murray	[7] [18]
33	Tobias Nipkow	[67]
34	Peter Oel	[16]
35	Christian Pape	[15]
36	Lawrence C. Paulson	[52]
37	André Platzer	[49]
38	Joachim Posegga	[6] [8] [10] [11] [12] [14]
39	Alexander Pretschner	[70]
40	Sriram K. Rajamani	[47]
41	Anavai Ramesh	[7] [18]
42	Silvio Ranise	[47]
43	Andreas Roth	[41]
44	Philipp Rümmer	[51] [56] [65]
45	Steffen Schlager	[33] [40] [41] [42] [44] [56]
46	Peter H. Schmitt	[5] [30] [34] [35] [37] [41] [44] [48] [51] [55] [56]
47	Douglas R. Smith	[47]
48	Gregor Snelting	[70]
49	Gernot Stenz	[26]
50	Martin Sulzmann	[16]
51	Cesare Tinelli	[47]
52	Kerry Trentelman	[43]
53	Shmuel S. Tyszberowicz	[68] [71]
54	Markus Wagner	[63]
55	Amiram Yehudai	[68] [71]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page