Skip to content

Patrizia Scandurra

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

50

Venues

22

Active years

2004–2026

Best venue rank

A*

Where they publish

Papers

50 indexed papers, newest first.

YearVenueTitleAuthors
2026FORTEAsmetaComp: A Tool for Runtime Contract Checking with I/O Abstract State Machines.Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2026SEAMSA Process to Enforce Ethical Requirements of Autonomous Systems at Runtime.Martina De Sanctis, Gianluca Filippone, Paola Inverardi, Raffaela Mirandola, Sara Pettinari, Patrizia Scandurra
2025ICSANon-invasive software architecture for data pipelines with legacy support in smart manufacturing.Alberto Ceselli, Giuseppe De Martino, Patrizia Scandurra
2025SACA self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring.Andrea Bombarda, Giuseppe Ruscica, Patrizia Scandurra
2024FMASMETA Tool Set for Rigorous System Design.Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024ICSOCIntegrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications.Matteo Camilli, Fabio Luccioletti, Raffaela Mirandola, Patrizia Scandurra
2024SEAMSRAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications.Vincenzo Riccio, Giancarlo Sorrentino, Ettore Zamponi, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2023ECSAArchitecting Explainable Service Robots.Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023ICSAArchitecting a big data-driven software architecture for smart street lighting.Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Laura Blaso
2023ICSATowards Better Trust in Human-Machine Teaming through Explainable Dependability.Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023ICSOCEngineering Self-adaptive Microservice Applications: An Experience Report.Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2023REA Conceptual Framework for Explainability Requirements in Software-Intensive Systems.Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2022ECSAEngineering of Trust Analysis-Driven Digital Twins for a Medical Device.Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2022ECSATowards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning.Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani
2022ICSATowards Trust-preserving Continuous Co-evolution of Digital Twins.Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra
2022SEAMSTaming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging.Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2021ECSAA Runtime Safety Enforcement Approach by Monitoring and Adaptation.Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2021ICSTUncertainty-aware Exploration in Model-based Testing.Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani
2020ECSAModel-Based Simulation at Runtime with Abstract State Machines.Elvinia Riccobene, Patrizia Scandurra
2020ICSTModel-Based Testing for MAPE-K adaptation control loops.Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2020SACSmart home platform supporting decentralized adaptive automation control.Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini
2019ECSASelf-accounting in architecture-based self-adaptation.Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2019FMAddressing Usability in a Formal Development Environment.Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2019ICSAA Pattern-Oriented Design Framework for Self-Adaptive Software Systems.Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2019IFMHYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications.Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra
2018ECSAA DSL for MAPE Patterns Representation in Self-adapting Systems.Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2018ISSREOnline Model-Based Testing under Uncertainty.Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra
2017ECSAThe female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper).Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra
2017SEFMTowards Inverse Uncertainty Quantification in Software Development (Short Paper).Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
2016CLOSERTowards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications.Patrizia Scandurra, Marina Mongiello, Simona Colucci, Luigi Alfredo Grieco
2015ICSEModeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation.Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
2015ISSRESpecifying and verifying real-time self-adaptive systems.Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2015SACFormal modeling self-adaptive service-oriented applications.Elvinia Riccobene, Patrizia Scandurra
2014COMPSACA Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns.Patrizia Scandurra, Steven Capelli
2012CLOSERAdapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach.Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla
2012SACFunctional requirements validation by transforming use case models into Abstract State Machines.Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci
2012SACA layered coordination framework for optimizing resource allocation in adapting cloud-based applications.Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla
2010ICSoftSpecifying Formal executable Behavioral Models for Structural Models of Service-oriented Components.Elvinia Riccobene, Patrizia Scandurra
2009ICSEAIntegrating Formal Methods with Model-Driven Engineering.Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008FDLModel-Driven System Validation by Scenarios.Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008FDLScenario-based Validation of Embedded Systems.Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni
2008ICSEAModel-Driven Language Engineering: The ASMETA Case Study.Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2007FDLA complete SystemC UML profile with dynamic features for behavioral descriptions.Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
2006DACA model-driven design environment for embedded systems.Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2006FDLA Model-driven Co-design Flow for Embedded Systems.Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti
2006ICCADUML for ESL design: basic principles, tools, and applications.Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren
2005DATEA SoC Design Methodology Involving a UML 2.0 Profile for SystemC.Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005EMSOFTA UML 2.0 profile for SystemC: toward high-level SoC design.Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005FDLAn HW/SW Co-design Environment based on UML and SystemC.Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2004SACA framework to simulate UML models: moving from a semi-formal to a formal environment.Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra