Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

C. L. Liu, J. W. Layland · Journal of the ACM · 1973 · 8.3K citations · Full text

Computing, Computer Engineering, Computer Science +16

The algorithmic analysis of hybrid systems

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

Computing, Computer Science, Mathematics +17

Applying new scheduling theory to static priority pre-emptive scheduling

Neil Audsley, A. Burns, Mike Richardson et al. · Software Engineering Journal · 1993 · 1.1K citations

Computing, Computer Engineering, Computer Science +16

Holistic schedulability analysis for distributed hard real-time systems

K. Tindell, John A. Clark · Microprocessing and Microprogramming · 1994 · 752 citations

Computing, Computer Engineering, Computer Science +14

Fixed priority pre-emptive scheduling: An historical perspective

Neil Audsley, Alan Burns, Robert I. Davis et al. · Real-Time Systems · 1995 · 373 citations

Business, Computer Engineering, Computer Systems +14