Items where authors include "Mirandola, Raffaela"

Article

Alasmari, Naif, Calinescu, Radu orcid.org/0000-0002-2678-9260, Paterson, Colin orcid.org/0000-0002-6678-3752 et al. (1 more author) (2022) Quantitative Verification with Adaptive Uncertainty Reduction. Journal of Systems and Software. 111275. ISSN 0164-1212

Hezavehi, Sara M., Weyns, Danny, Avgeriou, Paris et al. (3 more authors) (2021) Uncertainty in Self-adaptive Systems:A Research Community Perspective. ACM Transactions on Autonomous and Adaptive Systems. pp. 1-36. ISSN 1556-4703

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Kwiatkowska, Marta et al. (1 more author) (2012) Self-adaptive software needs quantitative verification at runtime. Communications of the ACM. pp. 69-77. ISSN 0001-0782

Proceedings Paper

Calinescu, Radu orcid.org/0000-0002-2678-9260, Mirandola, Raffaela, Perez-Palacin, Diego et al. (1 more author) (2020) Understanding Uncertainty in Self-adaptive Systems. In: 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems. UNSPECIFIED. .

Weyns, Danny, Bencomo, Nelly, Calinescu, Radu orcid.org/0000-0002-2678-9260 et al. (10 more authors) (2019) Perpetual Assurances for Self-Adaptive Systems. In: Software Engineering for Self-Adaptive Systems III. Assurances. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 31-63.