| 2008 |
|---|
| 72 | | Bernhard Beckert,
Reiner Hähnle:
Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
Springer 2008 |
| 71 | EE | Richard Bubel,
Reiner Hähnle,
Peter H. Schmitt:
Specification Predicates with Explicit Dependency Information.
VERIFY 2008 |
| 70 | EE | 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 |
|---|
| 69 | 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 |
| 68 | EE | Oleg Mürk,
Daniel Larsson,
Reiner Hähnle:
KeY-C: A Tool for Verification of C Programs.
CADE 2007: 385-390 |
| 67 | EE | Wolfgang Ahrendt,
Bernhard Beckert,
Reiner Hähnle,
Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems.
FMOODS 2007: 32-43 |
| 66 | EE | Christian Engel,
Reiner Hähnle:
Generating Unit Tests from Formal Proofs.
TAP 2007: 169-188 |
| 65 | EE | Daniel Larsson,
Reiner Hähnle:
Symbolic Fault Injection.
VERIFY 2007 |
| 2006 |
|---|
| 64 | EE | Tobias Gedell,
Reiner Hähnle:
Verification by Parallelization of Parametric Code.
Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 138-159 |
| 63 | 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 |
| 62 | EE | Tobias Gedell,
Reiner Hähnle:
Automating Verification of Loops by Parallelization.
LPAR 2006: 332-346 |
| 61 | EE | Bernhard Beckert,
Reiner Hähnle,
Peter H. Schmitt:
Integrating Object-Oriented Design and Deductive Verification of Software.
SEFM 2006: 260 |
| 60 | EE | Reiner Hähnle,
Jing Pan,
Philipp Rümmer,
Dennis Walter:
Integration of a Security Type System into a Program Logic.
TGC 2006: 116-131 |
| 59 | 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) |
| 58 | EE | Gérard Govaert,
Reiner Hähnle,
Mohamed Nadif:
Preface.
Soft Comput. 10(5): 405-405 (2006) |
| 2005 |
|---|
| 57 | EE | Reiner Hähnle,
Neil V. Murray,
Erik Rosenthal:
Normal Forms for Knowledge Compilation.
ISMIS 2005: 304-313 |
| 56 | EE | Ádám Darvas,
Reiner Hähnle,
David Sands:
A Theorem Proving Approach to Analysis of Secure Information Flow.
SPC 2005: 193-209 |
| 55 | EE | Reiner Hähnle:
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.
Logic Journal of the IGPL 13(4): 415-433 (2005) |
| 54 | EE | Richard Bubel,
Reiner Hähnle:
Integration of informal and formal development of object-oriented safety-critical software.
STTT 7(3): 197-211 (2005) |
| 53 | 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 |
|---|
| 52 | EE | Reiner Hähnle,
Wojciech Mostowski:
Verification of Safety Properties in the Presence of Transactions.
CASSIS 2004: 151-171 |
| 51 | EE | 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 |
|---|
| 50 | EE | Reiner Hähnle,
Angela Wallenburg:
Using a Software Testing Technique to Improve Theorem Proving.
FATES 2003: 30-41 |
| 49 | EE | Reiner Hähnle,
Niklas Sörensson:
Fair Constraint Merging Tableaux in Lazy Functional Programming Style.
TABLEAUX 2003: 252-256 |
| 48 | EE | 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: (2003) |
| 2002 |
|---|
| 47 | EE | Reiner Hähnle,
Kristofer Johannisson,
Aarne Ranta:
An Authoring Tool for Informal and Formal Requirements Specifications.
FASE 2002: 233-248 |
| 46 | 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 |
|---|
| 45 | EE | Reiner 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 |
|---|
| 41 | EE | Reiner Hähnle,
Ryuzo Hasegawa,
Yasuyuki Shirai:
Moder Generation Theorem Proving with Finite Interval Constraints.
Computational Logic 2000: 285-299 |
| 40 | EE | Bernhard Beckert,
Reiner Hähnle,
Felip Manyà:
The 2-SAT Problem of Regular Signed CNF Formulas.
ISMVL 2000: 331-336 |
| 39 | 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 |
| 38 | | Thomas Baar,
Reiner Hähnle,
Theo Sattler,
Peter H. Schmitt:
Entwurfgesteuerte Erzeugung von OCL-Constraints.
Softwaretechnik-Trends 20(3): (2000) |
| 1999 |
|---|
| 37 | EE | Bernhard 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 |
| 35 | EE | 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 |
|---|
| 34 | EE | Reiner 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 |
|---|
| 30 | | Reiner 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) |
| 26 | EE | Reiner Hähnle:
Proof theory of many-valued logic--linear optimization--logic design: connections and interactions.
Soft Comput. 1(3): 107-119 (1997) |
| 1996 |
|---|
| 25 | | Bernhard Beckert,
Reiner Hähnle,
Peter Oel,
Martin Sulzmann:
The Tableau-based Theorem Prover 3TAP Version 4.0.
CADE 1996: 303-307 |
| 24 | EE | Reiner 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 |
| 20 | | Bernhard Beckert,
Reiner Hähnle:
Deduction by Combining Semantic Tableaux and Integer Programming.
CSL 1995: 52-63 |
| 1994 |
|---|
| 19 | | Stefan 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 |
| 16 | | Bernard 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 |
|---|
| 12 | | Reiner 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 |
| 10 | | Reiner 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 |
| 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 |
