Performance Prediction of J2EE Applications Using Messaging Protocols
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
Component-Level Dataflow Analysis
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition
Finding a Needle in the Haystack: A Technique for Ranking Matches Between 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
2005-01-1663 Validating Powertrain Controller Systems With the VPACS-HIL Powertrain Simulator
2005-01-1660 Hardware-in-the-Loop Testing of Vehicle Dynamics Controllers - A Technical Survey
2005-01-1664 Software Quality is Not a Coincidence: A Model-Based Test Case Generator
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Validation of Component and Service Federations in Automotive Software Applications
Simulink Integration of Giotto/TDL
Automotive Software: A Challenge and Opportunity for Model-Based Software Development