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

Bernd Finkbeiner

german aerospace centre (dlr)

32H指数
344论文数
4.3K被引数
收录论文 6
发表时间
logo
Stream-based monitoring with RTLOLA基于RTLOLA的流式监控
errScience of Computer Programming
IF1.4
err2026-08-01
err0
PREAI
errBaumeister, Jan; Finkbeiner, Bernd; Kohn, Florian; Scheerer, Frederik
err分享
err收藏
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach基于RTLola的主动监控：一种基于规范的调度方法
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errBaumeister, Jan; Finkbeiner, Bernd; Scheerer, Frederik
err分享
err收藏
A ROS Adapter for RTLOLAROS适配器用于RTLOLA
errRUNTIME VERIFICATION, RV 2025
IF0
err2026-01-01
err0
PREAI
errBaumeister, Jan; Finkbeiner, Bernd; Juenger, Franz; Kohn, Florian; Schirmer, Sebastian; Torens, Christoph
err分享
err收藏
Symbolic execution for refuting ∀∃ hyperproperties
errACTA INFORMATICA
IF0.5
err2025-10-27
err0
errOAAI
errCorrenson, Arthur; Niessen, Tobias; Finkbeiner, Bernd; Weissenbacher, Georg
err分享
err收藏
Explainability requirements as hyperproperties可解释性需求作为高阶属性
errACTA INFORMATICA
IF0.5
err2025-10-13
err0
errOAAI
errFinkbeiner, Bernd; Siber, Julian
err分享
err收藏
Verifying Asynchronous Hyperproperties in Reactive Systems验证反应式系统中的异步超属性
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errBeutner, Raven; Finkbeiner, Bernd
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
G
Georg Weißenbacher
H 指数: 17 · 论文数: 78
C
Christoph Torens
H 指数: 14 · 论文数: 66
S
Sebastian Schirmer
H 指数: 10 · 论文数: 34
R
Raven Beutner
H 指数: 8 · 论文数: 46
J
Julian Siber
H 指数: 5 · 论文数: 21
查看更多