| 2015 | Analyzing Real Time Linear Control Systems Using Software Verification. | Parasara Sridhar Duggirala, Mahesh Viswanathan |
| 2015 | Quantifying the Exact Sub-optimality of Non-preemptive Scheduling. | Robert I. Davis, Abhilash Thekkilakattil, Oliver Gettings, Radu Dobrin, Sasikumar Punnekkat |
| 2015 | Optimal Real-Time Scheduling on Two-Type Heterogeneous Multicore Platforms. | Hoon Sung Chwa, Jaebaek Seo, Jinkyu Lee, Insik Shin |
| 2015 | Cache Sharing and Isolation Tradeoffs in Multicore Mixed-Criticality Systems. | Micaiah Chisholm, Bryan C. Ward, Namhoon Kim, James H. Anderson |
| 2015 | k2U: A General Framework from k-Point Effective Schedulability Analysis to Utilization-Based Tests. | Jian-Jia Chen, Wen-Hung Huang, Cong Liu |
| 2015 | Qduino: A Multithreaded Arduino System for Embedded Computing. | Zhuoqun Cheng, Ye Li, Richard West |
| 2015 | Using Entropy as a Parameter to Schedule Real-Time Tasks. | Carlos A. Rincon C., Albert M. K. Cheng |
| 2015 | A Quadratic-Time Response Time Upper Bound with a Tightness Property. | Enrico Bini, Andrea Parri, Giacomo Dossena |
| 2015 | A Time-Predictable Model of Computation. | Anoop Bhagyanath, Tripti Jain, Klaus Schneider |
| 2015 | MC-Fluid: Simplified and Optimally Quantified. | Sanjoy K. Baruah, Arvind Easwaran, Zhishan Guo |
| 2015 | Periodically-Scheduled Controller Analysis Using Hybrid Systems Reachability and Continuization. | Stanley Bak, Taylor T. Johnson |
| 2015 | Energy-Aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems. | Muhammad Ali Awan, Damien Masson, Eduardo Tovar |
| 2015 | Reducing the Implementation Overheads of IPCP and DFP. | H. Almatary, Neil C. Audsley, Alan Burns |
| 2015 | Semi-partitioning under a Blocking-Aware Task Allocation. | Sara Afshar, Moris Behnam, Thomas Nolte |
| 2014 | Deriving Unbounded Proof of Linear Hybrid Automata from Bounded Verification. | Dingbao Xie, Lei Bu, Xuandong Li |
| 2014 | On the Complexity of Worst-Case Blocking Analysis of Nested Critical Sections. | Alexander Wieder, Bjrn B. Brandenburg |
| 2014 | Towards Cyber-Physical Systems in Social Spaces: The Data Reliability Challenge. | Shiguang Wang, Dong Wang, Lu Su, Lance M. Kaplan, Tarek F. Abdelzaher |
| 2014 | FLOPSYNC-2: Efficient Monotonic Clock Synchronisation. | Federico Terraneo, Luigi Rinaldi, Martina Maggio, Alessandro Vittorio Papadopoulos, Alberto Leva |
| 2014 | Generalized Decision Aggregation in Distributed Sensing Systems. | Lu Su, Qi Li, Shaohan Hu, Shiguang Wang, Jing Gao, Hengchang Liu, Tarek F. Abdelzaher, Jiawei Han, Xue Liu, Yan Gao, Lance M. Kaplan |
| 2014 | Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT. | Roy Spliet, Manohar Vanga, Bjrn B. Brandenburg, Sven Dziadek |
| 2014 | CapNet: A Real-Time Wireless Management Network for Data Center Power Capping. | Abusayeed Saifullah, Sriram Sankar, Jie Liu, Chenyang Lu, Ranveer Chandra, Bodhi Priyantha |
| 2014 | Gen4Mast: A tool for the evaluation of real-time techniques using a supercomputer. | Juan Maria Rivas, J. Javier Gutirrez, Michael Gonzlez Harbour |
| 2014 | Data-centric distribution technology in Arinc-653 systems. | Hctor Prez, J. Javier Gutirrez |
| 2014 | A multi-level I/O tracer for timing and performance storage systems in IaaS cloud. | Hamza Ouarnoughi, Jalil Boukhobza, Frank Singhoff, Stphane Rubini |
| 2014 | Predictable Communication and Migration in the Quest-V Separation Kernel. | Ye Li, Richard West, Zhuoqun Cheng, Eric S. Missimer |