Welcome to SASIS

-
Software quality requirements modeling, analysis, and verification
-
Formal methods for (self-)adaptive dependable IT systems
-
Model-driven software engineering and the application of the theories, approaches, and techniques specific to the above research areas to service-oriented and component-based systems, adaptive systems, mobile systems, and cloud computing.



Dagstuhl seminar 24182: Resilience and Antifragility of Autonomous Systems, organized by Simon Burton, Prof. Radu Calinescu, and Prof. Raffaela Mirandola, was successfully held from Apr 28 – May 03, 2024.
Check the following Dagstuhl seminar 24182 webpage to find more.
Dagstuhl Seminar 24182 webpage

Prof. Raffaela Mirandola won the Most Influential Paper Award at the ACM/SPEC International Conference on Performance Engineering (ICPE) for the paper: “Uncertainties in the Modeling of Self-Adaptive Systems: A Taxonomy and an Example of Availability Evaluation.”

Vincenzo Grassi, Raffaela Mirandola, Diego Perez-Palacin:
A conceptual and architectural characterization of antifragile systems. J. Syst. Softw. 213: 112051 (2024)

RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. SEAMS@ICSE 2024: 161-167
Explanation-driven Self-adaptation using Model-agnostic Interpretable Machine Learning. SEAMS@ICSE 2024: 189-199

Dr. Diego Perez Palacin's homepage
