logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Reiner Hähnle

Technical University of Darmstadt

34H-index
281Paper Count
4.6KCitation Count
Published Papers 10
Publication Date
logo
Formal Verification of Legal Contracts: A Translation-Based Approach
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errHaehnlei, Reiner; Laneve, Cosimo; Veschetti, Adele
errShare
errSave
SMT-Based Verification of Railway Plannings
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errDillmann, Stefan; Haehnle, Reiner
errShare
errSave
A Sequent Calculus For Trace Formula Implication
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
PREAI
errHeidler, Niklas; Haehnle, Reiner
errShare
errSave
SmartML: Enhancing Security and Reliability inSmart Contract Development
errblockchain research and applications
IF0
err2025-08-20
err0
errOAAI
errAdele Veschetti; Richard Bubel; Reiner Hähnle
errShare
errSave
Certified Cost Bounds for Abstract Programs
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2025-02-23
err0
errOAAI
errAlbert, E; Hähnle, R; Merayo, A; Steinhöfel, D
errShare
errSave
Variability modules?
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-01-01
err3
errOAAI
errDamiani, Ferruccio; Haehnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael; Paolini, Luca
errShare
errSave
A Survey of Active Object Languages
errACM COMPUTING SURVEYS
IF28
err2017-10-05
err65
errOAAI
errDe Boer, Frank; Serbanescu, Vlad; Haehnle, Reiner; Henrio, Ludovic; Rochas, Justine; Din, Crystal Chang; Johnsen, Einar Broch; Sirjani, Marjan; Khamespanah, Ehsan; Fernandez-Reyes, Kiko; Yang, Albert Mingkun
errShare
errSave
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs
errCOMPUTERS & SECURITY
IF5.4
err2017-06-01
err2
PREAI
errQuoc Huy Do; Bubel, Richard; Haehnle, Reiner
errShare
errSave
Intelligent systems and formal methods in software engineering
errIEEE INTELLIGENT SYSTEMS
IF6.1
err2006-11-01
err14
PREAI
errBeckert, Bernhard; Hoare, Tony; Hahnle, Reiner; Smith, Douglas R.; Green, Cordell; Ranise, Silvio; Tinelli, Cesare; Ball, Thomas; Rajamani, Sriram K.
errShare
errSave
Preface
errSOFT COMPUTING
IF2.5
err2005-07-19
err0
PREAI
errGovaert, G; Hähnle, R; Nadif, M
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Sriram K. Rajamani
H-index: 55 · Papers: 209
T
Thomas Ball
H-index: 55 · Papers: 193
C
Cesare Tinelli
H-index: 39 · Papers: 200
T
Tony Hoare
H-index: 32 · Papers: 349
S
Silvio Ranise
H-index: 29 · Papers: 258
View more