| 2007 | XtreemOS: A Grid Operating System Making your Computer Ready for Participating in Virtual Organizations. | Christine Morin |
| 2007 | Detection of Fractal Breakdowns by the Novel Real-Time Pattern Detection Model (Enhanced-RTPD+Holder Exponent) for Web Applications. | Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon, Elizabeth Chang |
| 2007 | Data Dissemination for Wireless Sensor Networks. | Min-Gu Lee, Sunggu Lee |
| 2007 | Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems. | Fabrice Kordon |
| 2007 | Periodic Finite-State Machines. | Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser |
| 2007 | Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. | Raimund Kirner, Peter P. Puschner |
| 2007 | Design of Secure CAMIN Application System Based on Dependable and Secure TMO and RT-UCON. | Jungin Kim, Bhavani Thuraisingham |
| 2007 | Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads. | K. H. Kim, Juan A. Colmenares, Kee-Wook Rim |
| 2007 | QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component Middleware. | Amogh Kavimandan, Krishnakumar Balasubramanian, Nishanth Shankaran, Aniruddha S. Gokhale, Douglas C. Schmidt |
| 2007 | Automated Formal Verification and Testing of C Programs for Embedded Systems. | Susanne Kandl, Raimund Kirner, Peter P. Puschner |
| 2007 | On Rigorous Design and Implementation of Fault Tolerant Ambient Systems. | Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna |
| 2007 | Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. | Jrme Hugues, Bechir Zalila, Laurent Pautet |
| 2007 | Allowing Cycles References among Scoped Memory Areas in the Real-Time Specification of Java. | M. Teresa Higuera-Toledano |
| 2007 | Experiences from Applying WCET Analysis in Industrial Settings. | Jan Gustafsson, Andreas Ermedahl |
| 2007 | Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency. | Abdelouahed Gherbi, Ferhat Khendek |
| 2007 | A Unified Benchmarking Process for Components in Automotive Embedded Systems Software. | Wolfgang Forster, Christof Kutschera, Dietmar Schreiner, Karl M. Gschka |
| 2007 | A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems. | Antonio Fernndez, Ernesto Jimnez, Michel Raynal, Gilles Trdan |
| 2007 | Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. | Fbio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia, Joo Felipe Santos |
| 2007 | An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems. | Iria Estvez-Ayres, Lus Almeida, Marisol Garca-Valls, Pablo Basanta-Val |
| 2007 | Compositional Schedulability Analysis of Hierarchical Real-Time Systems. | Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky |
| 2007 | Evaluating Real-Time Publish/Subscribe Service Integration Approaches in QoS-Enabled Component Middleware. | Gan Deng, Ming Xiong, Aniruddha S. Gokhale, George Edwards |
| 2007 | An Efficient Algorithm for Online Soft Real-Time Task Placement on Reconfigurable Hardware Devices. | Jin Cui, Zonghua Gu, Weichen Liu, Qingxu Deng |
| 2007 | Search-Oriented Deployment Strategies for Wireless Sensor Networks. | Jiun-Jian Chang, Pi-Cheng Hsiu, Tei-Wei Kuo |
| 2007 | A Novel Synchronous Scheduling Service for CORBA-RT Applications. | Isidro Calvo, Lus Almeida, Adrin Noguero |
| 2007 | LSynD: Localized Synopsis Diffusion. | Andreea Berfield, Panos K. Chrysanthis, Daniel Moss |