SCANDURRA, Patrizia Statistiche
SCANDURRA, Patrizia
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
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-01-01 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
Software Architecture: 17th European Conference, ECSA 2023 Istanbul, Turkey, September 18–22, 2023 Proceedings
2023-01-01 Tekinerdogan, Bedir; Trubiani, Catia; Tibermacine, Chouki; Scandurra, Patrizia; Cuesta, Carlos E.
Special issue on Architecting Dependable Multi-paradigm Computing Systems
2023-01-01 Scandurra, Patrizia; Camilli, Matteo; Mirandola, Raffaella; Kang, Sungwon
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems
2023-01-01 Weyns, Danny; Calinescu, Radu; Mirandola, Raffaela; Tei, Kenji; Acosta, Maribel; Bennaceur, Amel; Boltz, Nicolas; Bures, Tomas; Camara, Javier; Diaconescu, Ada; Engels, Gregor; Gerasimou, Simos; Gerostathopoulos, Ilias; Getir Yaman, Sinem; Grassi, Vincenzo; Hahner, Sebastian; Letier, Emmanuel; Litoiu, Marin; Marsso, Lina; Musil, Angelika; Musil, Juergen; Nunes Rodrigues, Genaina; Perez-Palacin, Diego; Quin, Federico; Scandurra, Patrizia; Vallecillo, Antonio; Zisman, Andrea
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 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 | |
| 1-gen-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 | |
| 1-gen-2023 | Software Architecture: 17th European Conference, ECSA 2023 Istanbul, Turkey, September 18–22, 2023 Proceedings | Tekinerdogan, Bedir; Trubiani, Catia; Tibermacine, Chouki; Scandurra, Patrizia; Cuesta, Carlos E. | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books | |
| 1-gen-2023 | Special issue on Architecting Dependable Multi-paradigm Computing Systems | Scandurra, Patrizia; Camilli, Matteo; Mirandola, Raffaella; Kang, Sungwon | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books | |
| 1-gen-2023 | Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems | Weyns, Danny; Calinescu, Radu; Mirandola, Raffaela; Tei, Kenji; Acosta, Maribel; Bennaceur, Amel; Boltz, Nicolas; Bures, Tomas; Camara, Javier; Diaconescu, Ada; Engels, Gregor; Gerasimou, Simos; Gerostathopoulos, Ilias; Getir Yaman, Sinem; Grassi, Vincenzo; Hahner, Sebastian; Letier, Emmanuel; Litoiu, Marin; Marsso, Lina; Musil, Angelika; Musil, Juergen; Nunes Rodrigues, Genaina; Perez-Palacin, Diego; Quin, Federico; Scandurra, Patrizia; Vallecillo, Antonio; Zisman, Andrea | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays |