Jiřı́ Srba
Author
Institution Aalborg University
Past institutions Aalborg University, BLOCK (Czechia), Embedded Systems (United States), Software (Spain), National Research Foundation +2 more
ORCID: Yes
H-index: 26
I10-index: 71
Works count: 235
Citations count: 2,602
Infinite Runs in Weighted Timed Automata with Energy Constraints
2008 · Patricia Bouyer, Uli Fahrenberg, et al. · Lecture notes in computer science
Reactive Systems: Modelling, Specification and Verification
2007 · Luca Aceto, Anna Ingólfsdóttir, et al.
Memory Efficient Data Structures for Explicit Verification of Timed Systems
2014 · Peter Gjøl Jensen, Kim G. Larsen, et al. · Lecture notes in computer science