SCANDURRA, Patrizia Statistiche

SCANDURRA, Patrizia  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 123 (tempo di esecuzione: 0.022 secondi).
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-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
1-gen-2020 Editorial message: Special track on software architecture: Theory, technology, and applications (SA-TTA) 2020 Camilli, Matteo; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords
1-gen-2020 Exploring the Concept of Abstract State Machines for System Runtime Enforcement 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-2020 Model-based simulation at runtime with abstract state machines 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