| 2005 | The formal verification of a reintegration protocol. | Lee Pike, Steven D. Johnson |
| 2005 | Dynamic online reconfiguration for customizable and self-optimizing operating systems. | Simon Oberthr, Carsten Bke, Bjrn Griese |
| 2005 | Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. | Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz |
| 2005 | A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems. | Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
| 2005 | Model-based analysis of distributed real-time embedded system composition. | Gabor Madl, Sherif Abdelwahed |
| 2005 | A structural approach to quasi-static schedulability analysis of communicating concurrent programs. | Cong Liu, Alex Kondratyev, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
| 2005 | Semantics-based optimization across uncoordinated tasks in networked embedded systems. | Jie Liu, Elaine Cheong, Feng Zhao |
| 2005 | Exploiting last idle periods of links for network power management. | Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustafa Karaky |
| 2005 | Testing real-time embedded software using UPPAAL-TRON: an industrial case study. | Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou |
| 2005 | Passive mid-stream monitoring of real-time properties. | Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan |
| 2005 | Using separation of concerns for embedded systems design. | Ethan K. Jackson, Janos Sztipanovits |
| 2005 | Using de-optimization to re-optimize code. | Stephen Hines, Prasad A. Kulkarni, David B. Whalley, Jack W. Davidson |
| 2005 | Systems architecture: the empirical way: abstract architectures to 'optimal' systems. | Graham R. Hellestrand |
| 2005 | Deeply embedded XML communication: towards an interoperable and seamless world. | Johannes Helander |
| 2005 | A denotational semantics for stateflow. | Grgoire Hamon |
| 2005 | AutoDVS: an automatic, general-purpose, dynamic clock scheduling system for hand-held devices. | Selim Gurun, Chandra Krintz |
| 2005 | Cutpoints for formal equivalence verification of embedded software. | Xiushan Feng, Alan J. Hu |
| 2005 | Towards real-time enabled Microsoft Windows. | Alex Xiang Feng |
| 2005 | SHIM: a deterministic model for heterogeneous embedded systems. | Stephen A. Edwards, Olivier Tardieu |
| 2005 | Uniform object modeling methodology and reuse of real-time system using UML. | Bui Minh Duc |
| 2005 | A GA-based scheduling method for FlexRay systems. | Shan Ding, Naohiko Murakami, Hiroyuki Tomiyama, Hiroaki Takada |
| 2005 | QoS control for optimality and safety. | Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis |
| 2005 | A conservative extension of synchronous data-flow with state machines. | Jean-Louis Colao, Bruno Pagano, Marc Pouzet |
| 2005 | Synchronization of periodic clocks. | Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
| 2005 | Toward a semantic anchoring infrastructure for domain-specific modeling languages. | Kai Chen, Janos Sztipanovits, Sandeep Neema |