| 2016 | Synthesizing time-triggered schedules for switched networks with faulty links. | Guy Avni, Shibashis Guha, Guillermo Rodrguez-Navas |
| 2015 | Executing dataflow actors as kahn processes. | Andreas Tretter, Jani Boutellier, James Guthrie, Lars Schor, Lothar Thiele |
| 2015 | Can real-time systems be chaotic? | Lothar Thiele, Pratyush Kumar |
| 2015 | Parametrized dataflow scenarios. | Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth |
| 2015 | Unbounded-time reachability analysis of hybrid systems by abstract acceleration. | Peter Schrammel |
| 2015 | Building a hybrid systems modeler from synchronous language principles. | Marc Pouzet |
| 2015 | Nonvolatile main memory aware garbage collection in high-level language virtual machine. | Chen Pan, Mimi Xie, Chengmo Yang, Zili Shao, Jingtong Hu |
| 2015 | Automatic verification of linear controller software. | Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky |
| 2015 | Scalable scheduling of energy control systems. | Truong X. Nghiem, Rahul Mangharam |
| 2015 | Distributed power management of real-time applications on a GALS multiprocessor SOC. | Andrew Nelson, Kees Goossens |
| 2015 | Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks. | Carlos Moreno, M. Anwar Hasan, Sebastian Fischmeister |
| 2015 | Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software. | Antoine Min, David Delmas |
| 2015 | A framework for mining hybrid automata from input/output traces. | Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2015 | Verifying network performance of cyber-physical systems with multiple runtime configurations. | Martin Manderscheid, Gereon Weiss, Rudi Knorr |
| 2015 | Using traffic phase shifting to improve AFDX link utilization. | Renato Mancuso, Andrew V. Louis, Marco Caccamo |
| 2015 | Modeling and simulating cyber-physical systems using CyPhySim. | Edward A. Lee, Mehrdad Niknami, Thierry S. Nouidui, Michael Wetter |
| 2015 | Bounded error flowpipe computation of parameterized linear systems. | Ratan Lal, Pavithra Prabhakar |
| 2015 | Static memory management for efficient mobile sensing applications. | Farley Lai, Daniel Schmidt, Octav Chipara |
| 2015 | Managing gpu buffers for caching more apps in mobile systems. | Sejun Kwon, Sang-Hoon Kim, Jin-Soo Kim, Jinkyu Jeong |
| 2015 | Formal verification of ACAS X, an industrial airborne collision avoidance system. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2015 | Data mining approach to temporal debugging of embedded streaming applications. | Oleg Iegorov, Vincent Leroy, Alexandre Termier, Jean-Franois Mhaut, Miguel Santana |
| 2015 | Adaptive runtime shaping for mixed-criticality systems. | Biao Hu, Kai Huang, Gang Chen, Long Cheng, Alois C. Knoll |
| 2015 | Reachability of hybrid systems in space-time. | Goran Frehse |
| 2015 | Requirements driven falsification with coverage metrics. | Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos |
| 2015 | Loosely time-triggered architectures: improvements and comparisons. | Guillaume Baudart, Albert Benveniste, Timothy Bourke |