Reiner Hähnle

	2012
91		Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez: Verified Resource Guarantees for Heap Manipulating Programs. FASE 2012: 130-145
	2011
90		Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez: Verified resource guarantees using COSTA and KeY. PEPM 2011: 73-76
89		Richard Bubel, Reiner Hähnle, Ulrich Geilmann: A Formalisation of Java Strings for Program Specification and Verification. SEFM 2011: 90-105
88		Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong: Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457
87		Ina Schaefer, Reiner Hähnle: Formal Methods in Software Product Line Engineering. IEEE Computer 44(2): 82-85 (2011)
86		Jürgen Giesl, Reiner Hähnle: Preface: Special Issue of Selected Extended Papers of IJCAR 2010. J. Autom. Reasoning 47(4): 337-339 (2011)
	2010
85		Jürgen Giesl, Reiner Hähnle: Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings Springer 2010
84		Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe: A visual interactive debugger based on symbolic execution. ASE 2010: 143-146
83		Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen: ABS: A Core Language for Abstract Behavioral Specification. FMCO 2010: 142-164
82		Richard Bubel, Reiner Hähnle, Ran Ji: Program Specialization via a Software Verification Tool. FMCO 2010: 80-101
81		Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel: Specifying Imperative ML-Like Programs Using Dynamic Logic. FoVeOOS 2010: 122-137
80		Reiner Hähnle: Task Forces in the EternalS Coordination Action. ISoLA (2) 2010: 20-22
79		Reiner Hähnle: HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. ISoLA (2) 2010: 3-8
78		Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong: HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops 2010: 121-128
77		Bernhard Beckert, Reiner Hähnle: Tests and Proofs - Preface of the Special Issue. J. Autom. Reasoning 45(4): 327-329 (2010)
	2009
76		Richard Bubel, Reiner Hähnle, Ran Ji: Interleaving Symbolic Execution and Partial Evaluation. FMCO 2009: 125-146
75		Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM 2009: 125-143
	2008
74		Bernhard Beckert, Reiner Hähnle: Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Springer 2008
73		Richard Bubel, Reiner Hähnle, Benjamin Weiß: Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO 2008: 247-277
72		Richard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information. VERIFY 2008
71		Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter: Integration of a security type system into a program logic. Theor. Comput. Sci. 402(2-3): 172-189 (2008)
	2007
70		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
69		Oleg Mürk, Daniel Larsson, Reiner Hähnle: KeY-C: A Tool for Verification of C Programs. CADE 2007: 385-390
68		Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
67		Christian Engel, Reiner Hähnle: Generating Unit Tests from Formal Proofs. TAP 2007: 169-188
66		Daniel Larsson, Reiner Hähnle: Symbolic Fault Injection. VERIFY 2007
	2006
65		Tobias Gedell, Reiner Hähnle: Verification by Parallelization of Parametric Code. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 138-159
64		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
63		Tobias Gedell, Reiner Hähnle: Automating Verification of Loops by Parallelization. LPAR 2006: 332-346
62		Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260
61		Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter: Integration of a Security Type System into a Program Logic. TGC 2006: 116-131
60		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)
59		Gérard Govaert, Reiner Hähnle, Mohamed Nadif: Preface. Soft Comput. 10(5): 405-405 (2006)
	2005
58		Reiner Hähnle, Neil V. Murray, Erik Rosenthal: Normal Forms for Knowledge Compilation. ISMIS 2005: 304-313
57		Ádám Darvas, Reiner Hähnle, David Sands: A Theorem Proving Approach to Analysis of Secure Information Flow. SPC 2005: 193-209
56		Reiner Hähnle: Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. Logic Journal of the IGPL 13(4): 415-433 (2005)
55		Richard Bubel, Reiner Hähnle: Integration of informal and formal development of object-oriented safety-critical software. STTT 7(3): 197-211 (2005)
54		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
53		Reiner Hähnle, Wojciech Mostowski: Verification of Safety Properties in the Presence of Transactions. CASSIS 2004: 151-171
52		Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75
	2003
51		Reiner Hähnle, Angela Wallenburg: Using a Software Testing Technique to Improve Theorem Proving. FATES 2003: 30-41
50		Reiner Hähnle, Niklas Sörensson: Fair Constraint Merging Tableaux in Lazy Functional Programming Style. TABLEAUX 2003: 252-256
49		Richard Bubel, Reiner Hähnle: Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. Electr. Notes Theor. Comput. Sci. 80: 1-23 (2003)
	2002
48		Reiner Hähnle, Kristofer Johannisson, Aarne Ranta: An Authoring Tool for Informal and Formal Requirements Specifications. FASE 2002: 233-248
47		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
46		Reiner Hähnle, Neil V. Murray, Erik Rosenthal: Ordered Resolution vs. Connection Graph Resolution. IJCAR 2001: 182-194
45		Reiner Hähnle: Complexity of Many-Valued Logics. ISMVL 2001: 137-
44		Ramón Béjar, Reiner Hähnle, Felip Manyà: A Modular Reduction of Regular Logic to Classical Logic. ISMVL 2001: 221-226
43		Reiner Hähnle: Tableaux and Related Methods. Handbook of Automated Reasoning 2001: 100-178
	2000
42		Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai: Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic 2000: 285-299
41		Bernhard Beckert, Reiner Hähnle, Felip Manyà: The 2-SAT Problem of Regular Signed CNF Formulas. ISMVL 2000: 331-336
40		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
39		Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt: Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20(3): (2000)
	1999
38		Bernhard Beckert, Reiner Hähnle, Felip Manyà: Transformations between Signed and Classical Clause Logic. ISMVL 1999: 248-255
37		Reiner Hähnle, Bernhard Beckert: Proof Confluent Tableau Calculi. TABLEAUX 1999: 34-35
36		Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif: J.UCS Special Issue on Integration of Deduction Systems. J. UCS 5(3): (1999)
	1998
35		Reiner Hähnle, Neil V. Murray, Erik Rosenthal: Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. TABLEAUX 1998: 173-186
34		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)
33		Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: Integrierter Deduktiver Software-Entwurf. KI 12(4): 40-41 (1998)
32		Reiner Hähnle: Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Studia Logica 61(1): 101-121 (1998)
	1997
31		Reiner Hähnle, Neil V. Murray, Erik Rosenthal: Completeness for Linear Regular Negation Normal Form Inference Systems. ISMIS 1997: 590-599
30		Christian Pape, Reiner Hähnle: Restart Tableaux with Selection Function. Kurt Gödel Colloquium 1997: 219-232
29		Reiner Hähnle, Christian Pape: Ordered Tableaux: Extensions and Applications. TABLEAUX 1997: 173-187
28		Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray: Fast Subsumption Checks Using Anti-Links. J. Autom. Reasoning 18(1): 47-83 (1997)
27		Reiner Hähnle: Proof theory of many-valued logic--linear optimization--logic design: connections and interactions. Soft Comput. 1(3): 107-119 (1997)
	1996
26		Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann: The Tableau-based Theorem Prover 3TAP Version 4.0. CADE 1996: 303-307
25		Reiner Hähnle: Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. ISMVL 1996: 118-123
24		Reiner Hähnle, Stefan Klingenbeck: A-Ordered Tableaux. J. Log. Comput. 6(6): 819-833 (1996)
23		Reiner Hähnle: Exploiting Data Dependencies in Many-Valued Logics. Journal of Applied Non-Classical Logics 6(1): (1996)
	1995
22		Peter Baumgartner, Reiner Hähnle, Joachim Posegga: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings Springer 1995
21		Bernhard Beckert, Reiner Hähnle: Deduction by Combining Semantic Tableaux and Integer Programming. CSL 1995: 52-63
	1994
20		Stefan Klingenbeck, Reiner Hähnle: Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722
19		Reiner Hähnle, Ortrun Ibens: Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539
18		Reiner Hähnle: Efficient Deduction in Many-Valued Logics. ISMVL 1994: 240-249
17		Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray: On Anti-Links. LPAR 1994: 275-289
16		Reiner Hähnle: Many-Valued Logic and Mixed Integer Programming. Ann. Math. Artif. Intell. 12(3-4): 231-263 (1994)
15		Reiner Hähnle, Peter H. Schmitt: The Liberalized delta-Rule in Free Variable Semantic Tableaux. J. Autom. Reasoning 13(2): 211-221 (1994)
14		Reiner Hähnle: Short Conjunctive Normal Forms in Finitely Valued Logics. J. Log. Comput. 4(6): 905-927 (1994)
	1993
13		Reiner Hähnle: Short CNF in Finitely-Valued Logics. ISMIS 1993: 49-58
12		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
11		Reiner Hähnle, Werner Kernig: Verification of Switch-Level Designs with Many-Valued Logic. LPAR 1993: 158-169
	1992
10		Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl: Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992 TABLEAUX 1992
9		Reiner Hähnle: A New Translation from Deduction into Integer Programming. AISMC 1992: 262-275
8		Bernhard Beckert, Reiner Hähnle: An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992: 507-521
7		Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig: The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics. CADE 1992: 758-760
6		Reiner Hähnle: Analytic Tableau and Integer Programming (Extended Abstract). TABLEAUX 1992: 33-35
5		Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig: The Many-Valued Theorem Prover 3TAP. IWBS Report 227: (1992)
	1991
4		Reiner Hähnle: Uniform Notation of Tableau Rules for Multiple-Valued Logics. ISMVL 1991: 238-245
	1990
3		Reiner Hähnle: Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. CSL 1990: 248-260
2		Reiner Hähnle: Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik. IWBS Report 136: (1990)
	1986
1		Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan: An Interactive Verification System Based on Dynamic Logic. CADE 1986: 306-315

Coauthor Index

1	Wolfgang Ahrendt	[40] [47] [54] [64] [68] [75]
2	Elvira Albert	[90] [91]
3	Thomas Baar	[39] [40] [47] [52] [54]
4	Vincent Balat	[81]
5	Thomas Ball	[60]
6	Marcus Baum	[84]
7	Peter Baumgartner	[22]
8	Bernhard Beckert	[5] [7] [8] [12] [17] [21] [26] [28] [34] [37] [38] [40] [41] [47] [54] [60] [62] [64] [68] [70] [74] [77]
9	Ramón Béjar	[44]
10	Jean Bézivin	[52]
11	Richard Bubel	[49] [54] [55] [72] [73] [75] [76] [81] [82] [84] [89] [90] [91]
12	Dave Clarke (David G. Clarke)	[78] [88]
13	Ádám Darvas	[57]
14	Nikolay Diakov	[78] [88]
15	Christian Engel	[67]
16	Gonzalo Escalada-Imaz	[34]
17	Bertram Fronhöfer	[10]
18	Tracy Gardner	[52]
19	Tobias Gedell	[63] [65]
20	Ulrich Geilmann	[89]
21	Samir Genaim	[90] [91]
22	Stefan Gerberding	[5] [7]
23	Martin Giese	[40] [47] [54] [70]
24	Jürgen Giesl	[85] [86]
25	Martin Gogolla	[52]
26	Gérard Govaert	[59]
27	Cordell Green	[60]
28	Elmar Habermalz	[40] [47]
29	Ryuzo Hasegawa	[42]
30	Maritta Heisel	[1]
31	C. A. R. Hoare (Tony Hoare)	[60]
32	Heinrich Hußmann (Heinrich Hussmann)	[52]
33	Ortrun Ibens	[19]
34	Ran Ji	[76] [82]
35	Kristofer Johannisson	[48]
36	Einar Broch Johnsen	[78] [83] [88]
37	Thomas Käufl	[10]
38	Werner Kernig	[5] [7] [11]
39	Vladimir Klebanov	[70]
40	Stefan Klingenbeck	[20] [24]
41	Daniel Larsson	[66] [69]
42	Séverine Maingaud	[81]
43	Felip Manyà	[38] [41] [44]
44	Wolfram Menzel	[33] [36] [40] [47] [54]
45	Alexandre Miquel	[81]
46	Wojciech Mostowski	[47] [53] [54]
47	Oleg Mürk	[69]
48	Neil V. Murray	[17] [28] [31] [35] [46] [58]
49	Mohamed Nadif	[59]
50	Peter Oel	[26]
51	Jing Pan	[61] [71]
52	Christian Pape	[29] [30]
53	Octavian Patrascoiu	[52]
54	Joachim Posegga	[22]
55	Germán Puebla (German Puebla)	[78] [90]
56	Sriram K. Rajamani	[60]
57	Anavai Ramesh	[17] [28]
58	Silvio Ranise	[60]
59	Aarne Ranta	[48]
60	Wolfgang Reif	[1] [36]
61	Guillermo Román-Díez	[90] [91]
62	Erik Rosenthal	[31] [35] [46] [58]
63	Andreas Roth	[54]
64	Marcel Rothe	[84]
65	Philipp Rümmer	[61] [64] [70] [71]
66	David Sands	[57]
67	Theo Sattler	[39]
68	Ina Schaefer	[87] [88]
69	Jan Schäfer (Jan Schaefer)	[83] [88]
70	Steffen Schlager	[54] [70]
71	Rudolf Schlatte	[83] [88]
72	Peter H. Schmitt	[12] [15] [33] [36] [39] [40] [47] [52] [54] [62] [64] [68] [70] [72]
73	Yasuyuki Shirai	[42]
74	Douglas R. Smith	[60]
75	Niklas Sörensson	[50]
76	Martin Steffen	[83]
77	Werner Stephan	[1]
78	Martin Sulzmann	[26]
79	Cesare Tinelli	[60]
80	Angela Wallenburg	[51]
81	Dennis Walter	[61] [71]
82	Jos Warmer	[52]
83	Benjamin Weiß	[73]
84	Balthasar Weitzel	[78]
85	Peter Y. H. Wong	[78] [88]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page