Scholar
Kim G. Larsen
Google Scholar ID: neDFD60AAAAJ
Director, Professor Aalborg University
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
36,076
H-index
85
i10-index
389
Publications
20
Co-authors
88
list available
Publications
9 items
Computing Fixed Points using Dependency Oracles
2026
Cited
0
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
Load more
Co-authors
10 total
Paul Pettersson
Professor of Real-time Systems, Mälardalen University
axel legay
TRAXXEO
Wang Yi
Professor of Embedded Systems, Uppsala University
Marius Mikučionis
Department of Computer Science, Aalborg University
Jiri Srba
Professor of Computer Science, Aalborg University
Andrzej Wąsowski
Professor of Software Engineering, IT University of Copenhagen, Denmark
Uli Fahrenberg
Laboratoire de recherche de l'EPITA (LRE)
Giorgio Bacci
Associate Professor in Computer Science, Aalborg University, Denmark
