Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kim G. Larsen
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Quantitative Modal Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Monitoring Dynamical Signals While Testing Timed Aspects of a System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
High-Level Frameworks for the Specification and Verification of Scheduling Problems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Degree of Schedulability of Mixed-Criticality Real-Time Systems With Probabilistic Sporadic Tasks
UPPAAL - Now, Next, and Future
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Uppaal in 1995
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimal Strategies in Priced Timed Game Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal I/O Automata for Interface and Product Line Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Clock Difference Diagrams
BRICS Report Series
