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

Sabine Glesner

Technical University of Berlin

16H指数
137论文数
919被引数
收录论文 5
发表时间
logo
A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata统一方法高效验证离散时间自动机的不可见性
errFORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2025
IF0
err2026-01-01
err0
PREAI
errKlein, Julian; Zhang, Kuize; Glesner, Sabine
err分享
err收藏
Learning Mealy Machines with Sparse Observation Tables学习具有稀疏观测表的米利机
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errSchwabe, Wolffhardt; Kogel, Paul; Glesner, Sabine
err分享
err收藏
Identifying Time-Series Functions of Regulated Measuring Instruments by Means of Advanced Deep Learning and Machine Learning通过先进深度学习和机器学习方法识别受控测量仪器的时间序列函数
errIEEE Transactions on Instrumentation and Measurement
IF5.9
err2025-01-01
err0
PREAI
errLevin Ho; Marko Esche; Martin Nischwitz; Manuel Maue; Sabine Glesner
err分享
err收藏
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2018-10-01
err11
PREAI
errKloes, Verena; Goethel, Thomas; Glesner, Sabine
err分享
err收藏
Comprehensible and dependable self-learning self-adaptive systems
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2018-05-01
err19
PREAI
errKloes, Verena; Goethel, Thomas; Glesner, Sabine
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
K
Kuize Zhang
H 指数: 20 · 论文数: 125
V
Verena Klös
H 指数: 9 · 论文数: 38
T
Thomas Göthel
H 指数: 7 · 论文数: 38
M
Marko Esche
H 指数: 7 · 论文数: 40
M
Martin Nischwitz
H 指数: 4 · 论文数: 17
查看更多