- Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements
- Embedded Systems Resources: Views on Modeling and Analysis Aneta Vulgarakis Cristina Seceleanu
- Analyzing Software Evolvability of an Industrial Automation Control System: A Case Study
- An Extended Quantitative Analysis Approach for Architecting Evolvable Software Systems
- Investigating Cache Parameters of x86 Family Vlastimil Babka and Petr Tuma
- A Component Model for Control-Intensive Distributed Embedded Systems 1
- A Large-Scale Industrial Case Study on Architecture-based Software Reliability Analysis
- Behavioral Modeling and Refinement of Services Aida Causevic Cristina Seceleanu Paul Pettersson
- O. Gervasi et al. (Eds.): ICCSA 2009, Part II, LNCS 5593, pp. 4358, 2009. Springer-Verlag Berlin Heidelberg 2009
- REMES Tool-chain A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded
- Towards Supporting Evolution of Service-Oriented Architectures through Quality Impact Prediction
- An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance
- 2009 IEEE International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS)
- When Misses Differ: Investigating Impact of Cache Misses on Observed Performance Vlastimil Babka, Lukas Marek and Petr Tuma
- Combining Architecture-based Software Reliability Predictions with Financial Impact
- Model Identification for Energy-Aware Management of Web Service Systems
- Integration of Extra-Functional Properties in Component Models
- UnitCheck: Unit Testing and Model Checking Michal Kebrt and Ondrej Sery
- Parameter Dependencies for Component Reliability Specifications
- Performance Evaluation of Component-based Software Systems: A Survey Heiko Koziolek,a
- Life-Cycle Aware Modelling of Software Components Heiko Koziolek1
- Assume-Guarantee Verification of Software Components in SOFA 2 Framework1
- Extraction of Component-Environment Interaction Model Using State Space Traversal
- Mechanisms for Diameter service performance enhancement D. Matijasevi, I. Gizdi and D. Huljeni
- Utilization of Open-Source High Availability Middleware in Next Generation Telecom Services
- Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability
- TBP: Code-Oriented Component Behavior Specification Jan Kofron1,2
- Timing Penalties Associated with Cache Sharing Vlastimil Babka, Peter Libic and Petr Tuma
- REMES: A Resource Model for Embedded Systems Paul Pettersson Cristina Seceleanu Aneta Vulgarakis
- Validating Model-Driven Performance Predictions On Random Software Systems
- Behavioral Modeling and Analysis of Services and Service Compositions Aida Causevic Cristina Seceleanu Paul Pettersson
- Active Energy-Aware Management of Business-Process Based Applications
- An Industrial Case Study on Quality Impact Prediction for Evolving Service-Oriented Software
- Using UML for Domain-Specific Component Models1 This work was partially supported by the Swedish Foundation for Strategic Research via the strategic research centre PROGRESS, and
- TBP: Code-Oriented Component Behavior Specification Jan Kofron, Tomas Poch, Ondrej Sery
- An Integrated Development Environment for Building Predictable Component-Based Embedded Systems
- Modeling and Reasoning about Service Behaviors and their Compositions
- PROJECT MONITORING AND CONTROL IN MODEL-DRIVEN AND COMPONENT-BASED DEVELOPMENT OF EMBEDDED
- Save-IDE A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems
- Automatically Improve Software Architecture Models for Performance, Reliability, and Costs
- An Integrated Tool for Trade-off Analysis of Quality-of-Service Attributes1
- A Systematic Review on Architecting for Software Evolvability Hongyu Pei Breivold1, Ivica Crnkovic2
- Towards Efficient Software Component Evaluation: An Examination of Component Selection and Certification
- Reverse Engineering Component Models for Quality Predictions
- An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method
- Charles University in Prague Faculty of Mathematics and Physics
- Charles University in Prague Faculty of Mathematics and Physics
- Applying REMES behavioral modeling to PLC Aneta Vulgarakis
- Model Driven QoS Analyses of Composed Web Services
- Black-box and Gray-box Components as Elements for Performance Prediction in
- Life-Cycle Aware Modelling of Software Components Heiko Koziolek1
- Facilitating performance predictions using software components
- Automatic, Model-Based Software Performance Improvement for
- Formal Semantics of the ProCom Real-Time Component Model Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu and Paul Pettersson
- Bridging the Semantic Gap between Abstract Models of Embedded Systems
- Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
- Integration of Extra-Functional Properties in Component Models
- Analysis of Software Evolvability in Quality Models Hongyu Pei Breivold1, Ivica Crnkovic2
