| 2010 | Using NAND flash memory for executing large volume real-time programs in automotive embedded systems. | Kwangyoon Cho, Kyoung-Soo We, Chang-Gun Lee, Kanghee Kim |
| 2010 | Parallelizing the H.264 decoder on the cell BE architecture. | Yongjin Cho, Seungkyun Kim, Jaejin Lee, Heonshik Shin |
| 2010 | TeleScribe: a scalable, resumable wireless reprogramming approach. | Min-Hua Chen, Pai H. Chou |
| 2010 | A reliable MTD design for MLC flash-memory storage systems. | Yuan-Hao Chang, Tei-Wei Kuo |
| 2010 | Model-based analysis, synthesis and testing of automotive hardware/software architectures. | Samarjit Chakraborty, S. Ramesh, Jrgen Teich |
| 2010 | Model-based specification of timing requirements. | Christian Buckl, Irina Gaponova, Michael Geisinger, Alois C. Knoll, Edward A. Lee |
| 2010 | From high-level component-based models to distributed implementations. | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis |
| 2010 | A unifying view of loosely time-triggered architectures. | Albert Benveniste, Anne Bouillard, Paul Caspi |
| 2010 | Model-based implementation of real-time applications. | Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis |
| 2009 | NANDFS: a flexible flash file system for RAM-constrained systems. | Aviad Zuck, Ohad Barzilay, Sivan Toledo |
| 2009 | Exploring parallelization strategies for NUFFT data translation. | Yuanrui Zhang, Mahmut T. Kandemir, Nikos Pitsianis, Xiaobai Sun |
| 2009 | Aggressive dynamic voltage scaling for energy-aware video playback based on decoding time estimation. | Ahron Yang, Minseok Song |
| 2009 | An effective synchronization approach for fast and accurate multi-core instruction-set simulation. | Meng-Huan Wu, Cheng-Yang Fu, Peng-Chih Wang, Ren-Song Tsay |
| 2009 | Symbolic state traversal for WCET analysis. | Stephan Wilhelm, Bjrn Wachter |
| 2009 | Monotonicity and run-time scheduling. | Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit |
| 2009 | Implementing time-predictable load and store operations. | Jack Whitham, Neil C. Audsley |
| 2009 | On relational interfaces. | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
| 2009 | Modular performance analysis of cyclic dataflow graphs. | Lothar Thiele, Nikolay Stoimenov |
| 2009 | Dataflow models for shared memory access latency analysis. | Jan Staschulat, Marco Bekooij |
| 2009 | Compositional deadlock detection for rendezvous communication. | Baolin Shao, Nalini Vasudevan, Stephen A. Edwards |
| 2009 | Compositional timing analysis. | Ramzi Ben Salah, Marius Bozga, Oded Maler |
| 2009 | Modal interfaces: unifying interface automata and modal specifications. | Jean-Baptiste Raclet, ric Badouel, Albert Benveniste, Benot Caillaud, Axel Legay, Roberto Passerone |
| 2009 | Probabilistic modeling of data cache behavior. | Vinayak Puranik, Tulika Mitra, Y. N. Srikant |
| 2009 | Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. | Marc Pouzet, Pascal Raymond |
| 2009 | Clock-driven distributed real-time implementation of endochronous synchronous programs. | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin |