Schedulability analysis of fixed-priority systems using timed automata

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.4K citations

Engineering, Formal Methods, Automaton Network +4

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi · International Journal on Software Tools for Technology Transfer · 1997 · 2.1K citations

Educational Entertainment, Mashup (Music), Communication

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Engineering, Reachability Problem, Verification +16

Hard real-time computing systems: Predictable scheduling algorithms and applications

Computers & Mathematics with Applications · 1998 · 1.3K citations

Engineering, Real-time Algorithm, Real-time Operation +5

Finding Response Times in a Real-Time System

M. Joseph · The Computer Journal · 1986 · 1.2K citations · Full text

Engineering, Real-time System Design, Computer Architecture +17