Most cited papers in Real-Time Systems Scheduling
What are the most cited papers in Real-Time Systems Scheduling?
The most cited paper in Real-Time Systems Scheduling is "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment" (C. L. Liu, J. W. Layland, 1973), with 8,426 citations. Next come "Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks" (4,727) and "Cyber Physical Systems: Design Challenges" (3,535).
Showing 50 of 99 papers. Every paper with more than 550 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment C. L. Liu, J. W. Layland · Journal of the ACM | 1973 | 8,426 |
| 2 | Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks Paulo Tabuada · IEEE Transactions on Automatic Control | Sep 2007 | 4,727 |
| 3 | Cyber Physical Systems: Design Challenges Edward A. Lee | May 2008 | 3,535 |
| 4 | Linearizability: a correctness condition for concurrent objects Maurice P. Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems | Jul 1990 | 3,203 |
| 5 | Virtual time David R. Jefferson · ACM Transactions on Programming Languages and Systems | Jul 1985 | 2,423 |
| 6 | Computer-controlled systems: Theory and design C.R. Johnson · Automatica | Nov 1985 | 2,370 |
| 7 | Condor-a hunter of idle workstations Michael Litzkow, Miron Livny, Matt W. Mutka | 6 Jan 2003 | 2,264 |
| 8 | Priority inheritance protocols: an approach to real-time synchronization Lui Sha, R. Rajkumar, John P. Lehoczky · IEEE Transactions on Computers | 1990 | 2,256 |
| 9 | Consensus in the presence of partial synchrony Cynthia Dwork, Nancy Ann Lynch, Larry Stockmeyer · Journal of the ACM | Apr 1988 | 1,913 |
| 10 | The worst-case execution-time problem—overview of methods and survey of tools Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl et al. · ACM Transactions on Embedded Computing Systems | Apr 2008 | 1,871 |
| 11 | A survey of rollback-recovery protocols in message-passing systems E. N. Mootaz Elnozahy, Lorenzo Alvisi, Yi‐Min Wang et al. · ACM Computing Surveys | Sep 2002 | 1,801 |
| 12 | The nesC language David E. Gay, Philip A. Levis, Robert von Behren et al. · ACM SIGPLAN Notices | Jul 2014 | 1,646 |
| 13 | The rate monotonic scheduling algorithm: exact characterization and average case behavior John P. Lehoczky, Lui Sha, Yifan Ding | 7 Jan 2003 | 1,470 |
| 14 | Reevaluating Amdahl's law John Leroy Gustafson · Communications of the ACM | May 1988 | 1,451 |
| 15 | PVS: A prototype verification system Sam Owre, John Rushby, N. Shankar · Lecture notes in computer science | 1992 | 1,418 |
| 16 | Simultaneous multithreading Dean Michael Tullsen, Susan J. Eggers, Henry M. Levy | 1995 | 1,406 |
| 17 | To Err is Human Aaron B. Brown, David A. Patterson | 2001 | 1,397 |
| 18 | Smart cars on smart roads: problems of control Pravin P. Varaiya · IEEE Transactions on Automatic Control | 1993 | 1,371 |
| 19 | Revolutionizing Supply Chain Management: Real-time Data Processing and Concurrency Suwarna Shukla, Prabhneet Singh · International Journal of Innovative Science and Research Technology (IJISRT) | 11 May 2024 | 1,322 |
| 20 | Introduction to the ISO specification language LOTOS Tommaso Bolognesi, Ed Brinksma · Computer Networks and ISDN Systems | 1987 | 1,303 |
| 21 | Parallel and distributed simulation systems R.M. Fujimoto | 13 Nov 2002 | 1,296 |
| 22 | Specifying real-time properties with metric temporal logic Ron Koymans · Real-Time Systems | Nov 1990 | 1,197 |
| 23 | Finding Response Times in a Real-Time System Michelle Nyah Joseph · The Computer Journal | May 1986 | 1,168 |
| 24 | Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications Douglas G. Down, Gunter Bolch, Stefan Greiner et al. · Journal of the American Statistical Association | Mar 2000 | 1,162 |
| 25 | Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing Edward Ashford Lee, David G. Messerschmitt · IEEE Transactions on Computers | 1987 | 1,149 |
| 26 | On the complexity of fixed-priority scheduling of periodic, real-time tasks Joseph Y.‐T. Leung, Jennifer Whitehead · Performance Evaluation | Dec 1982 | 1,148 |
| 27 | Real-time dynamic voltage scaling for low-power embedded operating systems Padmanabhan S. Pillai, Kang Geun Shin | 21 Oct 2001 | 1,141 |
| 28 | Modeling in Event-B system and software engineering Jean-Raymond Abrial | 2010 | 1,128 |
| 29 | Feedback Control Under Data Rate Constraints: An Overview Girish N. Nair, Fabio Fagnani, Sandro Zampieri et al. · Proceedings of the IEEE | 2007 | 1,114 |
| 30 | StreamIt: A Language for Streaming Applications William Thies, Michal Karczmarek, Saman P. Amarasinghe · Lecture notes in computer science | 2002 | 1,112 |
| 31 | Applying new scheduling theory to static priority pre-emptive scheduling Neil Audsley, A. Burns, Mike Richardson et al. · Software Engineering Journal | 1993 | 1,109 |
| 32 | Utility-Based Cache Partitioning: A Low-Overhead, High-Performance, Runtime Mechanism to Partition Shared Caches Moinuddin K. Qureshi, Yale N. Patt · Proceedings of the ... annual International Symposium on Microarchitecture/Proceedings of the annual International Symposium on Microarchitecture | Dec 2006 | 1,098 |
| 33 | Taming heterogeneity - the Ptolemy approach Johan Eker, Jörn W. Janneck, Edward A. Lee et al. · Proceedings of the IEEE | 2003 | 1,075 |
| 34 | Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems Joseph T. Buck, Soonhoi Ha, Edward A. Lee et al. · Elsevier eBooks | 2002 | 994 |
| 35 | Industrie 4.0: Hit or Hype? [Industry Forum] Rainer Drath, Alexander Horch · IEEE Industrial Electronics Magazine | Jun 2014 | 992 |
| 36 | The real-time specification for Java Greg Bollella, James Gosling · Computer | Jun 2000 | 985 |
| 37 | Memory access scheduling Scott Rixner, William J. Dally, Ujval J. Kapasi et al. | 2000 | 974 |
| 38 | Misconceptions about real-time computing: a serious problem for next-generation systems John A. Stankovic · Computer | Oct 1988 | 959 |
| 39 | Stochastic analysis and control of real-time systems with random time delays Johan L. Å. Nilsson, Bo Bernhardsson, Björn Wittenmark · Automatica | 1998 | 945 |
| 40 | The synchronous languages 12 years later Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE | 2003 | 944 |
| 41 | Rainbow: architecture-based self-adaptation with reusable infrastructure Shang-Wen Cheng, Ancheng C. Huang, David Garlan et al. | 10 Jun 2004 | 912 |
| 42 | A survey of hard real-time scheduling for multiprocessor systems Robert Ian Davis, Alan Burns · ACM Computing Surveys | Oct 2011 | 907 |
| 43 | Aperiodic task scheduling for Hard-Real-Time systems Brinkley Sprunt, Lui Sha, John P. Lehoczky · Real-Time Systems | Jun 1989 | 905 |
| 44 | Software pipelining Monica S. Lam · ACM SIGPLAN Notices | Apr 2004 | 890 |
| 45 | Measuring the Performance of Schedulability Tests Enrico Bini, Giorgio Buttazzo · Real-Time Systems | May 2005 | 875 |
| 46 | Concurrency control in groupware systems Colter Ellis, S. J. Gibbs · ACM SIGMOD Record | Jun 1989 | 870 |
| 47 | SpaceEx: Scalable Verification of Hybrid Systems Goran Frehse, Colas Le Guernic, Alexandre Donzé et al. · Lecture notes in computer science | 2011 | 863 |
| 48 | The time-triggered architecture Hermann Kopetz, Gerrit E. W. Bauer · Proceedings of the IEEE | 2003 | 856 |
| 49 | Strategies for Real-Time System Specification Derek J. Hatley, Imtiaz A. Pirbhai · CERN Document Server (European Organization for Nuclear Research) | 1988 | 833 |
| 50 | Stack-based scheduling of realtime processes Theodore P. Baker · Real-Time Systems | Mar 1991 | 823 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for a field when OpenAlex files it under one of the field's topics; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.