Reiner Hähnle

Artificial Intelligence · 1997–2016

A researcher in the Science corpus: 4 papers; trusts 1 researcher and is trusted by 4 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 30 citations into it; #21,362 of 35,345 by trust here, #30,347 by citations

Whom Reiner Hähnle trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Benjamin C. Pierce
2. Atsushi Igarashi

Who trusts Reiner Hähnle overall

1. André Platzer
2. Guolong Su
3. K. Rustan
4. Dennis Wei

Papers from Reiner Hähnle's perspective

Ordered by how strongly the researchers Reiner Hähnle trusts endorse each paper. Same corpus, a different order for every researcher.

1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
2. Symbolic execution and program testing
3. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
4. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
5. The SMT-LIB Standard Version 2.0
6. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
7. Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (The KeY Approach)
8. Dafny: An Automatic Program Verifier for Functional Correctness (Logic Programming and Automated Reasoning)
9. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
10. Dynamic logic (SIGA)

Their papers

• Deductive Software Verification – The KeY Book (2016) — 318 citations
• ABS: A Core Language for Abstract Behavioral Specification (2010) — 423 citations
• Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino (2007) — 507 citations
• Proof theory of many-valued logic—linear optimization—logic design: connections and interactions (1997)