The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Reiner Hähnle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Reiner Hähnle
    Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. [Citation Graph (1, 0)][DBLP]
    CSL, 1990, pp:248-260 [Conf]
  2. Reiner Hähnle
    A New Translation from Deduction into Integer Programming. [Citation Graph (0, 0)][DBLP]
    AISMC, 1992, pp:262-275 [Conf]
  3. Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig
    The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:758-760 [Conf]
  4. Bernhard Beckert, Reiner Hähnle
    An Improved Method for Adding Equality to Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    CADE, 1992, pp:507-521 [Conf]
  5. Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann
    The Tableau-based Theorem Prover 3TAP Version 4.0. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:303-307 [Conf]
  6. Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan
    An Interactive Verification System Based on Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:306-315 [Conf]
  7. Reiner Hähnle, Neil V. Murray, Erik Rosenthal
    Ordered Resolution vs. Connection Graph Resolution. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:182-194 [Conf]
  8. Stefan Klingenbeck, Reiner Hähnle
    Semantic Tableaux with Ordering Restrictions. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:708-722 [Conf]
  9. Reiner Hähnle, Wojciech Mostowski
    Verification of Safety Properties in the Presence of Transactions. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:151-171 [Conf]
  10. Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai
    Moder Generation Theorem Proving with Finite Interval Constraints. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:285-299 [Conf]
  11. Bernhard Beckert, Reiner Hähnle
    Deduction by Combining Semantic Tableaux and Integer Programming. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:52-63 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:327-330 [Conf]
  13. Reiner Hähnle, Kristofer Johannisson, Aarne Ranta
    An Authoring Tool for Informal and Formal Requirements Specifications. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:233-248 [Conf]
  14. Reiner Hähnle, Angela Wallenburg
    Using a Software Testing Technique to Improve Theorem Proving. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:30-41 [Conf]
  15. Reiner Hähnle, Ortrun Ibens
    Improving Temporal Logic Tableaux Using Integer Constraints. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:535-539 [Conf]
  16. Reiner Hähnle
    Short CNF in Finitely-Valued Logics. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:49-58 [Conf]
  17. Reiner Hähnle, Neil V. Murray, Erik Rosenthal
    Normal Forms for Knowledge Compilation. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2005, pp:304-313 [Conf]
  18. Reiner Hähnle, Neil V. Murray, Erik Rosenthal
    Completeness for Linear Regular Negation Normal Form Inference Systems. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1997, pp:590-599 [Conf]
  19. Bernhard Beckert, Reiner Hähnle, Felip Manyà
    The 2-SAT Problem of Regular Signed CNF Formulas. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2000, pp:331-336 [Conf]
  20. Bernhard Beckert, Reiner Hähnle, Felip Manyà
    Transformations between Signed and Classical Clause Logic. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1999, pp:248-255 [Conf]
  21. Ramón Béjar, Reiner Hähnle, Felip Manyà
    A Modular Reduction of Regular Logic to Classical Logic. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:221-226 [Conf]
  22. Reiner Hähnle
    Complexity of Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:137-0 [Conf]
  23. Reiner Hähnle
    Uniform Notation of Tableau Rules for Multiple-Valued Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1991, pp:238-245 [Conf]
  24. Reiner Hähnle
    Efficient Deduction in Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1994, pp:240-249 [Conf]
  25. Reiner Hähnle
    Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1996, pp:118-123 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:21-36 [Conf]
  27. Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
    The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:108-119 [Conf]
  28. Christian Pape, Reiner Hähnle
    Restart Tableaux with Selection Function. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1997, pp:219-232 [Conf]
  29. Bernard Becker, Reiner Hähnle, Anavai Ramesh, Neil V. Murray
    On Anti-Links. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:275-289 [Conf]
  30. Tobias Gedell, Reiner Hähnle
    Automating Verification of Loops by Parallelization. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:332-346 [Conf]
  31. Reiner Hähnle, Werner Kernig
    Verification of Switch-Level Designs with Many-Valued Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 1993, pp:158-169 [Conf]
  32. Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
    Integrating Object-Oriented Design and Deductive Verification of Software. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:260- [Conf]
  33. Ádám Darvas, Reiner Hähnle, David Sands
    A Theorem Proving Approach to Analysis of Secure Information Flow. [Citation Graph (0, 0)][DBLP]
    SPC, 2005, pp:193-209 [Conf]
  34. Reiner Hähnle
    Analytic Tableau and Integer Programming (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1992, pp:33-35 [Conf]
  35. Reiner Hähnle, Bernhard Beckert
    Proof Confluent Tableau Calculi. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:34-35 [Conf]
  36. Reiner Hähnle, Neil V. Murray, Erik Rosenthal
    Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:173-186 [Conf]
  37. Reiner Hähnle, Christian Pape
    Ordered Tableaux: Extensions and Applications. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:173-187 [Conf]
  38. Reiner Hähnle, Niklas Sörensson
    Fair Constraint Merging Tableaux in Lazy Functional Programming Style. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:252-256 [Conf]
  39. 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. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:67-75 [Conf]
  40. Reiner Hähnle
    Many-Valued Logic and Mixed Integer Programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1994, v:12, n:3-4, pp:231-263 [Journal]
  41. Richard Bubel, Reiner Hähnle
    Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  42. Reiner Hähnle
    Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:4, pp:415-433 [Journal]
  43. Reiner Hähnle
    Exploiting Data Dependencies in Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 1996, v:6, n:1, pp:- [Journal]
  44. Reiner Hähnle, Peter H. Schmitt
    The Liberalized delta-Rule in Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:2, pp:211-221 [Journal]
  45. Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray
    Fast Subsumption Checks Using Anti-Links. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:1, pp:47-83 [Journal]
  46. Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
    J.UCS Special Issue on Integration of Deduction Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:3, pp:- [Journal]
  47. Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
    Integrierter Deduktiver Software-Entwurf. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:40-41 [Journal]
  48. Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz
    Simplification of Many-Valued Logic Formulas Using Anti-Links. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:4, pp:569-587 [Journal]
  49. Reiner Hähnle
    Short Conjunctive Normal Forms in Finitely Valued Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:6, pp:905-927 [Journal]
  50. Reiner Hähnle, Stefan Klingenbeck
    A-Ordered Tableaux. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1996, v:6, n:6, pp:819-833 [Journal]
  51. Reiner Hähnle
    Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1998, v:61, n:1, pp:101-121 [Journal]
  52. Reiner Hähnle
    Proof theory of many-valued logic--linear optimization--logic design: connections and interactions. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 1997, v:1, n:3, pp:107-119 [Journal]
  53. Gérard Govaert, Reiner Hähnle, Mohamed Nadif
    Preface. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2006, v:10, n:5, pp:405-405 [Journal]
  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. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
  55. Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
    Entwurfgesteuerte Erzeugung von OCL-Constraints. [Citation Graph (0, 0)][DBLP]
    Softwaretechnik-Trends, 2000, v:20, n:3, pp:- [Journal]
  56. Richard Bubel, Reiner Hähnle
    Integration of informal and formal development of object-oriented safety-critical software. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:3, pp:197-211 [Journal]
  57. Tobias Gedell, Reiner Hähnle
    Verification by Parallelization of Parametric Code. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:138-159 [Conf]
  58. Oleg Mürk, Daniel Larsson, Reiner Hähnle
    KeY-C: A Tool for Verification of C Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:385-390 [Conf]
  59. Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
    The KeY system 1.0 (Deduction Component). [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:379-384 [Conf]
  60. Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
    KeY: A Formal Method for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:32-43 [Conf]
  61. Christian Engel, Reiner Hähnle
    Generating Unit Tests from Formal Proofs. [Citation Graph (0, 0)][DBLP]
    TAP, 2007, pp:169-188 [Conf]

  62. Symbolic Fault Injection. [Citation Graph (, )][DBLP]


  63. Specification Predicates with Explicit Dependency Information. [Citation Graph (, )][DBLP]


  64. Verifying Object-Oriented Programs with KeY: A Tutorial. [Citation Graph (, )][DBLP]


  65. Abstract Interpretation of Symbolic Execution with Explicit State Updates. [Citation Graph (, )][DBLP]


  66. A visual interactive debugger based on symbolic execution. [Citation Graph (, )][DBLP]


  67. Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. [Citation Graph (, )][DBLP]


  68. Integration of a Security Type System into a Program Logic. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002