Patrizia Scandurra

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 48

Top Venues

Publications

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. 50 (4) (2024)
Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Hafiz Husnain Raza Sherazi
Anomaly Detection in Public Street Lighting Data Using Unsupervised Clustering. IEEE Trans. Consumer Electron. 70 (1) (2024)
Vincenzo Riccio, Giancarlo Sorrentino, Ettore Zamponi, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. SEAMS@ICSE (2024)
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198 (2023)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. ACM Trans. Auton. Adapt. Syst. 18 (3) (2023)
Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ (2023)
Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Laura Blaso
Architecting a big data-driven software architecture for smart street lighting. ICSA-C (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
Architecting Explainable Service Robots. ECSA (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW (2023)
Patrizia Scandurra, Matteo Camilli, Raffaela Mirandola, Sungwon Kang
Special issue on Architecting Dependable Multi-paradigm Computing Systems. Computing 105 (9) (2023)
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C (2023)
Danny Weyns, Radu Calinescu, Raffaela Mirandola, Kenji Tei, Maribel Acosta, Amel Bennaceur, Nicolas Boltz, Tomás Bures, Javier Cámara, Ada Diaconescu, Gregor Engels, Simos Gerasimou, Ilias Gerostathopoulos, Sinem Getir Yaman, Vincenzo Grassi, Sebastian Hahner, Emmanuel Letier, Marin Litoiu, Lina Marsso, Angelika Musil, Juergen Musil, Genaína Nunes Rodrigues, Diego Perez-Palacin, Federico Quin, Patrizia Scandurra, Antonio Vallecillo, Andrea Zisman
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48 (4) (2023)
Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
Engineering Self-adaptive Microservice Applications: An Experience Report. ICSOC (1) (2023)
Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra
Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion (2022)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani
Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. ECSA (Tracks and Workshops) (2022)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
XSA: eXplainable Self-Adaptation. ASE (2022)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. SEAMS (2022)
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
Towards an Evaluation Framework for Autonomous Systems. ACSOS-C (2022)
Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. ECSA (Tracks and Workshops) (2022)
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS (2022)
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods (2021)
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA (2021)
Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Laura Blaso, Mariagrazia Leccisi, Fabio Leccese
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform. SMDS (2021)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. ACSOS (2021)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani
Uncertainty-aware Exploration in Model-based Testing. ICST (2021)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops (2020)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164 (2020)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini
Smart home platform supporting decentralized adaptive automation control. SAC (2020)
Elvinia Riccobene, Patrizia Scandurra
Model-Based Simulation at Runtime with Abstract State Machines. ECSA Companion (2020)
Elvinia Riccobene, Patrizia Scandurra
Exploring the Concept of Abstract State Machines for System Runtime Enforcement. ABZ (2020)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ (2020)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30 (2) (2020)
Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM (2019)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion (2019)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Addressing Usability in a Formal Development Environment. FM Workshops (1) (2019)
Dario Facchinetti, Giuseppe Psaila, Patrizia Scandurra
Mobile cloud computing for indoor emergency response: the IPSOS assistant case study. J. Reliab. Intell. Environ. 5 (3) (2019)
Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
Self-accounting in architecture-based self-adaptation. ECSA (Companion) (2019)
Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra
Online Model-Based Testing under Uncertainty. ISSRE (2018)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA (2018)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159 (2018)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM (2017)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM (2017)
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. ACM Trans. Auton. Adapt. Syst. 11 (4) (2017)
Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra
The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). ECSA (Companion) (2017)
Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
Unified Syntax for Abstract State Machines. ABZ (2016)
Steven Capelli, Patrizia Scandurra
A framework for early design and prototyping of service-oriented applications with design patterns. Comput. Lang. Syst. Struct. 46 (2016)
Patrizia Scandurra, Marina Mongiello, Simona Colucci, Luigi Alfredo Grieco
Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications. CLOSER (1) (2016)
Raffaela Mirandola, Diego Perez-Palacin, Patrizia Scandurra, Michele Brignoli, Andrea Zonca
Business Process Adaptability Metrics for QoS-Based Service Compositions. ESOCC (2015)
Patrizia Scandurra, Giuseppe Psaila, Rafael Capilla, Raffaela Mirandola
Challenges and assessment in migrating IT legacy applications to the cloud. MESOCA (2015)
Elvinia Riccobene, Patrizia Scandurra
Formal modeling self-adaptive service-oriented applications. SAC (2015)
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
Specifying and verifying real-time self-adaptive systems. ISSRE (2015)
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE (2015)
Patrizia Scandurra, Steven Capelli
A Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns. COMPSAC Workshops (2014)
Elvinia Riccobene, Patrizia Scandurra
Towards ASM-Based Formal Specification of Self-Adaptive Systems. ABZ (2014)
Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra
A reliability model for Service Component Architectures. J. Syst. Softw. 89 (2014)
Giuseppe Psaila, Patrizia Scandurra, Steven Rovelli, Enrico Mazzucchelli, Matteo Taiocchi
A Mobile/Cloud Emergency Response Application for Indoor Assisted Living. NGMAST (2014)
Elvinia Riccobene, Patrizia Scandurra
A formal framework for service modeling and prototyping. Formal Aspects Comput. 26 (6) (2014)
Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra
Adaptation space exploration for service-oriented applications. Sci. Comput. Program. 80 (2014)
Massimo Bombino, Patrizia Scandurra
A model-driven co-simulation environment for heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. ABZ (2012)
Elvinia Riccobene, Patrizia Scandurra
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. Des. Autom. Embed. Syst. 16 (3) (2012)
Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra
A Reliability Prediction Method for Abstract State Machines. ABZ (2012)
Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla
Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach. CLOSER (2012)
Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla
A layered coordination framework for optimizing resource allocation in adapting cloud-based applications. SAC (2012)
Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci
Functional requirements validation by transforming use case models into Abstract State Machines. SAC (2012)
Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. EUROMICRO-SEAA (2012)
Elvinia Riccobene, Patrizia Scandurra, Fabio Albani
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. EUROMICRO-SEAA (2011)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41 (2) (2011)
Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra
An optimization process for adaptation space exploration of service-oriented applications. SOSE (2011)
Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS (2011)
Elvinia Riccobene, Patrizia Scandurra
An ASM-based executable formal model of service-oriented component interactions and orchestration. BM-FA (2010)
Elvinia Riccobene, Patrizia Scandurra
Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. ACT4SOC (2010)
Elvinia Riccobene, Patrizia Scandurra
An Executable Semantics of the SystemC UML Profile. ASM (2010)
Davide Brugali, Patrizia Scandurra
Component-based robotic engineering (Part I) [Tutorial]. IEEE Robotics Autom. Mag. 16 (4) (2009)
Elvinia Riccobene, Patrizia Scandurra
Model transformations in the UPES/UPSoC development process for embedded systems. Innov. Syst. Softw. Eng. 5 (1) (2009)
Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
SystemC/C-based model-driven design for embedded systems. ACM Trans. Embed. Comput. Syst. 8 (4) (2009)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis (2009)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Integrating Formal Methods with Model-Driven Engineering. ICSEA (2009)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16 (3-4) (2009)
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Model-Driven System Validation by Scenarios. FDL (Selected Papers) (2008)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni
Scenario-based Validation of Embedded Systems. FDL (2008)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ (2008)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A model-driven validation & verification environment for embedded systems. SIES (2008)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. Univers. Comput. Sci. 14 (12) (2008)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Model-Driven Language Engineering: The ASMETA Case Study. ICSEA (2008)
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
A Scenario-Based Validation Language for ASMs. ABZ (2008)
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
Process State Machines for Behavioral Modeling of Embedded Systems. SIES (2007)
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
Designing a Unified Process for Embedded Systems. MOMPES (2007)
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
A complete SystemC UML profile with dynamic features for behavioral descriptions. FDL (2007)
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis (2007)
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
A model-driven design environment for embedded systems. DAC (2006)
Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti
A Model-driven Co-design Flow for Embedded Systems. FDL (2006)
Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren
UML for ESL design: basic principles, tools, and applications. ICCAD (2006)
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
A UML 2.0 profile for SystemC: toward high-level SoC design. EMSOFT (2005)
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. DATE (2005)
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
An HW/SW Co-design Environment based on UML and SystemC. FDL (2005)
Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene
A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines (2005)
Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
A framework to simulate UML models: moving from a semi-formal to a formal environment. SAC (2004)
Elvinia Riccobene, Patrizia Scandurra
Modelling SystemC Process Behavior by the UML Method State Machines. RISE (2004)

Patrizia Scandurra.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Patrizia Scandurra