| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Guillermo Román-Díez |
Verified Resource Guarantees for Heap Manipulating Programs.  |
FASE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Schaefer, Reiner Hähnle |
Formal Methods in Software Product Line Engineering. |
IEEE Computer |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Giesl, Reiner Hähnle |
Preface: Special Issue of Selected Extended Papers of IJCAR 2010. |
J. Autom. Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Ulrich Geilmann |
A Formalisation of Java Strings for Program Specification and Verification. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle |
Tests and Proofs - Preface of the Special Issue. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Giesl, Reiner Hähnle (eds.) |
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Marcus Baum, Richard Bubel, Marcel Rothe |
A visual interactive debugger based on symbolic execution. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Ran Ji |
Program Specialization via a Software Verification Tool. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar Broch Johnsen, Reiner Hähnle, Jan Schäfer, Rudolf Schlatte, Martin Steffen |
ABS: A Core Language for Abstract Behavioral Specification. |
FMCO |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Task Forces in the EternalS Coordination Action. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Séverine Maingaud, Vincent Balat, Richard Bubel, Reiner Hähnle, Alexandre Miquel |
Specifying Imperative ML-Like Programs Using Dynamic Logic. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle |
Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Ran Ji |
Interleaving Symbolic Execution and Partial Evaluation. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter |
Integration of a security type system into a program logic. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Peter H. Schmitt |
Specification Predicates with Explicit Dependency Information. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle (eds.) |
Tests and Proofs, Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings |
TAP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle, Benjamin Weiß |
Abstract Interpretation of Symbolic Execution with Explicit State Updates. |
FMCO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
KeY: A Formal Method for Object-Oriented Systems. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Mürk, Daniel Larsson, Reiner Hähnle |
KeY-C: A Tool for Verification of C Programs. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Larsson, Reiner Hähnle |
Symbolic Fault Injection. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | Christian Engel, Reiner Hähnle |
Generating Unit Tests from Formal Proofs. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
theorem proving, program verification, model-based testing, unit testing, symbolic execution, test coverage, white-box testing |
| 1 | Gérard Govaert, Reiner Hähnle, Mohamed Nadif |
Preface. |
Soft Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories |
| 1 | Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
Integrating Object-Oriented Design and Deductive Verification of Software. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Gedell, Reiner Hähnle |
Automating Verification of Loops by Parallelization. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt |
Verifying Object-Oriented Programs with KeY: A Tutorial. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Gedell, Reiner Hähnle |
Verification by Parallelization of Parametric Code. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter |
Integration of a Security Type System into a Program Logic. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL |
| 1 | Reiner Hähnle |
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Bubel, Reiner Hähnle |
Integration of informal and formal development of object-oriented safety-critical software. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
UML, Formal specification, Design patterns, OCL, Safety-critical software |
| 1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Normal Forms for Knowledge Compilation. |
ISMIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ádám Darvas, Reiner Hähnle, David Sands |
A Theorem Proving Approach to Analysis of Secure Information Flow. |
SPC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Wojciech Mostowski |
Verification of Safety Properties in the Presence of Transactions. |
CASSIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Niklas Sörensson |
Fair Constraint Merging Tableaux in Lazy Functional Programming Style. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Angela Wallenburg |
Using a Software Testing Technique to Improve Theorem Proving. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Kristofer Johannisson, Aarne Ranta |
An Authoring Tool for Informal and Formal Requirements Specifications. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Tableaux and Related Methods. |
Handbook of Automated Reasoning |
2001 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Ordered Resolution vs. Connection Graph Resolution. |
IJCAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramón Béjar, Reiner Hähnle, Felip Manyà |
A Modular Reduction of Regular Logic to Classical Logic. |
ISMVL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle |
Complexity of Many-Valued Logics. |
ISMVL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt |
Entwurfgesteuerte Erzeugung von OCL-Constraints. |
Softwaretechnik-Trends |
2000 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Felip Manyà |
The 2-SAT Problem of Regular Signed CNF Formulas. (PDF / PS) |
ISMVL |
2000 |
DBLP DOI BibTeX RDF |
signed logic, NP-completeness, SAT, Many-valued logic |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai |
Moder Generation Theorem Proving with Finite Interval Constraints. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif |
J.UCS Special Issue on Integration of Deduction Systems. |
J. UCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Felip Manyà |
Transformations between Signed and Classical Clause Logic. (PDF / PS) |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Bernhard Beckert |
Proof Confluent Tableau Calculi. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. |
Studia Logica |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Gonzalo Escalada-Imaz |
Simplification of Many-Valued Logic Formulas Using Anti-Links. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt |
Integrierter Deduktiver Software-Entwurf. |
KI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion. |
TABLEAUX |
1998 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle |
Proof theory of many-valued logic--linear optimization--logic design: connections and interactions. |
Soft Comput. |
1997 |
DBLP DOI BibTeX RDF |
logic design, mixed integer programming, many-valued logic |
| 1 | Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray |
Fast Subsumption Checks Using Anti-Links. |
J. Autom. Reasoning |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Neil V. Murray, Erik Rosenthal |
Completeness for Linear Regular Negation Normal Form Inference Systems. |
ISMIS |
1997 |
DBLP DOI BibTeX RDF |
tableau method, non-clausal inference, negation normal form, completeness, resolution, Logic for Artificial Intelligence |
| 1 | Reiner Hähnle, Christian Pape |
Ordered Tableaux: Extensions and Applications. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Pape, Reiner Hähnle |
Restart Tableaux with Selection Function. |
Kurt Gödel Colloquium |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Exploiting Data Dependencies in Many-Valued Logics. |
Journal of Applied Non-Classical Logics |
1996 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle, Stefan Klingenbeck |
A-Ordered Tableaux. |
J. Log. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann |
The Tableau-based Theorem Prover 3TAP Version 4.0. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic. (PDF / PS) |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
commodious axiomatization, distribution quantifiers, lattice-based quantifiers, skolemized signed formulas, Boolean set lattices, Boolean functions, filters, multivalued logic, multiple-valued logic, quantifiers |
| 1 | Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.) |
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings |
TABLEAUX |
1995 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle |
Deduction by Combining Semantic Tableaux and Integer Programming. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Short Conjunctive Normal Forms in Finitely Valued Logics. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Peter H. Schmitt |
The Liberalized delta-Rule in Free Variable Semantic Tableaux. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Many-Valued Logic and Mixed Integer Programming. |
Ann. Math. Artif. Intell. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Klingenbeck, Reiner Hähnle |
Semantic Tableaux with Ordering Restrictions. |
CADE |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray |
On Anti-Links. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Efficient Deduction in Many-Valued Logics. |
ISMVL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle, Ortrun Ibens |
Improving Temporal Logic Tableaux Using Integer Constraints. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Werner Kernig |
Verification of Switch-Level Designs with Many-Valued Logic. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Short CNF in Finitely-Valued Logics. |
ISMIS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. |
Kurt Gödel Colloquium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Bernhard Beckert, Stefan Gerberding, Werner Kernig |
The Many-Valued Theorem Prover 3TAP. |
IWBS Report |
1992 |
RDF |
|
| 1 | Bernhard Beckert, Stefan Gerberding, Reiner Hähnle, Werner Kernig |
The Tableau-Based Theorem Prover 3TAP for Multi-Valued Logics. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle |
An Improved Method for Adding Equality to Free Variable Semantic Tableaux. |
CADE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl (eds.) |
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 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle |
Analytic Tableau and Integer Programming (Extended Abstract). |
TABLEAUX |
1992 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle |
A New Translation from Deduction into Integer Programming. |
AISMC |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Uniform Notation of Tableau Rules for Multiple-Valued Logics. |
ISMVL |
1991 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle |
Spezifikation eines Theorembeweisers für dreiwertige First-Order Logik. |
IWBS Report |
1990 |
RDF |
|
| 1 | Reiner Hähnle |
Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. |
CSL |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Maritta Heisel, Wolfgang Reif, Werner Stephan |
An Interactive Verification System Based on Dynamic Logic. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")