| 2015 | The federated scheduling of systems of conditional sporadic DAG tasks. | Sanjoy K. Baruah |
| 2015 | Forward invariant cuts to simplify proofs of safety. | Nikos Archiga, James Kapinski, Jyotirmoy V. Deshmukh, Andr Platzer, Bruce H. Krogh |
| 2015 | A scalable algebraic method to infer quadratic invariants of switched systems. | Xavier Allamigeon, Stphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott |
| 2014 | Multiple shooting, CEGAR-based falsification for hybrid systems. | Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski |
| 2014 | Task mapping in heterogeneous embedded systems for fast completion time. | Husheng Zhou, Cong Liu |
| 2014 | Building high-performance smartphones via non-volatile memory: The swap approach. | Kan Zhong, Tianzheng Wang, Xiao Zhu, Linbo Long, Duo Liu, Weichen Liu, Zili Shao, Edwin Hsing-Mean Sha |
| 2014 | SiPTA: Signal processing for trace-based anomaly detection. | Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco, Sebastian Fischmeister |
| 2014 | Real-time multi-core virtual machine scheduling in Xen. | Sisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee |
| 2014 | Supporting read/write applications in embedded real-time systems via suspension-aware analysis. | Guangmo Tong, Cong Liu |
| 2014 | On the existence of probe effect in multi-threaded embedded programs. | Young Wn Song, Yann-Hang Lee |
| 2014 | Contract-based integration of cyber-physical analyses. | Ivan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan |
| 2014 | A general approach for expressing infeasibility in Implicit Path Enumeration Technique. | Pascal Raymond |
| 2014 | Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. | Hadi Ravanbakhsh, Sriram Sankaranarayanan |
| 2014 | Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. | Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2014 | Refinement calculus of reactive systems. | Viorel Preoteasa, Stavros Tripakis |
| 2014 | Parallel many-core avionics systems. | Milos Panic, Eduardo Quiones, Pavel G. Zaykov, Carles Hernndez, Jaume Abella, Francisco J. Cazorla |
| 2014 | EDF as an arbitration policy for wormhole-switched priority-preemptive NoCs - Myth or fact? | Borislav Nikolic, Stefan M. Petters |
| 2014 | P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobs. | Pratyush Kumar, Lothar Thiele |
| 2014 | Computing maximum blocking times with explicit path analysis under non-local flow bounds. | Jan C. Kleinsorge, Peter Marwedel |
| 2014 | Exponentially timed SADF: Compositional semantics, reductions, and analysis. | Joost-Pieter Katoen, Hao Wu |
| 2014 | CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. | Garvit Juniwal, Alexandre Donz, Jeff C. Jensen, Sanjit A. Seshia |
| 2014 | Energy efficient DVFS scheduling for mixed-criticality systems. | Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele |
| 2014 | Extending typical worst-case analysis using response-time dependencies to bound deadline misses. | Zain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst |
| 2014 | Blaming in component-based real-time systems. | Gregor Goessler, Lacramioara Astefanoaei |
| 2014 | Real-time system support for hybrid structural simulation. | David Ferry, Gregory Bunting, Amin Maghareh, Arun Prakash, Shirley Dyke, Kunal Agrawal, Christopher D. Gill, Chenyang Lu |