


default search action
Raffaela Mirandola
Person information
- affiliation: Karlsruhe Institute of Technology, Germany
- affiliation (former): Politecnico di Milano, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j49]Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin:
A conceptual and architectural characterization of antifragile systems. J. Syst. Softw. 213: 112051 (2024) - [c147]Matteo Camilli
, Raffaela Mirandola
:
Multi-requirement Parametric Falsification. ICSE Companion 2024: 348-349 - [c146]Matteo Camilli
, Fabio Luccioletti, Raffaela Mirandola
, Patrizia Scandurra
:
Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications. ICSOC (2) 2024: 55-71 - [c145]Vincenzo Riccio
, Giancarlo Sorrentino
, Ettore Zamponi
, Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra
:
RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. SEAMS@ICSE 2024: 161-167 - [c144]Francesco Renato Negri
, Niccolo Nicolosi
, Matteo Camilli
, Raffaela Mirandola
:
Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning. SEAMS@ICSE 2024: 189-199 - [c143]Maike Schwammberger
, Raffaela Mirandola
, Nils Wenninghoff:
Explainability Engineering Challenges: Connecting Explainability Levels to Run-Time Explainability. xAI (4) 2024: 205-218 - [i8]Simon Burton, Radu Calinescu, Raffaela Mirandola:
Resilience and Antifragility of Autonomous Systems (Dagstuhl Seminar 24182). Dagstuhl Reports 14(4): 142-163 (2024) - 2023
- [j48]Patrizia Scandurra, Matteo Camilli
, Raffaela Mirandola
, Sungwon Kang:
Special issue on Architecting Dependable Multi-paradigm Computing Systems. Computing 105(9): 1847 (2023) - [j47]Nesrine Khabou, Ismael Bouassida Rodriguez, Khalil Drira, Paris Avgeriou
, David C. Shepherd, Wing-Kwong Chan, Raffaela Mirandola:
Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications. J. Syst. Softw. 195: 111511 (2023) - [j46]Stefan Biffl, Elena Navarro
, Raffaela Mirandola, Danny Weyns
:
Architecting for a Sustainable Digital Society. J. Syst. Softw. 200: 111668 (2023) - [j45]Danny Weyns, Radu Calinescu, Raffaela Mirandola
, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz
, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner
, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman:
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48(4): 20-36 (2023) - [j44]Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra
:
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. ACM Trans. Auton. Adapt. Syst. 18(3): 12:1-12:32 (2023) - [c142]Riccardo Pinciroli
, Raffaela Mirandola
, Catia Trubiani
:
Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems. CAiSE 2023: 88-104 - [c141]Igor Cavrak, Alessio Bucaioni, Raffaela Mirandola:
Impact of Key Scrum Role Locations in Student Distributed Software Development Projects. CSEE&T 2023: 69-78 - [c140]Marcello M. Bersani, Matteo Camilli
, Livia Lestingi
, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
Architecting Explainable Service Robots. ECSA 2023: 153-169 - [c139]Marcello M. Bersani, Matteo Camilli
, Livia Lestingi
, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C 2023: 86-90 - [c138]Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin:
Towards a Conceptual Characterization of Antifragile Systems. ICSA-C 2023: 121-125 - [c137]Marcello M. Bersani, Matteo Camilli
, Livia Lestingi
, Raffaela Mirandola
, Matteo G. Rossi:
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. FormaliSE 2023: 18-28 - [c136]Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra:
Engineering Self-adaptive Microservice Applications: An Experience Report. ICSOC (1) 2023: 227-242 - [c135]Marcello M. Bersani, Matteo Camilli
, Livia Lestingi
, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra:
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW 2023: 309-315 - [e15]Javier Troya
, Raffaela Mirandola
, Elena Navarro
, Andrea Delgado
, Sergio Segura
, Guadalupe Ortiz
, Cesare Pautasso
, Christian Zirpins
, Pablo Fernández
, Antonio Ruiz-Cortés
:
Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings. Lecture Notes in Computer Science 13821, Springer 2023, ISBN 978-3-031-26506-8 [contents] - [d3]Riccardo Pinciroli
, Raffaela Mirandola
, Catia Trubiani
:
Replication Package: Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems. Version v1.0.0. Zenodo, 2023 [all versions] - [d2]Riccardo Pinciroli
, Raffaela Mirandola
, Catia Trubiani
:
Replication Package: Modular Quality-of-Service Analysis of Software Design Models for Cyber-Physical Systems. Version v1.0.1. Zenodo, 2023 [all versions] - 2022
- [j43]Naif Alasmari
, Radu Calinescu
, Colin Paterson, Raffaela Mirandola
:
Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188: 111275 (2022) - [j42]Francesco Alongi, Marcello M. Bersani, Nicolò Ghielmetti, Raffaela Mirandola, Damian A. Tamburri
:
Event-sourced, observable software architectures: An experience report. Softw. Pract. Exp. 52(10): 2127-2151 (2022) - [c134]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani:
Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. ECSA (Tracks and Workshops) 2022: 233-245 - [c133]Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) 2022: 467-482 - [c132]Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra:
Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion 2022: 96-99 - [c131]Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra
:
XSA: eXplainable Self-Adaptation. ASE 2022: 189:1-189:5 - [c130]Maribel Acosta
, Sebastian Hahner
, Anne Koziolek
, Thomas Kühn
, Raffaela Mirandola
, Ralf H. Reussner
:
Uncertainty in coupled models of cyber-physical systems. MoDELS (Companion) 2022: 569-578 - [c129]Matteo Camilli
, Raffaela Mirandola, Patrizia Scandurra:
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. SEAMS 2022: 25-35 - [e14]Patrizia Scandurra
, Matthias Galster
, Raffaela Mirandola
, Danny Weyns
:
Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13365, Springer 2022, ISBN 978-3-031-15115-6 [contents] - [i7]Danny Weyns, Paris Avergriou, Radu Calinescu, Sara Mahdavi-Hezavehi, Raffaela Mirandola, Diego Perez-Palacin:
Specification Architectural Viewpoint for Benefit-Cost-Risk-Aware Decision-Making in Self-Adaptive Systems. CoRR abs/2211.17218 (2022) - 2021
- [j41]Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola
, Diego Perez-Palacin:
A conceptual framework for resilience: fundamental definitions, strategies and metrics. Computing 103(4): 559-588 (2021) - [c128]Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra:
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. ACSOS 2021: 71-80 - [c127]Vincenzo Grassi, Raffaela Mirandola:
The Tao way to anti-fragile software architectures: the case of mobile applications. ICSA Companion 2021: 86-89 - [c126]Lorenzo Pagliari, Mirko D'Angelo, Mauro Caporuscio, Raffaela Mirandola, Catia Trubiani:
Performance Modelling of Intelligent Transportation Systems: Experience Report. ICPE (Companion) 2021: 155-160 - [p3]Simona Bernardi, Michalis Famelis, Jean-Marc Jézéquel, Raffaela Mirandola, Diego Perez-Palacin, Fiona A. C. Polack, Catia Trubiani:
Living with Uncertainty in Model-Based Development. Composing Model-Based Analysis Tools 2021: 159-185 - [e13]Robert Heinrich, Raffaela Mirandola, Danny Weyns:
ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021. CEUR Workshop Proceedings 2978, CEUR-WS.org 2021 [contents] - [e12]Stefan Biffl
, Elena Navarro
, Welf Löwe
, Marjan Sirjani
, Raffaela Mirandola
, Danny Weyns
:
Software Architecture - 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings. Lecture Notes in Computer Science 12857, Springer 2021, ISBN 978-3-030-86043-1 [contents] - [d1]Matteo Camilli
, Raffaela Mirandola
, Patrizia Scandurra
:
[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems. Zenodo, 2021 - [i6]Sara Mahdavi-Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, Diego Perez-Palacin:
Uncertainty in Self-Adaptive Systems: A Research Community Perspective. CoRR abs/2103.02717 (2021) - [i5]Naif Alasmari, Radu Calinescu, Colin Paterson, Raffaela Mirandola:
Quantitative Verification with Adaptive Uncertainty Reduction. CoRR abs/2109.02984 (2021) - 2020
- [j40]Maryam Amiri, Leyli Mohammad Khanli
, Raffaela Mirandola
:
A new efficient approach for extracting the closed episodes for workload prediction in cloud. Computing 102(1): 141-200 (2020) - [j39]Mirko D'Angelo, Mauro Caporuscio
, Vincenzo Grassi, Raffaela Mirandola
:
Decentralized learning for self-adaptive QoS-aware service assembly. Future Gener. Comput. Syst. 108: 210-227 (2020) - [j38]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene, Patrizia Scandurra
:
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164: 110558 (2020) - [j37]Lorenzo Pagliari, Raffaela Mirandola
, Catia Trubiani
:
Engineering cyber-physical systems through performance-based modelling and analysis: A case study experience report. J. Softw. Evol. Process. 32(1) (2020) - [j36]Sara Mahdavi-Hezavehi, Danny Weyns
, Paris Avgeriou
, Radu Calinescu
, Raffaela Mirandola
, Diego Perez-Palacin:
Uncertainty in Self-adaptive Systems: A Research Community Perspective. ACM Trans. Auton. Adapt. Syst. 15(4): 10:1-10:36 (2020) - [c125]Radu Calinescu
, Raffaela Mirandola
, Diego Perez-Palacin, Danny Weyns
:
Understanding Uncertainty in Self-adaptive Systems. ACSOS 2020: 242-251 - [c124]Mauro Caporuscio, Mirko D'Angelo, Vincenzo Grassi, Raffaela Mirandola
:
Decentralized Architecture for Energy-Aware Service Assembly. ECSA 2020: 57-72 - [c123]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene, Patrizia Scandurra
:
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops 2020: 43-51 - [c122]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene, Patrizia Scandurra
, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini:
Smart home platform supporting decentralized adaptive automation control. SAC 2020: 1893-1900
2010 – 2019
- 2019
- [j35]Igor Cavrak, Ivana Bosnic, Federico Ciccozzi
, Raffaela Mirandola
:
Resilience of distributed student teams to stress factors: A longitudinal case-study. Inf. Softw. Technol. 114: 258-274 (2019) - [j34]Ivana Bosnic, Federico Ciccozzi
, Ivica Crnkovic
, Igor Cavrak, Elisabetta Di Nitto, Raffaela Mirandola
, Mario Zagar:
Managing Diversity in Distributed Software Development Education - A Longitudinal Case Study. ACM Trans. Comput. Educ. 19(2): 10:1-10:23 (2019) - [c121]Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
:
Self-accounting in architecture-based self-adaptation. ECSA (Companion) 2019: 14-17 - [c120]Moreno Marzolla
, Raffaela Mirandola
:
Gender balance in computer science and engineering in Italian universities. ECSA (Companion) 2019: 82-87 - [c119]Lorenzo Pagliari, Mirko D'Angelo, Mauro Caporuscio
, Raffaela Mirandola
, Catia Trubiani:
To what extent formal methods are applicable for performance analysis of smart cyber-physical systems? ECSA (Companion) 2019: 139-144 - [c118]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene, Patrizia Scandurra
:
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion 2019: 166-169 - [c117]Antonio Guerriero
, Raffaela Mirandola
, Roberto Pietrantuono
, Stefano Russo
:
A Hybrid Framework for Web Services Reliability and Performance Assessment. ISSRE Workshops 2019: 185-192 - [c116]Mirko D'Angelo, Lorenzo Pagliari, Mauro Caporuscio, Raffaela Mirandola
, Catia Trubiani:
Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems. SEFM Workshops 2019: 69-76 - [c115]Jesper Andersson, Vincenzo Grassi, Raffaela Mirandola
, Diego Perez-Palacin:
A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces. SERENE 2019: 11-25 - [e11]Laurence Duchien, Anne Koziolek, Raffaela Mirandola, Elena Maria Navarro Martínez, Clément Quinton, Riccardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns:
Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2),. ACM 2019, ISBN 978-1-4503-7142-1 [contents] - [i4]Danny Weyns, Nelly Bencomo, Radu Calinescu
, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli:
Perpetual Assurances for Self-Adaptive Systems. CoRR abs/1903.04771 (2019) - [i3]Moreno Marzolla, Raffaela Mirandola:
Gender Balance in Computer Science and Engineering in Italian Universities. CoRR abs/1907.07009 (2019) - 2018
- [j33]Maryam Amiri
, Leili Mohammad Khanli
, Raffaela Mirandola
:
An online learning model based on episode mining for workload prediction in cloud. Future Gener. Comput. Syst. 87: 83-101 (2018) - [j32]Maryam Amiri
, Leili Mohammad Khanli
, Raffaela Mirandola
:
A sequential pattern mining model for application workload prediction in cloud environment. J. Netw. Comput. Appl. 105: 21-62 (2018) - [j31]Marisol García-Valls
, Diego Perez-Palacin, Raffaela Mirandola
:
Pragmatic cyber physical systems design based on parametric models. J. Syst. Softw. 144: 559-572 (2018) - [c114]Paolo Arcaini
, Raffaela Mirandola
, Elvinia Riccobene
, Patrizia Scandurra
:
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA 2018: 3-19 - [c113]Damian A. Tamburri
, Marcello M. Bersani, Raffaela Mirandola
, Giorgio Pea:
DevOps Service Observability By-Design: Experimenting with Model-View-Controller. ESOCC 2018: 49-64 - [c112]Davide Brugali, Rafael Capilla
, Raffaela Mirandola
, Catia Trubiani:
Model-Based Development of QoS-Aware Reconfigurable Autonomous Robotic Systems. IRC 2018: 129-136 - [c111]Tomás Bures
, Vladimír Matena, Raffaela Mirandola
, Lorenzo Pagliari, Catia Trubiani:
Performance Modelling of Smart Cyber-Physical Systems. ICPE Companion 2018: 37-40 - [e10]Jennifer Pérez, Raffaela Mirandola, Hong-Mei Chen:
Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings, ECSA 2018, Madrid, Spain, September 24-28, 2018. ACM 2018 [contents] - [e9]Erika Ábrahám, Elisabetta Di Nitto, Raffaela Mirandola:
2018 IEEE/ACM 1st International Workshop on Gender Equality in Software Engineering, GE@ICSE, Gothenburg, Sweden, May 28, 2018. ACM 2018, ISBN 978-1-4503-5738-8 [contents] - 2017
- [j30]Diego Perez-Palacin, Raffaela Mirandola
, José Merseguer
:
Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload. J. Syst. Softw. 130: 24-41 (2017) - [j29]Danny Weyns
, Raffaela Mirandola
, Ivica Crnkovic
:
Introduction to the special issue on "New frontiers in software architecture". J. Syst. Softw. 130: 57-58 (2017) - [j28]Mauro Caporuscio
, Raffaela Mirandola
, Catia Trubiani
:
Building design-time and run-time knowledge for QoS-based component assembly. Softw. Pract. Exp. 47(12): 1905-1922 (2017) - [c110]Igor Cavrak, Ivana Bosnic, Mario Zagar, Federico Ciccozzi, Elisabetta Di Nitto, Raffaela Mirandola
, Ivica Crnkovic
:
Hall of Fame Nomination Paper: Distributed Software Development Course. CSEE&T 2017: 7-8 - [c109]Catia Trubiani, Raffaela Mirandola
:
Continuous Rearchitecting of QoS Models: Collaborative Analysis for Uncertainty Reduction. ECSA 2017: 40-48 - [c108]Lorenzo Pagliari, Raffaela Mirandola
, Catia Trubiani:
Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design. ICECCS 2017: 142-145 - [c107]Giuseppe Vergori, Damian A. Tamburri
, Diego Perez-Palacin, Raffaela Mirandola
:
DevOps Performance Engineering: A Quasi-Ethnographical Study. ICPE Companion 2017: 127-132 - [c106]Lorenzo Pagliari, Raffaela Mirandola
, Catia Trubiani
:
A Case Study to Elicit Challenges for Performance Engineering of Cyber Physical Systems. ICPE Companion 2017: 217-222 - 2016
- [j27]Mauro Caporuscio
, Vincenzo Grassi, Moreno Marzolla
, Raffaela Mirandola
:
GoPrime: A Fully Decentralized Middleware for Utility-Aware Service Assembly. IEEE Trans. Software Eng. 42(2): 136-152 (2016) - [j26]Matthew B. Dwyer
, Eric Bodden, Brian Fitzgerald, Miryung Kim, Sunghun Kim, Amy J. Ko, Emilia Mendes, Raffaela Mirandola, Ana Moreira, Forrest Shull, Stephen F. Siegel, Tao Xie, Charles Zhang:
Connecting and Serving the Software Engineering Community. IEEE Trans. Software Eng. 42(3): 203-205 (2016) - [c105]Zoya Alexeeva, Diego Perez-Palacin, Raffaela Mirandola
:
Design Decision Documentation: A Literature Overview. ECSA 2016: 84-101 - [c104]Mauro Caporuscio
, Mirko D'Angelo, Vincenzo Grassi, Raffaela Mirandola:
Reinforcement Learning Techniques for Decentralized Self-adaptive Service Assembly. ESOCC 2016: 53-68 - [c103]Lorenzo Pagliari, Raffaela Mirandola
, Diego Perez-Palacin, Catia Trubiani
:
Energy-Aware Adaptive Techniques for Information Diffusion in Ungoverned Peer-to-Peer Networks. QoSA 2016: 96-105 - [c102]Diego Perez-Palacin, Raffaela Mirandola
, Marco Scoppetta:
Simulation of Techniques to Improve the Utilization of Cloud Elasticity in Workload-aware Adaptive Software. ICPE Companion 2016: 51-56 - 2015
- [j25]Mauro Luigi Drago, Carlo Ghezzi, Raffaela Mirandola
:
A quality driven extension to the QVT-relations transformation language. Comput. Sci. Res. Dev. 30(1): 1-20 (2015) - [j24]Vittorio Cortellessa
, Raffaela Mirandola
, Pasqualina Potena:
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints. Sci. Comput. Program. 98: 439-463 (2015) - [c101]Ivana Bosnic, Federico Ciccozzi, Igor Cavrak, Elisabetta Di Nitto
, Juraj Feljan, Raffaela Mirandola
:
Introducing SCRUM into a Distributed Software Development Course. ECSA Workshops 2015: 34:1-34:8 - [c100]Valeria Cardellini
, Mirko D'Angelo, Vincenzo Grassi, Moreno Marzolla
, Raffaela Mirandola:
A Decentralized Approach to Network-Aware Service Composition. ESOCC 2015: 34-48 - [c99]Raffaela Mirandola
, Diego Perez-Palacin, Patrizia Scandurra
, Michele Brignoli, Andrea Zonca:
Business Process Adaptability Metrics for QoS-Based Service Compositions. ESOCC 2015: 110-124 - [c98]Patrizia Scandurra
, Giuseppe Psaila
, Rafael Capilla
, Raffaela Mirandola
:
Challenges and assessment in migrating IT legacy applications to the cloud. MESOCA 2015: 7-14 - [c97]Mauro Caporuscio
, Raffaela Mirandola
, Catia Trubiani
:
QoS-based Feedback for Service Compositions. QoSA 2015: 37-42 - [c96]Elisabetta Di Nitto
, Raffaela Mirandola
, Santi Raffa, Damian A. Tamburri
:
Towards GEEZMO: hiGh-frEquEncy Zest and Mood-pOlling for proactive software development problem-solving. SSE@SIGSOFT FSE 2015: 9-16 - [c95]Diego Perez-Palacin, Raffaela Mirandola
, Federico Monterisi, Andrea Montoli:
QoS-driven Probabilistic Runtime Evaluations of Virtual Machine Placement on Hosts. UCC 2015: 90-94 - [p2]Raffaela Mirandola
, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra:
Formal Reliability Models for Web Services. Correct Software in Web Applications and Web Services 2015: 229-256 - [e8]Danny Weyns
, Raffaela Mirandola, Ivica Crnkovic:
Software Architecture - 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015, Proceedings. Lecture Notes in Computer Science 9278, Springer 2015, ISBN 978-3-319-23726-8 [contents] - 2014
- [j23]Andrea Ciancone, Antonio Filieri
, Raffaela Mirandola
:
Testing operational transformations in model-driven engineering. Innov. Syst. Softw. Eng. 10(1): 19-32 (2014) - [j22]Diego Perez-Palacin, Raffaela Mirandola
, José Merseguer
:
On the relationships between QoS and software adaptability at the architectural level. J. Syst. Softw. 87: 1-17 (2014) - [j21]Raffaela Mirandola
, Pasqualina Potena, Elvinia Riccobene
, Patrizia Scandurra
:
A reliability model for Service Component Architectures. J. Syst. Softw. 89: 109-127 (2014) - [j20]Raffaela Mirandola
, Pasqualina Potena, Patrizia Scandurra
:
Adaptation space exploration for service-oriented applications. Sci. Comput. Program. 80: 356-384 (2014) - [j19]Andrea Ciancone, Mauro Luigi Drago, Antonio Filieri
, Vincenzo Grassi, Heiko Koziolek, Raffaela Mirandola
:
The KlaperSuite framework for model-driven reliability analysis of component-based systems. Softw. Syst. Model. 13(4): 1269-1290 (2014) - [j18]Salvatore Distefano
, Carlo Ghezzi, Sam Guinea, Raffaela Mirandola
:
Dependability Assessment of Web Service Orchestrations. IEEE Trans. Reliab. 63(3): 689-705 (2014) - [c94]Marisol García-Valls
, Diego Perez-Palacin, Raffaela Mirandola:
Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification. COMPSAC 2014: 332-337 - [c93]Diego Perez-Palacin, Raffaela Mirandola, Radu Calinescu:
Synthesis of Adaptation Plans for Cloud Infrastructure with Hybrid Cost Models. EUROMICRO-SEAA 2014: 443-450 - [c92]Marisol García-Valls
, Diego Perez-Palacin, Raffaela Mirandola
:
Extending the verification capabilities of middleware for reliable distributed self-adaptive systems. INDIN 2014: 164-169 - [c91]Diego Perez-Palacin, Raffaela Mirandola
:
Dealing with uncertainties in the performance modelling of software systems. QoSA 2014: 33-42 - [c90]Raffaela Mirandola, Diego Perez-Palacin:
Software QoS enhancement through self-adaptation and formal models. QoSA 2014: 145-146 - [c89]Diego Perez-Palacin, Raffaela Mirandola
:
Uncertainties in the modeling of self-adaptive systems: a taxonomy and an example of availability evaluation. ICPE 2014: 3-14 - 2013
- [j17]Anne Koziolek
, Danilo Ardagna
, Raffaela Mirandola
:
Hybrid multi-attribute QoS optimization in component based software systems. J. Syst. Softw. 86(10): 2542-2558 (2013) - [j16]David J. Lilja, Raffaela Mirandola:
Introduction to the theme issue on performance modeling. Softw. Syst. Model. 12(4): 679-680 (2013) - [j15]Moreno Marzolla
, Raffaela Mirandola
:
Dynamic power management for QoS-aware applications. Sustain. Comput. Informatics Syst. 3(4): 231-248 (2013) - [c88]