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
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
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
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
Special issue on Architecting Dependable Multi-paradigm Computing Systems [Editorial]
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
Towards Better Trust in Human-Machine Teaming through Explainable Dependability
2023-01-01 Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.; Scandurra, Patrizia
Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning
2023-01-01 Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia; Trubiani, Catia
Compositional Simulation of Abstract State Machines for Safety Critical Systems
2022-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing: Session details: Theme: Software design and development: SATTA - software architecture: theory, technology, and applications track
2022-01-01 Camilli, Matteo; Kang, Sungwon; Scandurra, Patrizia
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 | 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 | 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 | |
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 | Special issue on Architecting Dependable Multi-paradigm Computing Systems [Editorial] | Scandurra, Patrizia; Camilli, Matteo; Mirandola, Raffaella; Kang, Sungwon | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
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 | |
1-gen-2023 | Towards Better Trust in Human-Machine Teaming through Explainable Dependability | Bersani, M. M.; Camilli, M.; Lestingi, L.; Mirandola, R.; Rossi, M.; 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 | Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning | Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia; Trubiani, Catia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2022 | Compositional Simulation of Abstract State Machines for Safety Critical Systems | 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-2022 | SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing: Session details: Theme: Software design and development: SATTA - software architecture: theory, technology, and applications track | Camilli, Matteo; Kang, Sungwon; Scandurra, Patrizia | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books |