| 2008 | Design and implementation of a framework for creating portable and efficient packet-processing applications. | Olivier Morandi, Fulvio Risso, Silvio Valenti, Paolo Veglia |
| 2008 | Compositional analysis of deadlock-freedom for tree-like component architectures. | Mila E. Majster-Cederbaum, Moritz Martens |
| 2008 | State space abstraction for parameterized self-stabilizing embedded systems. | Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee |
| 2008 | -FTL: : a memory-efficient flash translation layer supporting multiple mapping granularities. | Yong-Goo Lee, Dawoon Jung, Dongwon Kang, Jin-Soo Kim |
| 2008 | A PRAM and NAND flash hybrid architecture for high-performance embedded storage subsystems. | Jin Kyu Kim, Hyung Gyu Lee, Shinho Choi, Kyoung Il Bahng |
| 2008 | Workload-based configuration of MEMS-based storage devices for mobile systems. | Mohammed G. Khatib, Ethan L. Miller, Pieter H. Hartel |
| 2008 | Portioned EDF-based scheduling on multiprocessors. | Shinpei Kato, Nobuyuki Yamasaki |
| 2008 | Cyclic dependencies in modular performance analysis. | Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi |
| 2008 | Active property checking. | Patrice Godefroid, Michael Y. Levin, David A. Molnar |
| 2008 | A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications. | Joachim Falk, Joachim Keinert, Christian Haubelt, Jrgen Teich, Shuvra S. Bhattacharyya |
| 2008 | Volatiles are miscompiled, and what to do about it. | Eric Eide, John Regehr |
| 2008 | Scratchpad memory management in a multitasking environment. | Bernhard Egger, Jaejin Lee, Heonshik Shin |
| 2008 | Interface theories with component reuse. | Laurent Doyen, Thomas A. Henzinger, Barbara Jobstmann, Tatjana Petrov |
| 2008 | On the interplay of dynamic voltage scaling and dynamic power management in real-time embedded applications. | Vinay Devadas, Hakan Aydin |
| 2008 | Automatically transforming and relating Uppaal models of embedded systems. | Timothy Bourke, Arcot Sowmya |
| 2008 | Disassembling real-time fault-tolerant programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Arora |
| 2008 | Quantitative testing. | Henrik C. Bohnenkamp, Marille Stoelinga |
| 2008 | Tax-and-spend: democratic scheduling for real-time garbage collection. | Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone |
| 2008 | RTComposer: a framework for real-time components with scheduling interfaces. | Rajeev Alur, Gera Weiss |
| 2008 | Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. | Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar |
| 2007 | A unified practical approach to stochastic DVS scheduling. | Ruibin Xu, Rami G. Melhem, Daniel Moss |
| 2007 | Performance analysis of distributed embedded systems. | Lothar Thiele |
| 2007 | Accurate on-line prediction of processor and memoryenergy usage under voltage scaling. | David C. Snowdon, Stefan M. Petters, Gernot Heiser |
| 2007 | WCET estimation for executables in the presence of data caches. | Rathijit Sen, Y. N. Srikant |
| 2007 | Slice-balancing H.264 video encoding for improved scalability of multicore decoding. | Michael Roitzsch |