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

Sabine Glesner

Technical University of Berlin

16H-index
137Paper Count
919Citation Count
Published Papers 5
Publication Date
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
K
Kuize Zhang
H-index: 20 · Papers: 124
V
Verena Klös
H-index: 9 · Papers: 38
T
Thomas Göthel
H-index: 7 · Papers: 38
M
Marko Esche
H-index: 7 · Papers: 40
M
Martin Nischwitz
H-index: 4 · Papers: 17
View more