Kim G. Larsen
Scholar

Kim G. Larsen

Google Scholar ID: neDFD60AAAAJ
Director, Professor Aalborg University
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
36,076
 
H-index
85
 
i10-index
389
 
Publications
20
 
Co-authors
88
list available
Contact
No contact links provided.
Publications
8 items
TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets
2026
Cited
0
A Neuro-Symbolic Approach for Probabilistic Reasoning on Graph Data
2025
Cited
0
On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
2025
Cited
0
Time for Timed Monitorability
2025
Cited
0
You May Delay, but Time Will Not: Timed Games Under Delayed Control
2025
Cited
0
Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
IEEE International Conference on Software Engineering and Formal Methods · 2024
Cited
2
The Complexity of Data-Free Nfer
Runtime Verification · 2024
Cited
0
Monitoring Real-Time Systems under Parametric Delay
International Conference on Integrated Formal Methods · 2024
Cited
2
Resume (English only)
Co-authors
88 total
Co-author 1
Co-author 1
Paul Pettersson
Paul Pettersson
Professor of Real-time Systems, Mälardalen University
axel legay
axel legay
TRAXXEO
Wang Yi
Wang Yi
Professor of Embedded Systems, Uppsala University
Marius Mikučionis
Marius Mikučionis
Department of Computer Science, Aalborg University
Co-author 6
Co-author 6
Jiri Srba
Jiri Srba
Professor of Computer Science, Aalborg University
Co-author 8
Co-author 8