| 2016 | Cache-related preemption delay analysis for multi-level inclusive caches. | Zhenkai Zhang, Xenofon D. Koutsoukos |
| 2016 | Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. | Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen, Lilei Wang |
| 2016 | Energy and timing aware synchronous programming. | Jia Jie Wang, Partha S. Roop, Alain Girault |
| 2016 | Lessons learned on assumptions and scalability with time-aware instrumentation. | Guy Martin Tchamgoue, Sebastian Fischmeister |
| 2016 | PCFIRE: towards provable <u>p</u>reventative <u>c</u>ontrol-<u>f</u>low <u>i</u>ntegrity enforcement for <u>r</u>ealistic <u>e</u>mbedded software. | Jiaqi Tan, Hui Jun Tay, Utsav Drolia, Rajeev Gandhi, Priya Narasimhan |
| 2016 | Modular deductive verification of sampled-data systems. | Daniel Ricketts, Gregory Malecha, Sorin Lerner |
| 2016 | Robust controller synthesis of switched systems using counterexample guided framework. | Hadi Ravanbakhsh, Sriram Sankaranarayanan |
| 2016 | An algorithmic approach to global asymptotic stability verification of hybrid systems. | Pavithra Prabhakar, Miriam Garcia Soto |
| 2016 | Automatic HAL generation for embedded multiprocessor systems. | Merten Popp, Orlando Moreira, Wim Yedema, Menno Lindwer |
| 2016 | RMC: an integrated runtime system for adaptive many-core computing. | Jinsu Park, Eunbi Cho, Woongki Baek |
| 2016 | A fast, lightweight, and reliable file system for wireless sensor networks. | Biswajit Mazumder, Jason O. Hallstrom |
| 2016 | Exploring the performance of ROS2. | Yuya Maruyama, Shinpei Kato, Takuya Azumi |
| 2016 | Real-time cache management for multi-core virtualization. | Hyoseung Kim, Ragunathan Rajkumar |
| 2016 | The SMT-based automatic road network generation in vehicle simulation environment. | BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura |
| 2016 | I/O scheduling with mapping cache awareness for flash based storage systems. | Cheng Ji, Chao Wu, Li-Pin Chang, Liang Shi, Chun Jason Xue |
| 2016 | On-the-fly fast overrun budgeting for mixed-criticality systems. | Biao Hu, Kai Huang, Pengcheng Huang, Lothar Thiele, Alois C. Knoll |
| 2016 | A refinement theory for timed-dataflow analysis with support for reordering. | Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij |
| 2016 | Flexible support for time and costs in scenario-aware dataflow. | Arnd Hartmanns, Holger Hermanns, Michael Bungert |
| 2016 | Locally optimal reach set over-approximation for nonlinear systems. | Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra |
| 2016 | A flattened hierarchical scheduler for real-time virtualization. | Michael Drescher, Vincent Legout, Antonio Barbalace, Binoy Ravindran |
| 2016 | Making DDS really real-time with openflow. | Hyon-Young Choi, Andrew L. King, Insup Lee |
| 2016 | The design of an efficient swap mechanism for hybrid DRAM-NVM systems. | Xianzhang Chen, Edwin Hsing-Mean Sha, Weiwen Jiang, Qingfeng Zhuge, Junxi Chen, Jiejie Qin, Yuansong Zeng |
| 2016 | Schedulability analysis of mixed-criticality systems with multiple frequency specifications. | Sanjoy K. Baruah |
| 2016 | Underminer: a framework for automatically identifying non-converging behaviors in black box system models. | Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski |
| 2016 | Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. | Stanley Bak, Sagar Chaki |