TeStor: Deriving Test Sequences from Model-Based Specifications
Efficient Upgrading in a Purely Functional Component Deployment Model
Reusable Dialog Component Framework for Rapid Voice Application Development
A CCA-compliant Nuclear Power Plant Simulator Kernel
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations
Tailored Responsibility Within Component-Based Systems
Evaluating Performance Attributes of Layered Software Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols
Qinna, a Component-Based QoS Architecture
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
Optimizing Resource Usage in Component-Based Real-Time Systems
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans
A Contracting System for Hierarchical Components
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles
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
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Validation of Component and Service Federations in Automotive Software Applications
A compositional Framework for Real-Time Guarantees
On the Fault Hypothesis for a Safety-Critical Real-Time System
Simulink Integration of Giotto/TDL
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Adding Value to Automotive Models
Towards a Component Architecture for Hard Real Time Control Applications
Software for Automotive Systems: Model-Integrated Computing
Software Quality and European Law
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Software Development for Multiple OEMs Using Tool Configured Middleware for CAN Communication
Metrics in Software Development
Software Lessons Learned the Hard Way
Addressing Cross-Tool Semantic Ambiguities in Behavior Modeling for Vehicle Motion Control
The Case for Modeling Security, Privacy, Usability and Reliability (SPUR) in Automotive Software
Modeling with the Timing Definition Language (TDL)
A Case Study in Applying a Product Line Approach for Car Periphery Supervision Systems
Towards Verification of Model Transformations Via Goal-Directed Certification
Towards Model-Driven Development of Hard Real-Time Systems: Integrating ASCET and aiT/StackAnalyzer
Automotive Software Development Evaluation
Reusable Services and Semi-automatic Service Composition for Automotive Software
Common Software Architecture for Ground-based Military Vehicle Systems
Information Technology - A Challenge for Automotive Electronics