| 2000 | Model-checking real-time control programs: verifying Lego(R) Mindstorms | Torsten K. Iversen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen |
| 2000 | Schedulability analysis of distributed hard real-time systems with multiple-event synchronization. | J. J. Gutirrez Garca, Jos C. Palencia Gutirrez, Michael Gonzlez Harbour |
| 2000 | Prototyping distributed multimedia systems using communicating real-time state machines. | Giancarlo Fortino, Libero Nigro |
| 2000 | Scheduling algorithms for dynamic message streams with distance constraints in TDMA protocol. | Libin Dong, Rami G. Melhem, Daniel Moss |
| 2000 | Modelling and analysis of a commercial field bus protocol. | Alexandre David, Wang Yi |
| 2000 | Elastic feedback control. | Marco Caccamo, Giorgio C. Buttazzo, Lui Sha |
| 2000 | Predicting computation time for advanced processor architectures. | Alan Burns, Stewart Edgar |
| 2000 | Towards validated real-time software. | Valrie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis |
| 2000 | Portable worst-case execution time analysis using Java Byte Code. | Guillem Bernat, Alan Burns, Andy J. Wellings |
| 2000 | From design to implementation: tool support for the development of object-oriented distributed real-time systems. | Leandro Buss Becker, Carlos Eduardo Pereira |
| 2000 | Scheduling periodic tasks on uniform multiprocessors. | Sanjoy K. Baruah |
| 2000 | Tolerating faults while maximizing reward. | Hakan Aydin, Rami G. Melhem, Daniel Moss |
| 2000 | Early-release fair scheduling. | James H. Anderson, Anand Srinivasan |
| 2000 | Worst-case execution times analysis of MPEG-2 decoding. | Peter Altenbernd, Lars-Olof Burchard, Friedhelm Stappert |
| 2000 | On adaptive control techniques in real-time resource allocation. | Luca Abeni, Luigi Palopoli, Giorgio C. Buttazzo |
| 1999 | Finding the minimum available transmission time for the timed token medium access control protocol. | Sijing Zhang, E. Stewart Lee, Alan Burns, Hongji Yang |
| 1999 | Distributed real-time task monitoring in the safety-critical system Melody. | Horst F. Wedde, Jon A. Lind, Guido Seghert |
| 1999 | Adding local priority-based dispatching mechanisms to P-NET networks: a fixed priority approach. | Eduardo Tovar, Francisco Vasques, Alan Burns |
| 1999 | The case for feedback control real-time scheduling. | Jack A. Stankovic, Chenyang Lu, Sang Hyuk Son, Gang Tao |
| 1999 | Experiments with parametric verification of real-time systems. | Ronald F. Lutje Spelberg, Ruud C. M. de Rooij, W. J. Toetenel |
| 1999 | Shadowing-based crash recovery schemes for real-time databasesystems. | LihChyun Shu, Huey-Min Sun, Tei-Wei Kuo |
| 1999 | Adaptation and graceful degradation of control system performance by task reallocation and period adjustment. | Kang G. Shin, Charles L. Meissner |
| 1999 | Implementing mode changes with shared resources in Ada. | Jorge Real, Andy J. Wellings |
| 1999 | Time-constrained sorting-a comparison of different algorithms. | Peter P. Puschner, Alan Burns |
| 1999 | Value-density algorithms to handle transient overloads in scheduling. | Daniel Moss, Martha E. Pollack, Yagl Ronn |