| 2001 | 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings |
| 2001 | A Hyperbolic Bound for the Rate Monotonic Algorithm. Enrico Bini, Giorgio C. Buttazzo, Giuseppe M. Buttazzo |
| 2001 | A Modular & Retargetable Framework for Tree-Based WCET Analysis. Antoine Colin, Isabelle Puaut |
| 2001 | A New Approach to the Specification and Verification of Real-Time Systems. George Logothetis, Klaus Schneider |
| 2001 | A New Kernel Approach for Modular Real-Time Systems Development. Paolo Gai, Luca Abeni, Massimiliano Giorgi, Giorgio C. Buttazzo |
| 2001 | A Synchronous Model of IEC 61131 PLC Languages in SIGNAL. Fernando Jiménez-Fraustro, Éric Rutten |
| 2001 | An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. George Marconi de Araujo Lima, Alan Burns |
| 2001 | Analysis of a Simple Model for Non-Preemptive Blocking-Free Scheduling. Luís Almeida, José Alberto Fonseca |
| 2001 | Determining Optimal Processor Speeds for Periodic Real-Time Tasks with Different Power Characteristics. Hakan Aydin, Rami G. Melhem, Daniel Mossé, Pedro Mejía-Alvarez |
| 2001 | Formal Platform-Independent Design of Real-Time Systems. A. Sintoski, Dieter K. Hammer, Onno S. van Roosmalen, Jozef Hooman |
| 2001 | MAST: Modeling and Analysis Suite for Real Time Applications. Michael González Harbour, J. J. Gutiérrez García, José C. Palencia Gutiérrez, J. M. Drake Moyano |
| 2001 | MSC+: From Requirement to Prototyped Systems. Mesfin Belachew, R. K. Shyamasundar |
| 2001 | Memory and Time-Efficient Schedulability Analysis of Task Sets with Stochastic Execution Time. Sorin Manolache, Petru Eles, Zebo Peng |
| 2001 | Minimum and Maximum Utilization Bounds for Multiprocessor RM Scheduling. José María López, José Luis Díaz, Daniel F. García |
| 2001 | Mixed Pfair/ERfair Scheduling of Asynchronous Periodic Tasks. James H. Anderson, Anand Srinivasan |
| 2001 | Offsets for Scheduling Mode Changes. Jorge Real, Alfons Crespo |
| 2001 | Partitioning of Hierarchical Automation Systems. Emanuele Ciapessoni, Francesco Maestri, Judit Szanto, Stefano Crespi-Reghizzi, Andrea C. Ornstein, Giuseppe Psaila |
| 2001 | Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems. M. D. Bennett, Neil C. Audsley |
| 2001 | Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM Microcontroller. Christos Drosos, M. Zayadine, Dimitris Metafas |
| 2001 | Real-Time Disk Scheduling for Block-Stripping I2O RAID. Tei-Wei Kuo, Ji-Shin Rao, Jun Wu, Victor C. S. Lee |
| 2001 | Test Generation for Time Critical Systems: Tool and Case Study. Brian Nielsen, Arne Skou |
| 2001 | Three Obstacles to Flexible Scheduling. Guillem Bernat, Alan Burns |
| 2001 | Timely Use of the CAN Protocol in Critical Hard Real-Time Systems with Faults. Ian Broster, Alan Burns |
| 2001 | Timing Analysis of Reliable Real-Time Communication in CAN Networks. Luís Miguel Pinho, Francisco Vasques |
| 2001 | Transformation of Path Information for WCET Analysis during Compilation. Raimund Kirner, Peter P. Puschner |
| 2001 | WCET Analysis of Reusable Portable Code. Peter P. Puschner, Guillem Bernat |
| 2001 | Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. Antoine Colin, Isabelle Puaut |