| 2012 | A low-overhead dedicated execution support for stream applications on shared-memory cmp. | Paul Dubrulle, Stphane Louise, Renaud Sirdey, Vincent David |
| 2012 | Operating system support for redundant multithreading. | Bjrn Dbel, Hermann Hrtig, Michael Engel |
| 2012 | Debugging embedded multimedia application traces through periodic pattern mining. | Patricia Lpez Cueva, Aurlie Bertaux, Alexandre Termier, Jean-Franois Mhaut, Miguel Santana |
| 2012 | Programming parallelism with futures in lustre. | Albert Cohen, Lonard Grard, Marc Pouzet |
| 2012 | Finite automata with time-delay blocks. | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
| 2012 | Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared srams. | Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo, Heiko Falk |
| 2012 | Synthesis from incompatible specifications. | Pavol Cern, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla |
| 2012 | Runtime verification of real-time embedded systems. | Borzoo Bonakdarpour, Sebastian Fischmeister |
| 2012 | Shared hardware data structures for hard real-time systems. | Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, Rahul Simha |
| 2012 | An overview of the career of Paul Caspi. | Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi |
| 2012 | XEMU: an efficient QEMU based binary mutation testing framework for embedded software. | Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Mller |
| 2012 | On model based synthesis of embedded control software. | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2011 | ARMor: fully verified software fault isolation. | Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr |
| 2011 | RT-Xen: towards real-time hypervisor scheduling in xen. | Sisu Xi, Justin Wilson, Chenyang Lu, Christopher D. Gill |
| 2011 | Software certification experience in the canadian nuclear industry: lessons for the future. | Alan Wassyng, Mark Lawford, T. S. E. Maibaum |
| 2011 | Repeatability, reproducibility, and rigor in systems research. | Jan Vitek, Tomas Kalibera |
| 2011 | Reliability-aware frame packing for the static segment of flexray. | Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng |
| 2011 | Challenges in the regulatory approval of medical cyber-physical systems. | Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl |
| 2011 | ExLRU: a unified write buffer cache management for flash memory. | Liang Shi, Jianhua Li, Chun Jason Xue, Chengmo Yang, Xuehai Zhou |
| 2011 | Multi-level hierarchical scheduling in ethernet switches. | Rui Santos, Moris Behnam, Thomas Nolte, Paulo Pedreiras, Lus Almeida |
| 2011 | New challenges in certification for aircraft software. | John M. Rushby |
| 2011 | Precise control flow reconstruction using boolean logic. | Thomas Reinbacher, Jrg Brauer |
| 2011 | Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems. | Taeju Park, Soontae Kim |
| 2011 | Resource allocation contracts for open analytic runtime models. | Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha |
| 2011 | On under-determined dynamical systems. | Oded Maler |