SCANDURRA, Patrizia Statistiche
SCANDURRA, Patrizia
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
2025-03-17 Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications
2025-01-01 Camilli, Matteo; Luccioletti, Fabio; Mirandola, Raffaela; Scandurra, Patrizia
Machine Learning-Driven Data Fusion of Chromatograms, Plasmagrams, and IR Spectra of Chemical Compounds of Forensic Interest
2025-01-01 Felizzato, Giorgio; Iacobellis, Giuliano; Liberatore, Nicola; Mengali, Sandro; Sabo, Martin; Scandurra, Patrizia; Viola, Roberto; Romolo, Francesco Saverio
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
2024-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
2024-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Anomaly Detection in Public Street Lighting Data Using Unsupervised Clustering
2024-01-01 Ali, Mubashir; Scandurra, Patrizia; Moretti, Fabio; Sherazi, Hafiz H. R.
ASMETA Tool Set for Rigorous System Design
2024-09-13 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings]
2024-01-01 Riccobene, Elvinia; Leuschel, Michael; Bonfanti, Silvia; Gargantini, Angelo Michele; Scandurra, Patrizia
RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications
2024-01-01 Riccio, Vincenzo; Sorrentino, Giancarlo; Zamponi, Ettore; Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia
Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
2024-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia
Software Architecture: 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings
2024-01-01 Galster, Matthias; Scandurra, Patrizia; Mikkonen, Tommi; Oliveira, Pablo Antonino; Nakagawa, Yumi Elisa; Navarro, Elena
A component framework for the runtime enforcement of safety properties
2023-01-07 Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
A Conceptual Framework for Explainability Requirements in Software -Intensive Systems
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaella; Rossi, Matteo; Scandurra, Patrizia
Architecting a big data-driven software architecture for smart street lighting
2023-01-01 Ali, M.; Scandurra, Patrizia; Moretti, F.; Blaso, L.
Architecting Explainable Service Robots
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaella; Rossi, Matteo; Scandurra, Patrizia
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime
2023-01-01 Camilli, Matteo; Mirandola, Raffaella; Scandurra, Patrizia
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
2023-01-01 Bersani, Marcello M.; Braghin, Chiara; Gargantini, Angelo Michele; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia
Engineering Self-adaptive Microservice Applications: An Experience Report
2023-01-01 Riccio, V.; Sorrentino, G.; Camilli, M.; Mirandola, R.; Scandurra, Patrizia
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
2023-01-01 Bonfanti, Silvia; Riccobene, Elvinia; Santandrea, Davide; Scandurra, Patrizia
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 17-mar-2025 | Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines | Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2025 | Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications | Camilli, Matteo; Luccioletti, Fabio; Mirandola, Raffaela; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2025 | Machine Learning-Driven Data Fusion of Chromatograms, Plasmagrams, and IR Spectra of Chemical Compounds of Forensic Interest | Felizzato, Giorgio; Iacobellis, Giuliano; Liberatore, Nicola; Mengali, Sandro; Sabo, Martin; Scandurra, Patrizia; Viola, Roberto; Romolo, Francesco Saverio | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2024 | A compositional simulation framework for Abstract State Machine models of Discrete Event Systems | Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2024 | A journey with ASMETA from requirements to code: application to an automotive system with adaptive features | Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2024 | Anomaly Detection in Public Street Lighting Data Using Unsupervised Clustering | Ali, Mubashir; Scandurra, Patrizia; Moretti, Fabio; Sherazi, Hafiz H. R. | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 13-set-2024 | ASMETA Tool Set for Rigorous System Design | Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2024 | Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems | Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2024 | Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings] | Riccobene, Elvinia; Leuschel, Michael; Bonfanti, Silvia; Gargantini, Angelo Michele; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords | |
| 1-gen-2024 | RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications | Riccio, Vincenzo; Sorrentino, Giancarlo; Zamponi, Ettore; Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2024 | Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings | Bonfanti, Silvia; Gargantini, Angelo Michele; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books | |
| 1-gen-2024 | Software Architecture: 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3–6, 2024, Proceedings | Galster, Matthias; Scandurra, Patrizia; Mikkonen, Tommi; Oliveira, Pablo Antonino; Nakagawa, Yumi Elisa; Navarro, Elena | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books | |
| 7-gen-2023 | A component framework for the runtime enforcement of safety properties | Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2023 | A Conceptual Framework for Explainability Requirements in Software -Intensive Systems | Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaella; Rossi, Matteo; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | Architecting a big data-driven software architecture for smart street lighting | Ali, M.; Scandurra, Patrizia; Moretti, F.; Blaso, L. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | Architecting Explainable Service Robots | Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaella; Rossi, Matteo; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime | Camilli, Matteo; Mirandola, Raffaella; Scandurra, Patrizia | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
| 1-gen-2023 | Engineering of Trust Analysis-Driven Digital Twins for a Medical Device | Bersani, Marcello M.; Braghin, Chiara; Gargantini, Angelo Michele; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | Engineering Self-adaptive Microservice Applications: An Experience Report | Riccio, V.; Sorrentino, G.; Camilli, M.; Mirandola, R.; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
| 1-gen-2023 | Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines | Bonfanti, Silvia; Riccobene, Elvinia; Santandrea, Davide; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |