Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 171
Titolo Data di pubblicazione Autori File
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems 1-gen-2023 Mirandola, RaffaelaCamara, JavierGrassi, VincenzoPerez-Palacin, Diego +
Engineering Self-adaptive Microservice Applications: An Experience Report 1-gen-2023 Riccio, VincenzoSorrentino, GiancarloCamilli, MatteoMirandola, Raffaela +
Special issue on Architecting Dependable Multi-paradigm Computing Systems 1-gen-2023 Camilli, MatteoMirandola, Raffaela +
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime 1-gen-2023 Camilli, MatteoMirandola, Raffaela +
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo
Architecting Explainable Service Robots 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Towards Better Trust in Human-Machine Teaming through Explainable Dependability 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging 1-gen-2022 Camilli, MMirandola, R +
XSA: eXplainable Self-Adaptation 1-gen-2022 Camilli, MatteoMirandola, Raffaela +
Towards Trust-preserving Continuous Co-evolution of Digital Twins 1-gen-2022 Bersani M. M.Mirandola R. +
Uncertainty in coupled models of cyber-physical systems 1-gen-2022 Mirandola R. +
Quantitative verification with adaptive uncertainty reduction 1-gen-2022 Mirandola R. +
Event-sourced, observable software architectures: An experience report 1-gen-2022 Alongi F.Bersani M. M.Mirandola R.Tamburri D. A. +
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems 1-gen-2021 Camilli M.Mirandola R. +
Model-Based Testing for MAPE-K adaptation control loops 1-gen-2020 Mirandola R. +
Smart home platform supporting decentralized adaptive automation control 1-gen-2020 Mirandola R. +
Decentralized architecture for energy-aware service assembly 1-gen-2020 Mirandola R. +
Understanding uncertainty in self-adaptive systems 1-gen-2020 Mirandola R. +
MSL: A pattern language for engineering self-adaptive systems 1-gen-2020 Mirandola R. +
Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems 1-gen-2020 Mirandola R. +
Decentralized learning for self-adaptive QoS-aware service assembly 1-gen-2020 Mirandola R. +
Uncertainty in Self-adaptive Systems: A Research Community Perspective 1-gen-2020 Mirandola, Raffaela +
A conceptual framework for resilience: fundamental definitions, strategies and metrics 1-gen-2020 Mirandola R. +
Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report 1-gen-2019 Mirandola, Raffaela +
A hybrid framework for web services reliability and performance assessment 1-gen-2019 Mirandola R. +
Resilience of distributed student teams to stress factors: A longitudinal case-study 1-gen-2019 Mirandola R. +
A new efficient approach for extracting the closed episodes for workload prediction in cloud 1-gen-2019 Mirandola R. +
Gender balance in computer science and engineering in Italian universities 1-gen-2019 Mirandola, Raffaela +
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems 1-gen-2019 Mirandola R. +
To what extent formal methods are applicable for performance analysis of smart cyber-physical systems? 1-gen-2019 Mirandola, Raffaela +
A Distilled Characterization of Resilience and Its Embraced Properties Based on State-Spaces 1-gen-2019 Mirandola R. +
Managing diversity in distributed software development education-A longitudinal case study 1-gen-2019 Mirandola, RaffaelaDI NITTO, ELISABETTA +
Pragmatic cyber physical systems design based on parametric models 1-gen-2018 Mirandola, Raffaela +
An online learning model based on episode mining for workload prediction in cloud 1-gen-2018 Mirandola, Raffaela +
A sequential pattern mining model for application workload prediction in cloud environment 1-gen-2018 Mirandola, Raffaela +
Performance modelling of smart cyber-physical systems 1-gen-2018 Mirandola, Raffaela +
DevOps Service Observability By-Design: Experimenting with Model-View-Controller 1-gen-2018 Tamburri, Damian A.Bersani, Marcello M.Mirandola, RaffaelaPea, Giorgio
A DSL for MAPE patterns representation in self-adapting systems 1-gen-2018 Mirandola, Raffaela +
Model-based development of QoS-aware reconfigurable autonomous robotic systems 1-gen-2018 Mirandola, Raffaela +
Perpetual assurances for self-adaptive systems 1-gen-2017 Ghezzi, CarloMirandola, Raffaela +
Software engineering for self-adaptive systems: research challenges in the provision of assurances 1-gen-2017 Ghezzi, CarloBaresi, LucianoMirandola, Raffaela +
MOSES: A platform for experimenting with qos-driven self-adaptation policies for service oriented systems 1-gen-2017 Mirandola, Raffaela +
DevOps performance engineering: A quasi-ethnographical study 1-gen-2017 VERGORI, GIUSEPPETAMBURRI, DAMIAN ANDREWMirandola, Raffaela +
Hall of Fame Nomination Paper: Distributed Software Development Course 1-gen-2017 Di Nitto, ElisabettaMirandola, Raffaela +
Accurate modeling and efficient QoS analysis of scalable adaptive systems under bursty workload 1-gen-2017 PEREZ PALACIN, DIEGO CARMELOMIRANDOLA, RAFFAELA +
Multi-modeling Approach to Performance Engineering of Cyber-Physical Systems Design 1-gen-2017 Mirandola, Raffaela +
A case study to elicit challenges for performance engineering of cyber physical systems 1-gen-2017 Mirandola, Raffaela +
Continuous rearchitecting of QoS models: Collaborative analysis for uncertainty reduction 1-gen-2017 Mirandola, Raffaela +
Introduction to the special issue on “New frontiers in software architecture” 1-gen-2017 Mirandola, Raffaela +
Mostrati risultati da 1 a 50 di 171
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile