TeStor: Deriving Test Sequences from Model-Based Specifications
Efficient Upgrading in a Purely Functional Component Deployment Model
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components
Tailored Responsibility Within Component-Based Systems
Evaluating Performance Attributes of Layered Software Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols
Optimizing Resource Usage in Component-Based Real-Time Systems
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans
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
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
Component-Level Dataflow Analysis
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
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
A compositional Framework for Real-Time Guarantees
On the Fault Hypothesis for a Safety-Critical Real-Time System
Validation of Component and Service Federations in Automotive Software Applications
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Simulink Integration of Giotto/TDL
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Adding Value to Automotive Models
Software for Automotive Systems: Model-Integrated Computing
Towards a Component Architecture for Hard Real Time Control Applications
Reusable Services and Semi-automatic Service Composition for Automotive Software
A Case Study in Applying a Product Line Approach for Car Periphery Supervision Systems
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
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
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Towards Verification of Model Transformations Via Goal-Directed Certification
A Software and System Modeling Facility for Vehicle Environment Interactions
Software Development for Multiple OEMs Using Tool Configured Middleware for CAN Communication
Metrics in Software Development
Software Quality and European Law
An Instrumentation-Based Approach to Controller Model Validation
Modeling with the Timing Definition Language (TDL)
Customer Requirements and Requirements Analysis Example
Software Lessons Learned the Hard Way