| 2009 | Towards a time-triggered schedule calculation tool to support model-based embedded software design. | Joseph Porter, Gabor Karsai, Janos Sztipanovits |
| 2009 | Handling mixed-criticality in SoC-based real-time embedded systems. | Rodolfo Pellizzoni, Patrick O'Neil Meredith, Min-Young Nam, Mu Sun, Marco Caccamo, Lui Sha |
| 2009 | A cost-aware page replacement algorithm for NAND flash based mobile embedded systems. | Junseok Park, Hyejeong Lee, Seunghwan Hyun, Kern Koh, Hyokyung Bahn |
| 2009 | Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. | Kai Lampka, Simon Perathoner, Lothar Thiele |
| 2009 | Disk schedulers for solid state drivers. | Jaeho Kim, Yongseok Oh, Eunsam Kim, Jongmoo Choi, Donghee Lee, Sam H. Noh |
| 2009 | Adding aggressive error correction to a high-performance compressing flash file system. | Yangwook Kang, Ethan L. Miller |
| 2009 | SyncCharts in C: a proposal for light-weight, deterministic concurrency. | Reinhard von Hanxleden |
| 2009 | Cache-aware scheduling and analysis for multicores. | Nan Guan, Martin Stigge, Wang Yi, Ge Yu |
| 2009 | Serving embedded content via web applications: model, design and experimentation. | Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle |
| 2009 | Flexible filters: load balancing through backpressure for stream programs. | Rebecca L. Collins, Luca P. Carloni |
| 2009 | Markov decision process (MDP) framework for optimizing software on mobile phones. | Tang Lung Cheung, Kari Okamoto, Frank Maker III, Xin Liu, Venkatesh Akella |
| 2009 | Modeling synchronous systems in BIP. | Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis |
| 2009 | Formal and executable contracts for transaction-level modeling in SystemC. | Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal |
| 2009 | Compositional verification of fault-tolerant real-time programs. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2009 | Refining SIRAP with a dedicated resource ceiling for self-blocking. | Moris Behnam, Thomas Nolte, Reinder J. Bril |
| 2009 | Untitled record | Andrea Bartolini, Martino Ruggiero, Luca Benini |
| 2009 | Refining the control structure of loops using static analysis. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2008 | Energy efficient streaming applications with guaranteed throughput on MPSoCs. | Jun Zhu, Ingo Sander, Axel Jantsch |
| 2008 | Event order abstraction for parametric real-time system verification. | Shinya Umeno |
| 2008 | Model-based validation of QoS properties of biomedical sensor networks. | Simon Tschirner, Liang Xuedong, Wang Yi |
| 2008 | LTFTL: lightweight time-shift flash translation layer for flash memory based embedded storage. | Kyoungmoon Sun, Seungjae Baek, Jongmoo Choi, Donghee Lee, Sam H. Noh, Sang Lyul Min |
| 2008 | Randomized directed testing (REDIRECT) for Simulink/Stateflow models. | Manoranjan Satpathy, Anand Yeolekar, S. Ramesh |
| 2008 | Scheduling task dependence graphs with variable task execution times onto heterogeneous multiprocessors. | Nadathur Satish, Kaushik Ravindran, Kurt Keutzer |
| 2008 | DBS4video: dynamic luminance backlight scaling based on multi-histogram frame characterization for video streaming application. | Martino Ruggiero, Andrea Bartolini, Luca Benini |
| 2008 | Wireless channel access reservation for embedded real-time systems. | Dinesh Rajan, Christian Poellabauer, Xiaobo Sharon Hu, Liqiang Zhang, Kathleen Otten |