| 2007 | Necessary and sufficient conditions for deterministic desynchronization. | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel |
| 2007 | A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. | Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
| 2007 | Influence of different system abstractions on the performance analysis of distributed real-time systems. | Simon Perathoner, Ernesto Wandeler, Lothar Thiele, Arne Hamann, Simon Schliecker, Rafik Henia, Razvan Racu, Rolf Ernst, Michael Gonzlez Harbour |
| 2007 | Scheduling multiple independent hard-real-time jobs on a heterogeneous multiprocessor. | Orlando Moreira, Frederico Valente, Marco Bekooij |
| 2007 | Verification of device drivers and intelligent controllers: a case study. | David Monniaux |
| 2007 | Performance estimation of distributed real-time embedded systems by discrete event simulations. | Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed |
| 2007 | User-centered semiautomatic assistive devices. | Jane W.-S. Liu |
| 2007 | Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. | Edward A. Lee, Haiyang Zheng |
| 2007 | Block recycling schemes and their cost-based optimization in nand flash memory based storage system. | Jongmin Lee, Sunghoon Kim, Hunki Kwon, Choulseung Hyun, Seongjun Ahn, Jongmoo Choi, Donghee Lee, Sam H. Noh |
| 2007 | Grand challenges in embedded software. | Christoph M. Kirsch, Reinhard Wilhelm |
| 2007 | mu-tree: an ordered index structure for NAND flash memory. | Dongwon Kang, Dawoon Jung, Jeong-Uk Kang, Jin-Soo Kim |
| 2007 | E-FRP with priorities. | Roumen Kaiabachev, Walid Taha, Angela Yun Zhu |
| 2007 | Performance characterization of prelinking and preloadingfor embedded systems. | Changhee Jung, Duk-Kyun Woo, Kanghee Kim, Sung-Soo Lim |
| 2007 | Virtual execution of AADL models via a translation into synchronous programs. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens |
| 2007 | The revenge of the overlay: automatic compaction of OS kernel code via on-demand code loading. | Haifeng He, Saumya K. Debray, Gregory R. Andrews |
| 2007 | Methods for multi-dimensional robustness optimization in complex embedded systems. | Arne Hamann, Razvan Racu, Rolf Ernst |
| 2007 | Buffer optimization and dispatching scheme for embedded systems with behavioral transparency. | Jiwon Hahn, Pai H. Chou |
| 2007 | Optimal task placement to improve cache performance. | Gernot Gebhard, Sebastian Altmeyer |
| 2007 | Existential abstractions for distributed reactive systems via syntactic transformations. | Vijay D'Silva, Sampada Sonalkar, S. Ramesh |
| 2007 | Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip. | Emiliano Dolif, Michele Lombardi, Martino Ruggiero, Michela Milano, Luca Benini |
| 2007 | Exploiting non-volatile RAM to enhance flash file system performance. | In Hwan Doh, Jongmoo Choi, Donghee Lee, Sam H. Noh |
| 2007 | Proving the absence of run-time errors in safety-critical avionics code. | Patrick Cousot |
| 2007 | The algebra of connectors: structuring interaction in BIP. | Simon Bliudze, Joseph Sifakis |
| 2007 | Loosely time-triggered architectures based on communication-by-sampling. | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2007 | SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems. | Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin |