| 2013 | Overhead-aware compositional analysis of real-time systems. | Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky |
| 2013 | Improving schedulability of fixed-priority real-time systems using shapers. | Linh T. X. Phan, Insup Lee |
| 2013 | Bringing theory into practice: A userspace library for multicore real-time scheduling. | Malcolm S. Mollison, James H. Anderson |
| 2013 | Real-time USB communication in the Quest operating system. | Eric S. Missimer, Ye Li, Richard West |
| 2013 | A rapid cache-aware procedure positioning optimization to favor incremental development. | Enrico Mezzetti, Tullio Vardanega |
| 2013 | Real-time cache management framework for multi-core architectures. | Renato Mancuso, Roman Dudko, Emiliano Betti, Marco Cesati, Marco Caccamo, Rodolfo Pellizzoni |
| 2013 | Integrating cache related pre-emption delay analysis into EDF scheduling. | Will Lunniss, Sebastian Altmeyer, Claire Maiza, Robert I. Davis |
| 2013 | Timing analysis of process graphs with finite communication buffers. | Chung-Wei Lin, Marco Di Natale, Haibo Zeng, Linli Thi Xuan Phan, Alberto L. Sangiovanni-Vincentelli |
| 2013 | ORTAP: An Offset-based response time analysis for a pipelined communication resource model. | Hany Kashif, Sina Gholamian, Rodolfo Pellizzoni, Hiren D. Patel, Sebastian Fischmeister |
| 2013 | Coordinated scheduling of thermostatically controlled real-time systems under peak power constraint. | Gopinath Karmakar, Ashutosh Kabra, Krithi Ramamritham |
| 2013 | Two parameter workload characterization for improved dataflow analysis accuracy. | Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij |
| 2013 | A real-time scheduling service for parallel tasks. | David Ferry, Jing Li, Mahesh Mahadevan, Kunal Agrawal, Christopher D. Gill, Chenyang Lu |
| 2013 | Throughput-constrained DVFS for scenario-aware dataflow graphs. | Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen, Henk Corporaal |
| 2013 | Energy-driven proportional fair scheduling for industrial measurement devices. | Felix Bruns, Steffen Bruggemann, Dirk Kuschnerus, Attila Bilgic |
| 2013 | Improved analysis and evaluation of real-time semaphore protocols for P-FP scheduling. | Bjrn B. Brandenburg |
| 2013 | Sequoll: A framework for model checking binaries. | Bernard Blackham, Gernot Heiser |
| 2013 | Precise micro-architectural modeling for WCET analysis via AI+SAT. | Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2013 | Energy-aware partitioning of tasks onto a heterogeneous multi-core platform. | Muhammad Ali Awan, Stefan M. Petters |
| 2013 | Resource sharing using the rollback mechanism in hierarchically scheduled real-time open systems. | Mikael Asberg, Thomas Nolte, Moris Behnam |
| 2013 | Measurement-based modeling of the cache replacement policy. | Andreas Abel, Jan Reineke |
| 2012 | PtidyOS: A Lightweight Microkernel for Ptides Real-Time Systems. | Jia Zou, Slobodan Matic, Edward A. Lee |
| 2012 | Low Contention Mapping of Real-Time Tasks onto TilePro 64 Core Processors. | Christopher Zimmer, Frank Mueller |
| 2012 | RoamingHART: A Collaborative Localization System on WirelessHART. | Xiuming Zhu, Pei-Chi Huang, Song Han, Aloysius K. Mok, Deji Chen, Mark Nixon |
| 2012 | Static Rate-Optimal Scheduling of Multirate DSP Algorithms via Retiming and Unfolding. | Xue-Yang Zhu, Marc Geilen, Twan Basten, Sander Stuijk |
| 2012 | A Federated Approach for Increasing the Timely Throughput of Real-Time Data Services. | Yan Zhou, Kyoung-Don Kang |