Raffaela Mirandola

Cesare Bartolini, Antonia Bertolino, Guglielmo De Angelis, Andrea Ciancone, Raffaela Mirandola: Apprehensive QoS monitoring of Service choreographies. SAC 2013: 1893-1899

Radu Calinescu, Carlo Ghezzi, Marta Z. Kwiatkowska, Raffaela Mirandola: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9): 69-77 (2012)

Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: A quality driven extension to the QVT-relations transformation language. Computer Science - R&D 27(2) (2012)

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer: QoS and energy management with Petri nets: A self-adaptive framework. Journal of Systems and Software 85(12): 2796-2811 (2012)

Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Stefano Iannucci, Francesco Lo Presti, Raffaela Mirandola: MOSES: A Framework for QoS Driven Runtime Adaptation of Service-Oriented Systems. IEEE Trans. Software Eng. 38(5): 1138-1159 (2012)

Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra: A Reliability Prediction Method for Abstract State Machines. ABZ 2012: 336-340

Moreno Marzolla, Raffaela Mirandola: A Framework for QoS-aware Execution of Workflows over the Cloud. CLOSER 2012: 216-221

Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla: Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach. CLOSER 2012: 355-364

Raffaela Mirandola, Catia Trubiani: A Deep Investigation for QoS-based Feedback at Design Time and Runtime. ICECCS 2012: 147-156

Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla: A layered coordination framework for optimizing resource allocation in adapting cloud-based applications. SAC 2012: 471-472

Cesare Bartolini, Antonia Bertolino, Andrea Ciancone, Guglielmo De Angelis, Raffaela Mirandola: Quality Requirements for Service Choreographies. WEBIST 2012: 143-148

Diego Perez-Palacin, José Merseguer, Raffaela Mirandola: Analysis of bursty workload-aware self-adaptive systems. ICPE 2012: 75-84

Vincenzo Grassi, Raffaela Mirandola, Nenad Medvidovic, Magnus Larsson (Eds.): Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, CBSE 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012. ACM 2012, isbn 978-1-4503-1345-2

Vincenzo Grassi, Raffaela Mirandola, Jorge Cuéllar, Javier López (Eds.): Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, ISARCS 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012. ACM 2012, isbn 978-1-4503-1347-6

Vincenzo Grassi, Raffaela Mirandola, Barbora Buhnova, Antonio Vallecillo (Eds.): Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, QoSA 2012, part of Comparch '12 Federated Events on Component-Based Software Engineering and Software Architecture, Bertinoro, Italy, June 25-28, 2012. ACM 2012, isbn 978-1-4503-1346-9

Raffaela Mirandola, Pasqualina Potena: A QoS-based framework for the adaptation of service-based systems. Scalable Computing: Practice and Experience 12(1) (2011)

Radu Calinescu, Lars Grunske, Marta Z. Kwiatkowska, Raffaela Mirandola, Giordano Tamburrelli: Dynamic QoS Management and Optimization in Service-Based Systems. IEEE Trans. Software Eng. 37(3): 387-409 (2011)

Salvatore Distefano, Antonio Filieri, Carlo Ghezzi, Raffaela Mirandola: A compositional method for reliability analysis of workflows affected by multiple failure modes. CBSE 2011: 149-158

Guglielmo Lulli, Raffaela Mirandola, Pasqualina Potena, Claudia Raibulet: Resource Management in the Air Traffic Domain. ECSA 2011: 97-104

Heiko Koziolek, Bastian Schlich, Carlos G. Bilich, Roland Weiss, Steffen Becker, Klaus Krogmann, Mircea Trifu, Raffaela Mirandola, Anne Koziolek: An industrial case study on quality impact prediction for evolving service-oriented software. ICSE 2011: 776-785

Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: Towards Quality Driven Exploration of Model Transformation Spaces. MoDELS 2011: 2-16

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer: Enhancing a QoS-based self-adaptive framework with energy management capabilities. QoSA/ISARCS 2011: 165-170

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer: Software architecture adaptability metrics for QoS-based self-adaptation. QoSA/ISARCS 2011: 171-176

Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra: An optimization process for adaptation space exploration of service-oriented applications. SOSE 2011: 146-151

Andrea Ciancone, Antonio Filieri, Mauro Luigi Drago, Raffaela Mirandola, Vincenzo Grassi: KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems. TOOLS (49) 2011: 99-114

Samuel Kounev, Vittorio Cortellessa, Raffaela Mirandola, David J. Lilja (Eds.): ICPE'11 - Second Joint WOSP/SIPEW International Conference on Performance Engineering, Karlsruhe, Germany, March 14-16, 2011. ACM 2011, isbn 978-1-4503-0519-8

Moreno Marzolla, Raffaela Mirandola: A Framework for QoS-aware Execution of Workflows over the Cloud. CoRR abs/1104.5392 (2011)

Danilo Ardagna, Raffaela Mirandola: Per-flow optimal service selection for Web services based processes. Journal of Systems and Software 83(8): 1512-1523 (2010)

Antonio Filieri, Carlo Ghezzi, Vincenzo Grassi, Raffaela Mirandola: Reliability Analysis of Component-Based Systems with Multiple Failure Modes. CBSE 2010: 1-20

Vittorio Cortellessa, Raffaela Mirandola, Pasqualina Potena: Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes. CSMR 2010: 21-30

Moreno Marzolla, Raffaela Mirandola: Performance Aware Reconfiguration of Software Systems. EPEW 2010: 51-66

Carlo Ghezzi, Lars Grunske, Raffaela Mirandola: First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). ICSE (2) 2010: 451-452

Diego Perez-Palacin, Raffaela Mirandola, José Merseguer, Vincenzo Grassi: QoS-Based Model Driven Assessment of Adaptive Reactive Systems. ICST Workshops 2010: 299-308

Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola: QVTR²: A Rational and Performance-Aware Extension to the Relations Language. MoDELS Workshops 2010: 328

Anne Martens, Danilo Ardagna, Heiko Koziolek, Raffaela Mirandola, Ralf Reussner: A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems. QoSA 2010: 84-101

Andrea Ciancone, Antonio Filieri, Raffaela Mirandola: MANTra: Towards Model Transformation Testing. QUATIC 2010: 97-105

Raffaela Mirandola, Pasqualina Potena: Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs. SYNASC 2010: 493-501

Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle: Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26

Vincenzo Grassi, Raffaela Mirandola, Enrico Randazzo: Model-Driven Assessment of QoS-Aware Self-Adaptation. Software Engineering for Self-Adaptive Systems 2009: 201-222

Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mirandola: Overlay self-organization for traffic reduction in multi-broker publish-subscribe systems. ICAC 2009: 61-62

Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mirandola: On exploiting decentralized bio-inspired self-organization algorithms to develop real systems. SEAMS 2009: 68-75

Ilenia Epifani, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli: Model evolution by run-time parameter adaptation. ICSE 2009: 111-121

Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola: A Scalable Approach to QoS-Aware Self-adaption in Service-Oriented Architectures. QSHINE 2009: 431-447

Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola: Qos-driven runtime adaptation of service oriented architectures. ESEC/SIGSOFT FSE 2009: 131-140

Donato Barbagallo, Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mirandola: A Bio-inspired Algorithm for Energy Optimization in a Self-organizing Data Center. SOAR 2009: 127-151

Raffaela Mirandola, Ian Gorton, Christine Hofmeister (Eds.): Architectures for Adaptive Software Systems, 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009, Proceedings. Lecture Notes in Computer Science 5581, Springer 2009, isbn 978-3-642-02350-7

Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Francesco Lo Presti, Raffaela Mirandola: Towards Self-adaptation for Dependable Service-Oriented Systems. WADS 2008: 24-48

Silvia Bindelli, Elisabetta Di Nitto, Raffaela Mirandola, Roberto Tedesco: Building autonomic components: The SelfLets approach. ASE Workshops 2008: 17-24

Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola: Rethinking the Use of Models in Software Architecture. QoSA 2008: 1-27

Stefano Gallotti, Carlo Ghezzi, Raffaela Mirandola, Giordano Tamburrelli: Quality Prediction of Service Compositions through Probabilistic Model Checking. QoSA 2008: 119-134

Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mirandola, Fabrice Saffre, Richard Tateson: Self-Aggregation Techniques for Load Balancing in Distributed Systems. SASO 2008: 489-490

Danilo Ardagna, Carlo Ghezzi, Raffaela Mirandola: Model Driven QoS Analyses of Composed Web Services. ServiceWave 2008: 299-311

Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil (Eds.): The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007]. Lecture Notes in Computer Science 5153, Springer 2008, isbn 978-3-540-85288-9

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta: Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach. Journal of Systems and Software 80(4): 528-558 (2007)

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola: Performance measures for supporting project manager decisions. Software Process: Improvement and Practice 12(2): 141-164 (2007)

Davide Devescovi, Elisabetta Di Nitto, Daniel J. Dubois, Raffaela Mirandola: Self-organization algorithms for autonomic systems in the SelfLet approach. Autonomics 2007: 26

Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil: Introduction. CoCoME 2007: 1-3

Raffaela Mirandola, Frantisek Plasil: CoCoTA - Common Component Task. CoCoME 2007: 4-15

Sebastian Herold, Holger Klus, Yannick Welsch, Constanze Deiters, Andreas Rausch, Ralf Reussner, Klaus Krogmann, Heiko Koziolek, Raffaela Mirandola, Benjamin Hummel, Michael Meisinger, Christian Pfaller: CoCoME - The Common Component Modeling Example. CoCoME 2007: 16-53

Vincenzo Grassi, Raffaela Mirandola, Enrico Randazzo, Antonino Sabetta: KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability. CoCoME 2007: 327-356

Davide Devescovi, Elisabetta Di Nitto, Raffaela Mirandola: An infrastructure for autonomic system development: the selflet approach. ASE 2007: 449-452

Moreno Marzolla, Raffaela Mirandola: Performance Prediction of Web Service Workflows. QoSA 2007: 127-144

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta: A model-driven approach to performability analysis of dynamically reconfigurable component-based systems. WOSP 2007: 103-114

Danilo Ardagna, Silvia Lucchini, Raffaela Mirandola, Barbara Pernici: Web Services Composition in Autonomic Grid Environments. Business Process Management Workshops 2006: 375-386

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta: A Model Transformation Approach for the Early Performance and Reliability Analysis of Component-Based Systems. CBSE 2006: 270-284

Simonetta Balsamo, Moreno Marzolla, Raffaela Mirandola: Efficient Performance Models in Component-Based Software Engineering. EUROMICRO-SEAA 2006: 64-71

Danilo Ardagna, Gabriele Giunta, Nunzio Ingraffia, Raffaela Mirandola, Barbara Pernici: QoS-Driven Web Services Selection in Autonomic Grid Environments. OTM Conferences (2) 2006: 1273-1289

Antinisca Di Marco, Raffaela Mirandola: Model Transformation in Software Performance Engineering. QoSA 2006: 95-110

Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Raffaela Mirandola: A Framework for Optimal Service Selection in Broker-Based Architectures with Multiple QoS Classes. SCW 2006: 105-112

Antonia Bertolino, Guglielmo De Angelis, Raffaela Mirandola: UML-based Design of Network Processors Applications. EUROMICRO-SEAA 2005: 424-431

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta: An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures. QoSA/SOQUA 2005: 71-87

Geri Georg, Jan Øyvind Aagedal, Raffaela Mirandola, Ileana Ober, Dorina C. Petriu, Wolfgang Theilmann, Jon Whittle, Steffen Zschaler: Workshop on Models for Non-functional Properties of Component-Based Software - NfC. MoDELS Satellite Events 2005: 210-216

Antonino Sabetta, Dorina C. Petriu, Vincenzo Grassi, Raffaela Mirandola: Abstraction-Raising Transformation for Generating Analysis Models. MoDELS Satellite Events 2005: 217-226

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta: From design to analysis models: a kernel language for performance and reliability analysis of component-based systems. WOSP 2005: 25-36

Antonia Bertolino, Raffaela Mirandola: CB-SPE Tool: Putting Component-Based Performance Engineering into Practice. CBSE 2004: 233-248

Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage: Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective. Architecting Systems with Trustworthy Components 2004: 169-192

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta: UML based modeling and performance analysis of mobile systems. MSWiM 2004: 95-104

Sharareh Afsharian, Antonia Bertolino, Guglielmo De Angelis, Paola Iovanna, Raffaela Mirandola: A Model Based Approach to Design Applications for Network Processor. RISE 2004: 93-101

Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta: A UML Profile to Model Mobile Systems. UML 2004: 128-142

Vincenzo Grassi, Raffaela Mirandola: Towards automatic compositional performance analysis of component-based systems. WOSP 2004: 59-63

Antonia Bertolino, Raffaela Mirandola: Software performance engineering of component-based systems. WOSP 2004: 238-242

Antonia Bertolino, Raffaela Mirandola: Modeling and Analysis of Non-functional Properties in Component-based Systems. Electr. Notes Theor. Comput. Sci. 82(6): 158-168 (2003)

Vincenzo Grassi, Raffaela Mirandola: Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing. IEEE Trans. Mob. Comput. 2(2): 114-131 (2003)

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola, Gaetano Lombardi, Emilia Peciola: Experience of applying statistical control techniques to the function test phase of a large telecommunications system. IEE Proceedings - Software 149(4): 93-101 (2002)

Vittorio Cortellessa, Raffaela Mirandola: PRIMA-UML: a performance validation incremental methodology on early UML diagrams. Sci. Comput. Program. 44(1): 101-129 (2002)

Vincenzo Grassi, Vittorio Cortellessa, Raffaela Mirandola: Performance Validation of Mobile Software Architectures. Performance 2002: 346-373

Antonia Bertolino, Eda Marchetti, Raffaela Mirandola: Real-tiem UML-based performance engineering to aid manager's decisions in multi-project planning. Workshop on Software and Performance 2002: 251-261

Vincenzo Grassi, Raffaela Mirandola: PRIMAmob-UML: a methodology for performance analysis of mobile software architectures. Workshop on Software and Performance 2002: 262-274

Vincenzo Grassi, Raffaela Mirandola: UML Modelling and Performance Analysis of Mobile Software Architectures. UML 2001: 209-224

Raffaela Mirandola, Vittorio Cortellessa: UML Based Performance Modeling of Distributed Systems. UML 2000: 178-193

Vittorio Cortellessa, Raffaela Mirandola: Deriving a queueing network based performance model from UML diagrams. Workshop on Software and Performance 2000: 58-70

Gaetano Lombardi, Emilia Peciola, Raffaela Mirandola, Antonia Bertolino, Eda Marchetti: Towards Statistical Control of an Industrial Test Process. SAFECOMP 1999: 260-271

Antonia Bertolino, Raffaela Mirandola, Emilia Peciola: A case study in branch testing automation. Journal of Systems and Software 38(1): 47-59 (1997)

Raffaela Mirandola, D. Hollinger: A New Approach to Performance Modelling of Client/Server Distributed Data Base Architectures. Perform. Eval. 29(4): 255-272 (1997)

Raffaela Mirandola, Giuseppe Iazeolla, M. Bruti: Performance Analysis of Client Server Data Bases by the Independent Modelling Approach. EUROSIM 1995: 517-522

Giuseppe Iazeolla, Raffaela Mirandola, Andrea D'Ambrogio: Collaborative IV&V by SPEED: a tool-kit for the performance IV&V of critical software. WETICE 1995: 221-230