Reiner Hähnle
Technische Universität Darmstadt
H-index: 42
Europe-Germany
Top articles of Reiner Hähnle
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Context-aware trace contracts | Reiner Hähnle Eduard Kamburjan Marco Scaletta | 2024/1/29 | |
Active Object Languages: Current Research Trends | Frank de Boer Ferruccio Damiani Reiner Hähnle Einar Broch Johnsen Eduard Kamburjan | 2024 | |
Schematic Program Proofs with Abstract Execution: Theory and Applications | Journal of Automated Reasoning | Dominic Steinhöfel Reiner Hähnle | 2024/6 |
4.3 Context, composition, automation and communication: towards sustainable simulation studies | Computer Science Methods for Effective and Sustainable Simulation Studies | Adelinde M Uhrmacher Peter Frazier Reiner Hähnle Franziska Klügl Fabian Lorig | 2023/5 |
Principles of Contract Languages (Dagstuhl Seminar 22451) | Dilian Gurov Reiner Hähnle Marieke Huisman Giles Reger Christian Lidström | 2023 | |
Provably Fair Cooperative Scheduling | arXiv preprint arXiv:2312.16977 | Reiner Hähnle Ludovic Henrio | 2023/12/28 |
Variability modules | Journal of Systems and Software | Ferruccio Damiani Reiner Hähnle Eduard Kamburjan Michael Lienhardt Luca Paolini | 2023/1/1 |
Herding CATs | Current Swedish Archaeology | László Bartosiewicz | 2021/12/9 |
Context, Composition, Automation, and Communication--The C2AC Roadmap for Modeling and Simulation | arXiv preprint arXiv:2310.05649 | Adelinde Uhrmacher Peter Frazier Reiner Hähnle Franziska Klügl Fabian Lorig | 2023/10/9 |
Trace-based deductive verification | Proceedings of 24th International Conference on Logic | Richard Bubel Dilian Gurov Reiner Hähnle Marco Scaletta | 2023/6/3 |
TECHNOLOGY AND LANGUAGE | TECHNOLOGY | Reiner Hähnle | 2022 |
Towards a Usable and Sustainable Deductive Verification Tool | Bernhard Beckert Richard Bubel Reiner Hähnle Mattias Ulbrich | 2022/10/17 | |
Program and Code | «Technology and language»(Технологии в инфосфере) | Reiner Hähnle | 2022 |
Dijkstra’s Legacy on Program Verification | Reiner Hähnle | 2022/7/12 | |
Automatic Loop Invariant Generation for Data Dependence Analysis | Asmae Heydari Tabar Richard Bubel Reiner Hähnle | 2022/5/22 | |
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems | Leibniz Transactions on Embedded Systems | Eduard Kamburjan Stefan Mitsch Reiner Hähnle | 2022/12/7 |
Finding semantic bugs fast | Lukas Grätz Reiner Hähnle Richard Bubel | 2022/3/29 | |
Towards Trace-based Deductive Verification (Tech Report) | arXiv preprint arXiv:2211.09487 | Richard Bubel Dilian Gurov Reiner Hähnle Marco Scaletta | 2022/11/17 |
LAGC Semantics of Concurrent Programming Languages | arXiv preprint arXiv:2202.12195 | Crystal Chang Din Reiner Hähnle Ludovic Henrio Einar Broch Johnsen Violet Ka I Pun | 2022/2/24 |
Automating Software Re-engineering: Introduction to the ISoLA 2022 Track | Serge Demeyer Reiner Hähnle Heiko Mantel | 2022/10/17 |