logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
R

Reiner Hähnle

Technical University of Darmstadt

34H指数
281论文数
4.6K被引数
收录论文 10
发表时间
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
err分享
err收藏
SMT-Based Verification of Railway Plannings基于SMT的铁路规划验证
errRELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2025
IF0
err2026-01-01
err0
PREAI
errDillmann, Stefan; Haehnle, Reiner
err分享
err收藏
A Sequent Calculus For Trace Formula Implication迹公式蕴含的sequent演算
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
PREAI
errHeidler, Niklas; Haehnle, Reiner
err分享
err收藏
SmartML: Enhancing Security and Reliability inSmart Contract DevelopmentSmartML：提升智能合约开发中的安全性与可靠性
errblockchain research and applications
IF0
err2025-08-20
err0
errOAAI
errAdele Veschetti; Richard Bubel; Reiner Hähnle
err分享
err收藏
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
err分享
err收藏
Variability modules?
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-01-01
err3
errOAAI
errDamiani, Ferruccio; Haehnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael; Paolini, Luca
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
Preface
errSOFT COMPUTING
IF2.5
err2005-07-19
err0
PREAI
errGovaert, G; Hähnle, R; Nadif, M
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
S
Sriram K. Rajamani
H 指数: 55 · 论文数: 209
T
Thomas Ball
H 指数: 55 · 论文数: 193
C
Cesare Tinelli
H 指数: 39 · 论文数: 200
T
Tony Hoare
H 指数: 32 · 论文数: 349
S
Silvio Ranise
H 指数: 29 · 论文数: 258
查看更多