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

Reiner Hähnle 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

*2008
73 Bernhard Beckert, Reiner Hähnle: Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings Springer 2008
72EERichard Bubel, Reiner Hähnle, Benjamin Weiß: Abstract Interpretation of Symbolic Execution with Explicit State Updates. FMCO 2008: 247-277
71EERichard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information. VERIFY 2008
70EEReiner 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
69EEBernhard 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
68EEOleg Mürk, Daniel Larsson, Reiner Hähnle: KeY-C: A Tool for Verification of C Programs. CADE 2007: 385-390
67EEWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
66EEChristian Engel, Reiner Hähnle: Generating Unit Tests from Formal Proofs. TAP 2007: 169-188
65EEDaniel Larsson, Reiner Hähnle: Symbolic Fault Injection. VERIFY 2007
2006
64EETobias Gedell, Reiner Hähnle: Verification by Parallelization of Parametric Code. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 138-159
63EEWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt: Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101
62EETobias Gedell, Reiner Hähnle: Automating Verification of Loops by Parallelization. LPAR 2006: 332-346
61EEBernhard Beckert, Reiner Hähnle, Peter H. Schmitt: Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260
60EEReiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter: Integration of a Security Type System into a Program Logic. TGC 2006: 116-131
59EEBernhard 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)
58EEGérard Govaert, Reiner Hähnle, Mohamed Nadif: Preface. Soft Comput. 10(5): 405-405 (2006)
2005
57EEReiner Hähnle, Neil V. Murray, Erik Rosenthal: Normal Forms for Knowledge Compilation. ISMIS 2005: 304-313
56EEÁdám Darvas, Reiner Hähnle, David Sands: A Theorem Proving Approach to Analysis of Secure Information Flow. SPC 2005: 193-209
55EEReiner Hähnle: Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. Logic Journal of the IGPL 13(4): 415-433 (2005)
54EERichard Bubel, Reiner Hähnle: Integration of informal and formal development of object-oriented safety-critical software. STTT 7(3): 197-211 (2005)
53EEWolfgang 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
52EEReiner Hähnle, Wojciech Mostowski: Verification of Safety Properties in the Presence of Transactions. CASSIS 2004: 151-171
51EEJean 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
50EEReiner Hähnle, Angela Wallenburg: Using a Software Testing Technique to Improve Theorem Proving. FATES 2003: 30-41
49EEReiner Hähnle, Niklas Sörensson: Fair Constraint Merging Tableaux in Lazy Functional Programming Style. TABLEAUX 2003: 252-256
48EERichard 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: (2003)
2002
47EEReiner Hähnle, Kristofer Johannisson, Aarne Ranta: An Authoring Tool for Informal and Formal Requirements Specifications. FASE 2002: 233-248
46EEWolfgang 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
45EEReiner Hähnle, Neil V. Murray, Erik Rosenthal: Ordered Resolution vs. Connection Graph Resolution. IJCAR 2001: 182-194
44 Reiner Hähnle: Complexity of Many-Valued Logics. ISMVL 2001: 137-
43 Ramón Béjar, Reiner Hähnle, Felip Manyà: A Modular Reduction of Regular Logic to Classical Logic. ISMVL 2001: 221-226
42 Reiner Hähnle: Tableaux and Related Methods. Handbook of Automated Reasoning 2001: 100-178
2000
41EEReiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai: Moder Generation Theorem Proving with Finite Interval Constraints. Computational Logic 2000: 285-299
40EEBernhard Beckert, Reiner Hähnle, Felip Manyà: The 2-SAT Problem of Regular Signed CNF Formulas. ISMVL 2000: 331-336
39EEWolfgang 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
38 Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt: Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20(3): (2000)
1999
37EEBernhard Beckert, Reiner Hähnle, Felip Manyà: Transformations between Signed and Classical Clause Logic. ISMVL 1999: 248-255
36 Reiner Hähnle, Bernhard Beckert: Proof Confluent Tableau Calculi. TABLEAUX 1999: 34-35
35EEReiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif: J.UCS Special Issue on Integration of Deduction Systems. J. UCS 5(3): (1999)
1998
34EEReiner Hähnle, Neil V. Murray, Erik Rosenthal: Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. TABLEAUX 1998: 173-186
33 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)
32 Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: Integrierter Deduktiver Software-Entwurf. KI 12(4): 40-41 (1998)
31 Reiner Hähnle: Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. Studia Logica 61(1): 101-121 (1998)
1997
30EEReiner Hähnle, Neil V. Murray, Erik Rosenthal: Completeness for Linear Regular Negation Normal Form Inference Systems. ISMIS 1997: 590-599
29 Christian Pape, Reiner Hähnle: Restart Tableaux with Selection Function. Kurt Gödel Colloquium 1997: 219-232
28 Reiner Hähnle, Christian Pape: Ordered Tableaux: Extensions and Applications. TABLEAUX 1997: 173-187
27 Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray: Fast Subsumption Checks Using Anti-Links. J. Autom. Reasoning 18(1): 47-83 (1997)
26EEReiner Hähnle: Proof theory of many-valued logic--linear optimization--logic design: connections and interactions. Soft Comput. 1(3): 107-119 (1997)
1996
25EEBernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann: The Tableau-based Theorem Prover 3TAP Version 4.0. CADE 1996: 303-307
24EEReiner Hähnle: Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. ISMVL 1996: 118-123
23 Reiner Hähnle, Stefan Klingenbeck: A-Ordered Tableaux. J. Log. Comput. 6(6): 819-833 (1996)
22 Reiner Hähnle: Exploiting Data Dependencies in Many-Valued Logics. Journal of Applied Non-Classical Logics 6(1): (1996)
1995
21 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
20EEBernhard Beckert, Reiner Hähnle: Deduction by Combining Semantic Tableaux and Integer Programming. CSL 1995: 52-63
1994
19EEStefan Klingenbeck, Reiner Hähnle: Semantic Tableaux with Ordering Restrictions. CADE 1994: 708-722
18 Reiner Hähnle, Ortrun Ibens: Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539
17 Reiner Hähnle: Efficient Deduction in Many-Valued Logics. ISMVL 1994: 240-249
16EEBernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray: On Anti-Links. LPAR 1994: 275-289
15 Reiner Hähnle: Many-Valued Logic and Mixed Integer Programming. Ann. Math. Artif. Intell. 12(3-4): 231-263 (1994)
14 Reiner Hähnle, Peter H. Schmitt: The Liberalized delta-Rule in Free Variable Semantic Tableaux. J. Autom. Reasoning 13(2): 211-221 (1994)
13 Reiner Hähnle: Short Conjunctive Normal Forms in Finitely Valued Logics. J. Log. Comput. 4(6): 905-927 (1994)
1993
12EEReiner Hähnle: Short CNF in Finitely-Valued Logics. ISMIS 1993: 49-58
11 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
10EEReiner Hähnle, Werner Kernig: Verification of Switch-Level Designs with Many-Valued Logic. LPAR 1993: 158-169
1992
9 Reiner Hähnle: A New Translation from Deduction into Integer Programming. AISMC 1992: 262-275
8EEBernhard Beckert, Reiner Hähnle: An Improved Method for Adding Equality to Free Variable Semantic Tableaux. CADE 1992: 507-521
7EEBernhard 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
3EEReiner 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
1EEReiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan: An Interactive Verification System Based on Dynamic Logic. CADE 1986: 306-315

Coauthor Index

1Wolfgang Ahrendt [39] [46] [53] [63] [67]
2Thomas Baar [38] [39] [46] [51] [53]
3Thomas Ball [59]
4Peter Baumgartner [21]
5Bernard Becker [16]
6Bernhard Beckert [5] [7] [8] [11] [20] [25] [27] [33] [36] [37] [39] [40] [46] [53] [59] [61] [63] [67] [69] [73]
7Ramón Béjar [43]
8Jean Bézivin [51]
9Richard Bubel [48] [53] [54] [71] [72]
10Ádám Darvas [56]
11Christian Engel [66]
12Gonzalo Escalada-Imaz [33]
13Tracy Gardner [51]
14Tobias Gedell [62] [64]
15Stefan Gerberding [5] [7]
16Martin Giese [39] [46] [53] [69]
17Martin Gogolla [51]
18Gérard Govaert [58]
19Cordell Green [59]
20Elmar Habermalz [39] [46]
21Ryuzo Hasegawa [41]
22Maritta Heisel [1]
23C. A. R. Hoare (Tony Hoare) [59]
24Heinrich Hußmann (Heinrich Hussmann) [51]
25Ortrun Ibens [18]
26Kristofer Johannisson [47]
27Werner Kernig [5] [7] [10]
28Vladimir Klebanov [69]
29Stefan Klingenbeck [19] [23]
30Daniel Larsson [65] [68]
31Felip Manyà [37] [40] [43]
32Wolfram Menzel [32] [35] [39] [46] [53]
33Wojciech Mostowski [46] [52] [53]
34Oleg Mürk [68]
35Neil V. Murray [16] [27] [30] [34] [45] [57]
36Mohamed Nadif [58]
37Peter Oel [25]
38Jing Pan [60] [70]
39Christian Pape [28] [29]
40Octavian Patrascoiu [51]
41Joachim Posegga [21]
42Sriram K. Rajamani [59]
43Anavai Ramesh [16] [27]
44Silvio Ranise [59]
45Aarne Ranta [47]
46Wolfgang Reif [1] [35]
47Erik Rosenthal [30] [34] [45] [57]
48Andreas Roth [53]
49Philipp Rümmer [60] [63] [69] [70]
50David Sands [56]
51Theo Sattler [38]
52Steffen Schlager [53] [69]
53Peter H. Schmitt [11] [14] [32] [35] [38] [39] [46] [51] [53] [61] [63] [67] [69] [71]
54Yasuyuki Shirai [41]
55Douglas R. Smith [59]
56Niklas Sörensson [49]
57Werner Stephan [1]
58Martin Sulzmann [25]
59Cesare Tinelli [59]
60Angela Wallenburg [50]
61Dennis Walter [60] [70]
62Jos Warmer [51]
63Benjamin Weiß [72]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)