TeStor: Deriving Test Sequences from Model-Based Specifications
Efficient Upgrading in a Purely Functional Component Deployment Model
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
Component-Level Dataflow Analysis
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition
Qinna, a Component-Based QoS Architecture
A Contracting System for Hierarchical Components
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles
Experience with Component-Based Development of a Telecommunication Service
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
Exogenous Connectors for Software Components
2005-01-1659 Automatic Evaluation of ECU Software Tests
2005-01-1658 Hardware-in-the-Loop Testing of Networked Electronics at Ford
2005-01-1657 How to Do Hardware-in-the-Loop Simulation Right
2005-01-1666 Simulation Structure for Heterogeneous Environments
2005-01-1665 Verifying Code Automatically Generated From an Executable Model
2005-01-1667 Hardware in the Loop for a Dynamic Driving System Controller Testing and Validation