Raffaela Mirandola

According to our database1, Raffaela Mirandola authored at least 151 papers between 1995 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Managing Diversity in Distributed Software Development Education - A Longitudinal Case Study.
TOCE, 2019

Resilience of distributed student teams to stress factors: A longitudinal case-study.
Information & Software Technology, 2019

A Pattern-Oriented Design Framework for Self-Adaptive Software Systems.
Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

2018
Pragmatic cyber physical systems design based on parametric models.
Journal of Systems and Software, 2018

A sequential pattern mining model for application workload prediction in cloud environment.
J. Network and Computer Applications, 2018

An online learning model based on episode mining for workload prediction in cloud.
Future Generation Comp. Syst., 2018

Performance Modelling of Smart Cyber-Physical Systems.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

Model-Based Development of QoS-Aware Reconfigurable Autonomous Robotic Systems.
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

DevOps Service Observability By-Design: Experimenting with Model-View-Controller.
Proceedings of the Service-Oriented and Cloud Computing, 2018

A DSL for MAPE Patterns Representation in Self-adapting Systems.
Proceedings of the Software Architecture, 2018

2017
Building design-time and run-time knowledge for QoS-based component assembly.
Softw., Pract. Exper., 2017

Introduction to the special issue on "New frontiers in software architecture".
Journal of Systems and Software, 2017

Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload.
Journal of Systems and Software, 2017

DevOps Performance Engineering: A Quasi-Ethnographical Study.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

A Case Study to Elicit Challenges for Performance Engineering of Cyber Physical Systems.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

Continuous Rearchitecting of QoS Models: Collaborative Analysis for Uncertainty Reduction.
Proceedings of the Software Architecture - 11th European Conference, 2017

Hall of Fame Nomination Paper: Distributed Software Development Course.
Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2016
Connecting and Serving the Software Engineering Community.
IEEE Trans. Software Eng., 2016

GoPrime: A Fully Decentralized Middleware for Utility-Aware Service Assembly.
IEEE Trans. Software Eng., 2016

Simulation of Techniques to Improve the Utilization of Cloud Elasticity in Workload-aware Adaptive Software.
Proceedings of the Companion Publication for ACM/SPEC on International Conference on Performance Engineering, 2016

Energy-Aware Adaptive Techniques for Information Diffusion in Ungoverned Peer-to-Peer Networks.
Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

Reinforcement Learning Techniques for Decentralized Self-adaptive Service Assembly.
Proceedings of the Service-Oriented and Cloud Computing, 2016

Design Decision Documentation: A Literature Overview.
Proceedings of the Software Architecture - 10th European Conference, 2016

2015
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints.
Sci. Comput. Program., 2015

A quality driven extension to the QVT-relations transformation language.
Computer Science - R&D, 2015

QoS-driven Probabilistic Runtime Evaluations of Virtual Machine Placement on Hosts.
Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing, 2015

Towards GEEZMO: hiGh-frEquEncy Zest and Mood-pOlling for proactive software development problem-solving.
Proceedings of the 7th International Workshop on Social Software Engineering, 2015

QoS-based Feedback for Service Compositions.
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015

Challenges and assessment in migrating IT legacy applications to the cloud.
Proceedings of the 9th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Environments, 2015

Business Process Adaptability Metrics for QoS-Based Service Compositions.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

A Decentralized Approach to Network-Aware Service Composition.
Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

Introducing SCRUM into a Distributed Software Development Course.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Formal Reliability Models for Web Services.
Proceedings of the Correct Software in Web Applications and Web Services, 2015

2014
Dependability Assessment of Web Service Orchestrations.
IEEE Trans. Reliability, 2014

The KlaperSuite framework for model-driven reliability analysis of component-based systems.
Software and System Modeling, 2014

Adaptation space exploration for service-oriented applications.
Sci. Comput. Program., 2014

On the relationships between QoS and software adaptability at the architectural level.
Journal of Systems and Software, 2014

A reliability model for Service Component Architectures.
Journal of Systems and Software, 2014

Testing operational transformations in model-driven engineering.
ISSE, 2014

Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

Dealing with uncertainties in the performance modelling of software systems.
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

Software QoS enhancement through self-adaptation and formal models.
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.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models.
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.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Introduction to the theme issue on performance modeling.
Software and System Modeling, 2013

Hybrid multi-attribute QoS optimization in component based software systems.
Journal of Systems and Software, 2013

Towards a methodology driven by relationships of quality attributes for qos-based analysis.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Apprehensive QoS monitoring of Service choreographies.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Quantifying the influence of failure repair/mitigation costs on service-based systems.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

QoS-aware fully decentralized service assembly.
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.
Proceedings of the 3rd International Workshop on Collaborative Teaching of Globally Distributed Software Development, 2013

Perpetual Assurances for Self-Adaptive Systems.
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.
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.
IEEE Trans. Software Eng., 2012

QoS and energy management with Petri nets: A self-adaptive framework.
Journal of Systems and Software, 2012

Self-adaptive software needs quantitative verification at runtime.
Commun. ACM, 2012

Analysis of bursty workload-aware self-adaptive systems.
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Quality Requirements for Service Choreographies.
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.
Proceedings of the ACM Symposium on Applied Computing, 2012

Non-functional analysis of service choreographies.
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.
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.
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.
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.
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification.
Proceedings of the Conquering Complexity, 2012

2011
Dynamic QoS Management and Optimization in Service-Based Systems.
IEEE Trans. Software Eng., 2011

A QoS-based framework for the adaptation of service-based systems.
Scalable Computing: Practice and Experience, 2011

KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

An optimization process for adaptation space exploration of service-oriented applications.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Software architecture adaptability metrics for QoS-based self-adaptation.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Enhancing a QoS-based self-adaptive framework with energy management capabilities.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Towards Quality Driven Exploration of Model Transformation Spaces.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

An industrial case study on quality impact prediction for evolving service-oriented software.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Resource Management in the Air Traffic Domain.
Proceedings of the Software Architecture - 5th European Conference, 2011

A compositional method for reliability analysis of workflows affected by multiple failure modes.
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.
Journal of Systems and Software, 2010

Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

MANTra: Towards Model Transformation Testing.
Proceedings of the Quality of Information and Communications Technology, 2010

A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems.
Proceedings of the Research into Practice, 2010

QVTR2: A Rational and Performance-Aware Extension to the Relations Language.
Proceedings of the Models in Software Engineering, 2010

QoS-Based Model Driven Assessment of Adaptive Reactive Systems.
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).
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Performance Aware Reconfiguration of Software Systems.
Proceedings of the Computer Performance Engineering, 2010

On Patterns for Decentralized Control in Self-Adaptive Systems.
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.
Proceedings of the 14th European Conference on Software Maintenance and Reengineering, 2010

Reliability Analysis of Component-Based Systems with Multiple Failure Modes.
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.
Proceedings of the Self-Organizing Architectures, First International Workshop, 2009

Qos-driven runtime adaptation of service oriented architectures.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

A Scalable Approach to QoS-Aware Self-adaption in Service-Oriented Architectures.
Proceedings of the Quality of Service in Heterogeneous Networks, 2009

On exploiting decentralized bio-inspired self-organization algorithms to develop real systems.
Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

Model evolution by run-time parameter adaptation.
Proceedings of the 31st International Conference on Software Engineering, 2009

Overlay self-organization for traffic reduction in multi-broker publish-subscribe systems.
Proceedings of the 6th International Conference on Autonomic Computing, 2009

Model-Driven Assessment of QoS-Aware Self-Adaptation.
Proceedings of the Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], 2009


2008
Model Driven QoS Analyses of Composed Web Services.
Proceedings of the Towards a Service-Based Internet, 2008

Self-Aggregation Techniques for Load Balancing in Distributed Systems.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Quality Prediction of Service Compositions through Probabilistic Model Checking.
Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

Rethinking the Use of Models in Software Architecture.
Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

Building autonomic components: The SelfLets approach.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

Towards Self-adaptation for Dependable Service-Oriented Systems.
Proceedings of the Architecting Dependable Systems VI, 2008

Applying Self-Aggregation to Load Balancing: Experimental Results.
Proceedings of the 3rd International ICST Conference on Bio-Inspired Models of Network, 2008

2007
Performance measures for supporting project manager decisions.
Software Process: Improvement and Practice, 2007

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

A model-driven approach to performability analysis of dynamically reconfigurable component-based systems.
Proceedings of the 6th International Workshop on Software and Performance, 2007

Performance Prediction of Web Service Workflows.
Proceedings of the Software Architectures, 2007

An infrastructure for autonomic system development: the selflet approach.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

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

CoCoTA - Common Component Task.
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.
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.
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.
Proceedings of the 2nd International ICST Conference on Bio-Inspired Models of Network, 2007

Self-organization algorithms for autonomic systems in the SelfLet approach.
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.
Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 2006

Model Transformation in Software Performance Engineering.
Proceedings of the Quality of Software Architectures, 2006

QoS-Driven Web Services Selection in Autonomic Grid Environments.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Efficient Performance Models in Component-Based Software Engineering.
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.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

Web Services Composition in Autonomic Grid Environments.
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.
Proceedings of the Fifth International Workshop on Software and Performance, 2005

Abstraction-Raising Transformation for Generating Analysis Models.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Workshop on Models for Non-functional Properties of Component-Based Software - NfC.
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.
Proceedings of the Quality of Software Architectures and Software Quality, 2005

UML-based Design of Network Processors Applications.
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.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

Software performance engineering of component-based systems.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

A UML Profile to Model Mobile Systems.
Proceedings of the «UML» 2004, 2004

A Model Based Approach to Design Applications for Network Processor.
Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

UML based modeling and performance analysis of mobile systems.
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.
Proceedings of the Architecting Systems with Trustworthy Components, 2004

CB-SPE Tool: Putting Component-Based Performance Engineering into Practice.
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.
IEEE Trans. Mob. Comput., 2003

Modeling and Analysis of Non-functional Properties in Component-based Systems.
Electr. Notes Theor. Comput. Sci., 2003

2002
PRIMA-UML: a performance validation incremental methodology on early UML diagrams.
Sci. Comput. Program., 2002

Experience of applying statistical control techniques to the function test phase of a large telecommunications system.
IEE Proceedings - Software, 2002

PRIMAmob-UML: a methodology for performance analysis of mobile software architectures.
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.
Proceedings of the Third International Workshop on Software and Performance, 2002

Performance Validation of Mobile Software Architectures.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

2001
UML Modelling and Performance Analysis of Mobile Software Architectures.
Proceedings of the «UML» 2001, 2001

2000
Early generation of performance models for object-oriented systems.
IEE Proceedings - Software, 2000

Deriving a queueing network based performance model from UML diagrams.
Proceedings of the Second International Workshop on Software and Performance, 2000

UML Based Performance Modeling of Distributed Systems.
Proceedings of the «UML» 2000, 2000

1999
Towards Statistical Control of an Industrial Test Process.
Proceedings of the Computer Safety, 1999

1997
A New Approach to Performance Modelling of Client/Server Distributed Data Base Architectures.
Perform. Eval., 1997

A case study in branch testing automation.
Journal of Systems and Software, 1997

1995
Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software.
Proceedings of the 4th Workshop on Enabling Technologies, 1995

Performance Analysis of Client Server Data Bases by the Independent Modelling Approach.
Proceedings of the EUROSIM'96, 1995


  Loading...