| 2013 | Cache-Aware Compositional Analysis of Real-Time Multicore Virtualization Platforms. Meng Xu, Linh T. X. Phan, Insup Lee, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill |
| 2013 | Combinatorial Abstraction Refinement for Feasibility Analysis. Martin Stigge, Wang Yi |
| 2013 | D2: Anomaly Detection and Diagnosis in Networked Embedded Systems by Program Profiling and Symptom Mining. Wei Dong, Chun Chen, Jiajun Bu, Xue Liu, Yunhao Liu |
| 2013 | Demand-Based Scheduling of Mixed-Criticality Sporadic Tasks on One Processor. Arvind Easwaran |
| 2013 | Design and Management of Satellite Power Systems. Jinkyu Lee, Eugene Kim, Kang G. Shin |
| 2013 | Designing Bandwidth-Efficient Stabilizing Control Servers. Amir Aminifar, Enrico Bini, Petru Eles, Zebo Peng |
| 2013 | Enabling Fast and Reliable Network-Wide Event-Triggered Wakeup in WSNs. Xuefeng Liu, Jiannong Cao, Shaojie Tang |
| 2013 | Energy Efficient Task Partitioning Based on the Single Frequency Approximation Scheme. Santiago Pagani, Jian-Jia Chen |
| 2013 | Exploitation of Physical Constraints for Reliable Social Sensing. Dong Wang, Tarek F. Abdelzaher, Lance M. Kaplan, Raghu K. Ganti, Shaohan Hu, Hengchang Liu |
| 2013 | Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems. Liang He, Lipeng Gu, Linghe Kong, Yu Gu, Cong Liu, Tian He |
| 2013 | Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. Nan Guan, Wang Yi |
| 2013 | GPUSync: A Framework for Real-Time GPU Management. Glenn A. Elliott, Bryan C. Ward, James H. Anderson |
| 2013 | GreenBag: Energy-Efficient Bandwidth Aggregation for Real-Time Streaming in Heterogeneous Mobile Wireless Networks. Duc Hoang Bui, Kilho Lee, Sangeun Oh, Insik Shin, Hyojeong Shin, Honguk Woo, Daehyun Ban |
| 2013 | Hardware Assisted Clock Synchronization for Real-Time Sensor Networks. Maxim Buevich, Niranjini Rajagopal, Anthony Rowe |
| 2013 | Integrated Timing Analysis of Application and Operating Systems Code. Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2013 | Limited Pre-emptive Global Fixed Task Priority. José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna, Robert I. Davis |
| 2013 | Minimizing Building Electricity Costs in a Dynamic Power Market: Algorithms and Impact on Energy Conservation. Dawei Pan, Dan Wang, Jiannong Cao, Yu Peng, Xiyuan Peng |
| 2013 | Mixed-Criticality Scheduling upon Varying-Speed Processors. Sanjoy K. Baruah, Zhishan Guo |
| 2013 | Monitoring of Workload Arrival Functions for Mixed-Criticality Systems. Moritz Neukirchner, Philip Axer, Tobias Michaels, Rolf Ernst |
| 2013 | Multi-level Unified Caches for Probabilistically Time Analysable Real-Time Systems. Leonidas Kosmidis, Jaume Abella, Eduardo Quiñones, Francisco J. Cazorla |
| 2013 | Multiprocessor Feasibility Analysis of Recurrent Task Systems with Specified Processor Affinities. Sanjoy K. Baruah, Björn B. Brandenburg |
| 2013 | Multiprocessor Real-Time Scheduling with a Few Migrating Tasks. J. Augusto Santos Junior, George Lima, Konstantinos Bletsas, Shinpei Kato |
| 2013 | On Spin Locks in AUTOSAR: Blocking Analysis of FIFO, Unordered, and Priority-Ordered Spin Locks. Alexander Wieder, Björn B. Brandenburg |
| 2013 | Polynomial-Time Exact Schedulability Tests for Harmonic Real-Time Tasks. Vincenzo Bonifaci, Alberto Marchetti-Spaccamela, Nicole Megow, Andreas Wiese |
| 2013 | Predictable, Efficient System-Level Fault Tolerance in C^3. Jiguo Song, John Wittrock, Gabriel Parmer |
| 2013 | Proceedings of the IEEE 34th Real-Time Systems Symposium, RTSS 2013, Vancouver, BC, Canada, December 3-6, 2013 |
| 2013 | RT-WiFi: Real-Time High-Speed Communication Protocol for Wireless Cyber-Physical Control Applications. Yi-Hung Wei, Quan Leng, Song Han, Aloysius K. Mok, Wenlong Zhang, Masayoshi Tomizuka |
| 2013 | Respawn: A Distributed Multi-resolution Time-Series Datastore. Maxim Buevich, Anne Wright, Randy Sargent, Anthony Rowe |
| 2013 | Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters. Dorin Maxim, Liliana Cucu-Grosjean |
| 2013 | Schedulability Analysis for a Mode Transition in Real-Time Multi-core Systems. Jinkyu Lee, Kang G. Shin |
| 2013 | Segment-Fixed Priority Scheduling for Self-Suspending Real-Time Tasks. Junsung Kim, Björn Andersson, Dionisio de Niz, Ragunathan Rajkumar |
| 2013 | Self-Adapting MAC Layer for Wireless Sensor Networks. Mo Sha, Rahav Dor, Gregory Hackmann, Chenyang Lu, Tae-Suk Kim, Taerim Park |
| 2013 | Static Analysis Driven Cache Performance Testing. Abhijeet Banerjee, Sudipta Chattopadhyay, Abhik Roychoudhury |
| 2013 | System Support for Micro-Harvester Powered Mobile Sensing. Alexander Nelson, Jackson Schmandt, William Wilkins, James Patrick Parkerson, Nilanjan Banerjee |
| 2013 | Task Set Synthesis with Cost Minimization for Sporadic Real-Time Tasks. Jian-Jia Chen |
| 2013 | The Continuous Stream Model of Computation for Real-Time Control. Daniele Fontanelli, Luigi Palopoli, Luca Abeni |
| 2013 | Worst Case Analysis of DRAM Latency in Multi-requestor Systems. Zheng Pei Wu, Yogen Krish, Rodolfo Pellizzoni |