Raffaela Mirandola

Proceedings of the QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

Extending the verification capabilities of middleware for reliable distributed self-adaptive systems.

[BibT_eX]

[DOI]

Marisol García-Valls

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models.

[BibT_eX]

[DOI]

Radu Calinescu

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification.

[BibT_eX]

[DOI]

Marisol García-Valls

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013

Dynamic power management for QoS-aware applications.

[BibT_eX]

[DOI]

Sustain. Comput. Informatics Syst., 2013

Introduction to the theme issue on performance modeling.

[BibT_eX]

[DOI]

David J. Lilja

Softw. Syst. Model., 2013

Hybrid multi-attribute QoS optimization in component based software systems.

[BibT_eX]

[DOI]

Anne Koziolek

J. Syst. Softw., 2013

Towards a methodology driven by relationships of quality attributes for qos-based analysis.

[BibT_eX]

[DOI]

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Apprehensive QoS monitoring of Service choreographies.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Quantifying the influence of failure repair/mitigation costs on service-based systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

QoS-aware fully decentralized service assembly.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

Multi-dimensional assessment of risks in a distributed software development course.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development, 2013

Perpetual Assurances for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

MOSES: A Platform for Experimenting with QoS-Driven Self-Adaptation Policies for Service Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

QoS and energy management with Petri nets: A self-adaptive framework.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Self-adaptive software needs quantitative verification at runtime.

[BibT_eX]

[DOI]

Commun. ACM, 2012

Analysis of bursty workload-aware self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Quality Requirements for Service Choreographies.

[BibT_eX]

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

A layered coordination framework for optimizing resource allocation in adapting cloud-based applications.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Non-functional analysis of service choreographies.

[BibT_eX]

[DOI]

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

A Deep Investigation for QoS-based Feedback at Design Time and Runtime.

[BibT_eX]

[DOI]

Catia Trubiani

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach.

[BibT_eX]

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

A Framework for QoS-aware Execution of Workflows over the Cloud.

[BibT_eX]

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

A Reliability Prediction Method for Abstract State Machines.

[BibT_eX]

[DOI]

Patrizia Scandurra

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification.

[BibT_eX]

[DOI]

Proceedings of the Conquering Complexity, 2012

2011

Dynamic QoS Management and Optimization in Service-Based Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

A QoS-based framework for the adaptation of service-based systems.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2011

KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

An optimization process for adaptation space exploration of service-oriented applications.

[BibT_eX]

[DOI]

Patrizia Scandurra

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Software architecture adaptability metrics for QoS-based self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Enhancing a QoS-based self-adaptive framework with energy management capabilities.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Towards Quality Driven Exploration of Model Transformation Spaces.

[BibT_eX]

[DOI]

Mauro Luigi Drago

Proceedings of the Model Driven Engineering Languages and Systems, 2011

An industrial case study on quality impact prediction for evolving service-oriented software.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Resource Management in the Air Traffic Domain.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 5th European Conference, 2011

A compositional method for reliability analysis of workflows affected by multiple failure modes.

[BibT_eX]

[DOI]

Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011

2010

Per-flow optimal service selection for Web services based processes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

MANTra: Towards Model Transformation Testing.

[BibT_eX]

[DOI]

Andrea Ciancone

Antonio Filieri

Proceedings of the Quality of Information and Communications Technology, 2010

A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Research into Practice, 2010

QVTR<sup>2</sup>: A Rational and Performance-Aware Extension to the Relations Language.

[BibT_eX]

[DOI]

Mauro Luigi Drago

Proceedings of the Models in Software Engineering, 2010

QoS-Based Model Driven Assessment of Adaptive Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010).

[BibT_eX]

[DOI]

Lars Grunske

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Performance Aware Reconfiguration of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2010

On Patterns for Decentralized Control in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes.

[BibT_eX]

[DOI]

Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

Reliability Analysis of Component-Based Systems with Multiple Failure Modes.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2009

A Bio-inspired Algorithm for Energy Optimization in a Self-organizing Data Center.

[BibT_eX]

[DOI]

Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

Qos-driven runtime adaptation of service oriented architectures.

[BibT_eX]

[DOI]

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Run-time resource management in SOA virtualized environments.

[BibT_eX]

[DOI]

Proceedings of the 1st international workshop on Quality of service-oriented software systems, 2009

A Scalable Approach to QoS-Aware Self-adaption in Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Quality of Service in Heterogeneous Networks, 2009

On exploiting decentralized bio-inspired self-organization algorithms to develop real systems.

[BibT_eX]

[DOI]

Daniel J. Dubois

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

Model evolution by run-time parameter adaptation.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Overlay self-organization for traffic reduction in multi-broker publish-subscribe systems.

[BibT_eX]

[DOI]

Daniel J. Dubois

Proceedings of the 6th International Conference on Autonomic Computing, 2009

Model-Driven Assessment of QoS-Aware Self-Adaptation.

[BibT_eX]

[DOI]

Enrico Randazzo

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

Software Engineering for Self-Adaptive Systems: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009

2008

Model Driven QoS Analyses of Composed Web Services.

[BibT_eX]

[DOI]

Proceedings of the Towards a Service-Based Internet, 2008

Self-Aggregation Techniques for Load Balancing in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Quality Prediction of Service Compositions through Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

Rethinking the Use of Models in Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

Building autonomic components: The SelfLets approach.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

Towards Self-adaptation for Dependable Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems VI, 2008

Applying Self-Aggregation to Load Balancing: Experimental Results.

[BibT_eX]

[DOI]

Proceedings of the 3rd International ICST Conference on Bio-Inspired Models of Network, 2008

2007

Performance measures for supporting project manager decisions.

[BibT_eX]

[DOI]

Eda Marchetti

Softw. Process. Improv. Pract., 2007

Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

A model-driven approach to performability analysis of dynamically reconfigurable component-based systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software and Performance, 2007

Performance Prediction of Web Service Workflows.

[BibT_eX]

[DOI]

Proceedings of the Software Architectures, 2007

An infrastructure for autonomic system development: the selflet approach.

[BibT_eX]

[DOI]

Davide Devescovi

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

CoCoTA - Common Component Task.

[BibT_eX]

[DOI]

Frantisek Plásil

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

CoCoME - The Common Component Modeling Example.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability.

[BibT_eX]

[DOI]

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Self-Aggregation Algorithms for Autonomic Systems.

[BibT_eX]

[DOI]

Daniel J. Dubois

Proceedings of the 2nd International ICST Conference on Bio-Inspired Models of Network, 2007

Self-organization algorithms for autonomic systems in the SelfLet approach.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, 2007

2006

A Framework for Optimal Service Selection in Broker-Based Architectures with Multiple QoS Classes.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Model Transformation in Software Performance Engineering.

[BibT_eX]

[DOI]

Antinisca Di Marco

Proceedings of the Quality of Software Architectures, 2006

QoS-Driven Web Services Selection in Autonomic Grid Environments.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Efficient Performance Models in Component-Based Software Engineering.

[BibT_eX]

[DOI]

Simonetta Balsamo

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

Web Services Composition in Autonomic Grid Environments.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2006

2005

From design to analysis models: a kernel language for performance and reliability analysis of component-based systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Software and Performance, 2005

Abstraction-Raising Transformation for Generating Analysis Models.

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Workshop on Models for Non-functional Properties of Component-Based Software - NfC.

[BibT_eX]

[DOI]

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures and Software Quality, 2005

UML-based Design of Network Processors Applications.

[BibT_eX]

[DOI]

Guglielmo De Angelis

Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

2004

Towards automatic compositional performance analysis of component-based systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software and Performance, 2004

Software performance engineering of component-based systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software and Performance, 2004

A UML Profile to Model Mobile Systems.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2004, 2004

A Model Based Approach to Design Applications for Network Processor.

[BibT_eX]

[DOI]

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

UML based modeling and performance analysis of mobile systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2004

Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the Architecting Systems with Trustworthy Components, 2004

CB-SPE Tool: Putting Component-Based Performance Engineering into Practice.

[BibT_eX]

[DOI]

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003

Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2003

Modeling and Analysis of Non-functional Properties in Component-based Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

2002

PRIMA-UML: a performance validation incremental methodology on early UML diagrams.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2002

Experience of applying statistical control techniques to the function test phase of a large telecommunications system.

[BibT_eX]

[DOI]

IEE Proc. Softw., 2002

PRIMAmob-UML: a methodology for performance analysis of mobile software architectures.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Software and Performance, 2002

Real-tiem UML-based performance engineering to aid manager's decisions in multi-project planning.

[BibT_eX]

[DOI]

Eda Marchetti

Proceedings of the Third International Workshop on Software and Performance, 2002

Performance Validation of Mobile Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

2001

UML Modelling and Performance Analysis of Mobile Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2001, 2001

2000

Early generation of performance models for object-oriented systems.

[BibT_eX]

[DOI]

Giuseppe Iazeolla

IEE Proc. Softw., 2000

Deriving a queueing network based performance model from UML diagrams.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Software and Performance, 2000

UML Based Performance Modeling of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2000, 2000

1999

Towards Statistical Control of an Industrial Test Process.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, 1999

1997

A New Approach to Performance Modelling of Client/Server Distributed Data Base Architectures.

[BibT_eX]

[DOI]

D. Hollinger

Perform. Evaluation, 1997

A case study in branch testing automation.

[BibT_eX]

[DOI]

Emilia Peciola

J. Syst. Softw., 1997

1995

Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software.

[BibT_eX]

[DOI]

Giuseppe Iazeolla

Andrea D'Ambrogio

Proceedings of the 4th Workshop on Enabling Technologies, 1995

Performance Analysis of Client Server Data Bases by the Independent Modelling Approach.

[BibT_eX]