SCANDURRA, Patrizia Statistiche
SCANDURRA, Patrizia
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
A component framework for the runtime enforcement of safety properties
2023-01-07 Bonfanti, Silvia; Riccobene, Elvinia; 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
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
2023-01-01 Bonfanti, Silvia; Riccobene, Elvinia; Santandrea, Davide; 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
Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers
2022-01-01 Scandurra, Patrizia; Galster, Matthias; Mirandola, Raffaela; Weyns, Danny
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging
2022-01-01 Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia
Towards an Evaluation Framework for Autonomous Systems
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
Towards Trust-preserving continuous co-evolution of Digital Twins
2022-03-01 Bersani, Marcello Maria; Braghin, Chiara; Cortellessa, Vittorio; Gargantini, Angelo Michele; Grassi, Vincenzo; Lo Presti, Francesco; Mirandola, Raffaela; Pierantonio, Alfonso; Riccobene, Elvinia; Scandurra, Patrizia
XSA: eXplainable Self-Adaptation
2022-01-01 Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia
A Runtime Safety Enforcement Approach by Monitoring and Adaptation
2021-01-01 Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
Composition of Languages, Models, and Analyses
2021-01-01 Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans
Foundations
2021-01-01 Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans; Durán, Francisco; Zschaler, Steffen
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform
2021-01-01 Ali, Mubashir; Scandurra, Patrizia; Moretti, Fabio; Blaso, Laura; Leccisi, Mariagrazia; Leccese, Fabio
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems
2021-01-01 Camilli, Matteo; Mirandola, Raffaela; Scandurra, Patrizia
The ASMETA Approach to Safety Assurance of Software Systems
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Track editorial on Software design and development: Software architecture: Theory, technology, and applications (SA-TTA) 2021
2021-01-01 Camilli, Matteo; Kang, Sungwon; Scandurra, Patrizia
Uncertainty-aware Exploration in Model-based Testing
2021-01-01 Camilli, Matteo; Gargantini, Angelo Michele; Scandurra, Patrizia; Trubiani, Catia
Addressing usability in a formal development environment
2020-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
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 | 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 | 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 | 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 | |
1-gen-2022 | Software Architecture: 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers | Scandurra, Patrizia; Galster, Matthias; Mirandola, Raffaela; Weyns, Danny | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books | |
1-gen-2022 | Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging | 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-2022 | Towards an Evaluation Framework for Autonomous Systems | Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; 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-mar-2022 | Towards Trust-preserving continuous co-evolution of Digital Twins | Bersani, Marcello Maria; Braghin, Chiara; Cortellessa, Vittorio; Gargantini, Angelo Michele; Grassi, Vincenzo; Lo Presti, Francesco; Mirandola, Raffaela; Pierantonio, Alfonso; 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 | XSA: eXplainable Self-Adaptation | 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-2021 | A Runtime Safety Enforcement Approach by Monitoring and Adaptation | Bonfanti, Silvia; 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-2021 | Composition of Languages, Models, and Analyses | Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2021 | Foundations | Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans; Durán, Francisco; Zschaler, Steffen | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2021 | From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform | Ali, Mubashir; Scandurra, Patrizia; Moretti, Fabio; Blaso, Laura; Leccisi, Mariagrazia; Leccese, Fabio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2021 | Runtime Equilibrium Verification for Resilient Cyber-Physical Systems | 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-2021 | The ASMETA Approach to Safety Assurance of Software Systems | Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2021 | Track editorial on Software design and development: Software architecture: Theory, technology, and applications (SA-TTA) 2021 | Camilli, Matteo; Kang, Sungwon; Scandurra, Patrizia | 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords | |
1-gen-2021 | Uncertainty-aware Exploration in Model-based Testing | Camilli, Matteo; Gargantini, Angelo Michele; 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-2020 | Addressing usability in a formal development environment | Arcaini, Paolo; 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 |