| 2007 | Uniformity improving page allocation for flash memory file systems. | Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee Lee, Sam H. Noh |
| 2007 | Design and implementation of a comprehensive real-time java virtual machine. | Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley |
| 2007 | A dynamic scheduling approach to designing flexible safety-critical systems. | Lus Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee |
| 2006 | A causality interface for deadlock analysis in dataflow. | Ye Zhou, Edward A. Lee |
| 2006 | Defining a strategy to introduce a software product line using existing embedded systems. | Kentaro Yoshimura, Dharmalingam Ganesan, Dirk Muthig |
| 2006 | S | Ye Wen, Richard Wolski, Selim Gurun |
| 2006 | Energy adaptation for multimedia information kiosks. | Richard Urunuela, Gilles Muller, Julia L. Lawall |
| 2006 | Real-time interfaces for composing real-time systems. | Lothar Thiele, Ernesto Wandeler, Nikolay Stoimenov |
| 2006 | Modeling a system controller for timing analysis. | Stephan Thesing |
| 2006 | Scheduling-independent threads and exceptions in SHIM. | Olivier Tardieu, Stephen A. Edwards |
| 2006 | Polychronous mode automata. | Jean-Pierre Talpin, Christian Brunette, Thierry Gautier, Abdoulaye Gamati |
| 2006 | Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. | Venkita Subramonian, Christopher D. Gill, Csar Snchez, Henny B. Sipma |
| 2006 | A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. | Christos Sofronis, Stavros Tripakis, Paul Caspi |
| 2006 | Efficient distributed deadlock avoidance with liveness guarantees. | Csar Snchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill |
| 2006 | Time-triggered implementations of dynamic controllers. | Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard |
| 2006 | Compiler-assisted leakage energy optimization for clustered VLIW architectures. | Rahul Nagpal, Y. N. Srikant |
| 2006 | Energy-efficient dynamic memory allocators at the middleware level of embedded systems. | Stylianos Mamagkakis, David Atienza, Christophe Poucet, Francky Catthoor, Dimitrios Soudris |
| 2006 | Formal performance evaluation of AMBA-based system-on-chip designs. | Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil D. Dutt, Qiang Zhu |
| 2006 | Energy-efficient file placement techniques for heterogeneous mobile storage systems. | Young-Jin Kim, Kwon-Taek Kwon, Jihong Kim |
| 2006 | A superblock-based flash translation layer for NAND flash memory. | Jeong-Uk Kang, Heeseung Jo, Jinsoo Kim, Joonwon Lee |
| 2006 | Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems. | Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon |
| 2006 | Towards a formal foundation for domain specific modeling languages. | Ethan K. Jackson, Janos Sztipanovits |
| 2006 | Reliability mechanisms for file systems using non-volatile memory as a metadata store. | Kevin M. Greenan, Ethan L. Miller |
| 2006 | Schedulable persistence system for teal-time applications in virtual machine. | Okehee Goh, Yann-Hang Lee, Ziad Kaakani |
| 2006 | A hierarchical coordination language for interacting real-time tasks. | Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli, Christoph M. Kirsch, Thomas A. Henzinger, Daniel T. Iercan |