| 2008 | Model Checking Multi-Task Software on Real-Time Operating Systems. | Toshiaki Aoki |
| 2008 | Compositional Feasibility Analysis of Conditional Real-Time Task Models. | Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee |
| 2007 | TMO-NanoQ+: A Real-Time Kernel for Sensor Networks Supporting Time-Triggered and Message-Triggered Tasks. | Jae-An Yi, Shin Heu, Byuongkyu Choi, Hyun-Jun Kim, Hanseok Sue, Jung-Guk Kim |
| 2007 | An Approach to Automated Agent Deployment in Service-Based Systems. | Stephen S. Yau, Luping Zhu, Dazhi Huang, Haishan Gong |
| 2007 | System-Level Energy-Efficiency for Real-Time Tasks. | Chuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-Wei Kuo |
| 2007 | Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java. | Andy J. Wellings, Alan Burns, Osmar Marchi dos Santos, Benjamin M. Brosgol |
| 2007 | QoS Management of Real-Time Data Stream Queries in Distributed Environments. | Yuan Wei, Vibha Prasad, Sang Hyuk Son |
| 2007 | An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems. | Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Flvio Rech Wagner |
| 2007 | Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During Overload. | Crineu Tres, Leandro Buss Becker, Edgar Nett |
| 2007 | Device Modeling for a Flexible Embedded Systems Development Process. | Kleanthis C. Thramboulidis, George S. Doukas, Giannis V. Koumoutsos |
| 2007 | Predictable Serialization in Java. | Daniel Tejera, Alejandro Alonso, Miguel A. de Miguel |
| 2007 | Real-Time Dynamic Guarantee in Component-Based Middleware. | Cssia Yuri Tatibana, Carlos Montez, Rmulo Silva de Oliveira |
| 2007 | A Comparative Evaluation of EJB Implementation Methods. | Andreas Stylianou, Giovanna Ferrari, Paul D. Ezhilchelvan |
| 2007 | Independent Model-Driven Software Performance Assessments of UML Designs. | Julie A. Street, Robert G. Pettit IV, Hassan Gomaa |
| 2007 | Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded Systems. | Nishanth Shankaran, Douglas C. Schmidt, Xenofon D. Koutsoukos, Yingming Chen, Chenyang Lu |
| 2007 | A Systematic Approach to Domain-Specific Language Design Using UML. | Bran Selic |
| 2007 | A Profile for Safety Critical Java. | Martin Schoeberl, Hans Sndergaard, Bent Thomsen, Anders P. Ravn |
| 2007 | Hardware-Near Programming in the Common Language Infrastructure. | Stefan Richter, Andreas Rasche, Andreas Polze |
| 2007 | On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems. | Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen |
| 2007 | Engineering Self-Coordinating Real-Time Systems. | Franz-Josef Rammig |
| 2007 | Analyzing Behavior of Concurrent Software Designs for Embedded Systems. | Robert G. Pettit IV, Hassan Gomaa |
| 2007 | Enterprise Job Scheduling for Clustered Environments. | Stratos Paulakis, Vassileios Tsetsos, Stathes Hadjiefthymiades |
| 2007 | Using Multi-Agent Principles for Implementing an Organic Real-Time Middleware. | Manuel Nickschas, Uwe Brinkschulte |
| 2007 | Toward a Generic and Secure Software Platform for Sensor Network Nodes. | Yukikazu Nakamoto, Shuhei Higashiyama, Narutaka Chiba, Michio Kaneko, Yoko Furuzumi |
| 2007 | Efficient Data Transmission in a Lossy and Resource Limited Wireless Sensor-Actuator Network. | Kiyohiro Morita, Kenichi Watanabe, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa |