default search action
Patrizia Scandurra
Person information
- affiliation: University of Bergamo, Dalmine, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j25]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): 379-401 (2024) - [j24]Mubashir Ali
Anomaly Detection in Public Street Lighting Data Using Unsupervised Clustering. IEEE Trans. Consumer Electron. 70(1): 4524-4535 (2024) - [j23]Andrea Bombarda
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. IEEE Trans. Software Eng. 50(4): 995-1014 (2024) - [c78]Andrea Bombarda
ASMETA Tool Set for Rigorous System Design. FM (2) 2024: 492-517 - [c77]Vincenzo Riccio
RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. SEAMS@ICSE 2024: 161-167 - [e6]Matthias Galster
Software Architecture - 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings. Lecture Notes in Computer Science 14889, Springer 2024, ISBN 978-3-031-70796-4 [contents] - [e5]Silvia Bonfanti
Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings. Lecture Notes in Computer Science 14759, Springer 2024, ISBN 978-3-031-63789-6 [contents] - 2023
- [j22]Patrizia Scandurra, Matteo Camilli
Special issue on Architecting Dependable Multi-paradigm Computing Systems. Computing 105(9): 1847 (2023) - [j21]Silvia Bonfanti
A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198: 111605 (2023) - [j20]Danny Weyns, Radu Calinescu, Raffaela Mirandola
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. ACM SIGSOFT Softw. Eng. Notes 48(4): 20-36 (2023) - [j19]Matteo Camilli
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. ACM Trans. Auton. Adapt. Syst. 18(3): 12:1-12:32 (2023) - [c76]Marcello M. Bersani, Matteo Camilli
Architecting Explainable Service Robots. ECSA 2023: 153-169 - [c75]Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Laura Blaso
Architecting a big data-driven software architecture for smart street lighting. ICSA-C 2023: 1-10 - [c74]Marcello M. Bersani, Matteo Camilli
Towards Better Trust in Human-Machine Teaming through Explainable Dependability. ICSA-C 2023: 86-90 - [c73]Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli
Engineering Self-adaptive Microservice Applications: An Experience Report. ICSOC (1) 2023: 227-242 - [c72]Marcello M. Bersani, Matteo Camilli
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. REW 2023: 309-315 - [c71]Silvia Bonfanti
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ 2023: 107-115 - [e4]Bedir Tekinerdogan
Software Architecture - 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings. Lecture Notes in Computer Science 14212, Springer 2023, ISBN 978-3-031-42591-2 [contents] - 2022
- [c70]Andrea Bombarda
Towards an Evaluation Framework for Autonomous Systems. ACSOS-C 2022: 43-48 - [c69]Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani:
Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. ECSA (Tracks and Workshops) 2022: 233-245 - [c68]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: 467-482 - [c67]Silvia Bonfanti
Compositional Simulation of Abstract State Machines for Safety Critical Systems. FACS 2022: 3-19 - [c66]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: 96-99 - [c65]Matteo Camilli
XSA: eXplainable Self-Adaptation. ASE 2022: 189:1-189:5 - [c64]Matteo Camilli
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. SEAMS 2022: 25-35 - [e3]Patrizia Scandurra
Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers. Lecture Notes in Computer Science 13365, Springer 2022, ISBN 978-3-031-15115-6 [contents] - 2021
- [c63]Matteo Camilli
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. ACSOS 2021: 71-80 - [c62]Paolo Arcaini
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods 2021: 215-238 - [c61]Silvia Bonfanti
A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA 2021: 20-36 - [c60]Matteo Camilli
Uncertainty-aware Exploration in Model-based Testing. ICST 2021: 71-81 - [c59]Mubashir Ali
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform. SMDS 2021: 95-104 - [p3]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills
Foundations. Composing Model-Based Analysis Tools 2021: 9-37 - [p2]Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills
Composition of Languages, Models, and Analyses. Composing Model-Based Analysis Tools 2021: 45-70 - [d1]Matteo Camilli
[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems. Zenodo, 2021 - 2020
- [j18]Paolo Arcaini
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164: 110558 (2020) - [j17]Matteo Camilli
Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30(2) (2020) - [c58]Elvinia Riccobene
Exploring the Concept of Abstract State Machines for System Runtime Enforcement. ABZ 2020: 244-247 - [c57]Paolo Arcaini
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ 2020: 302-317 - [c56]Elvinia Riccobene
Model-Based Simulation at Runtime with Abstract State Machines. ECSA Companion 2020: 395-410 - [c55]Paolo Arcaini
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops 2020: 43-51 - [c54]Paolo Arcaini
Smart home platform supporting decentralized adaptive automation control. SAC 2020: 1893-1900 - [e2]Henry Muccini
Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings. Communications in Computer and Information Science 1269, Springer 2020, ISBN 978-3-030-59154-0 [contents]
2010 – 2019
- 2019
- [j16]Dario Facchinetti
Mobile cloud computing for indoor emergency response: the IPSOS assistant case study. J. Reliab. Intell. Environ. 5(3): 173-191 (2019) - [c53]Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
Self-accounting in architecture-based self-adaptation. ECSA (Companion) 2019: 14-17 - [c52]Paolo Arcaini
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76 - [c51]Paolo Arcaini
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion 2019: 166-169 - [c50]Matteo Camilli
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM 2019: 495-503 - [e1]Laurence Duchien, Anne Koziolek, Raffaela Mirandola, Elena Maria Navarro Martínez, Clément Quinton, Riccardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns:
Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2),. ACM 2019, ISBN 978-1-4503-7142-1 [contents] - 2018
- [j15]Matteo Camilli
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159: 28-57 (2018) - [c49]Paolo Arcaini
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA 2018: 3-19 - [c48]Matteo Camilli
Online Model-Based Testing under Uncertainty. ISSRE 2018: 36-46 - 2017
- [j14]Paolo Arcaini
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. ACM Trans. Auton. Adapt. Syst. 11(4): 25:1-25:35 (2017) - [c47]Silvia Bonfanti
The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). ECSA (Companion) 2017: 12-15 - [c46]Matteo Camilli
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM 2017: 115-130 - [c45]Matteo Camilli
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM 2017: 375-381 - 2016
- [j13]Steven Capelli, Patrizia Scandurra
A framework for early design and prototyping of service-oriented applications with design patterns. Comput. Lang. Syst. Struct. 46: 140-166 (2016) - [c44]Paolo Arcaini
Unified Syntax for Abstract State Machines. ABZ 2016: 231-236 - [c43]Patrizia Scandurra
Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications. CLOSER (1) 2016: 253-260 - 2015
- [c42]Raffaela Mirandola
Business Process Adaptability Metrics for QoS-Based Service Compositions. ESOCC 2015: 110-124 - [c41]Paolo Arcaini
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE 2015: 13-23 - [c40]Matteo Camilli
Specifying and verifying real-time self-adaptive systems. ISSRE 2015: 303-313 - [c39]Patrizia Scandurra
Challenges and assessment in migrating IT legacy applications to the cloud. MESOCA 2015: 7-14 - [c38]Elvinia Riccobene, Patrizia Scandurra
Formal modeling self-adaptive service-oriented applications. SAC 2015: 1704-1710 - [p1]Raffaela Mirandola
Formal Reliability Models for Web Services. Correct Software in Web Applications and Web Services 2015: 229-256 - 2014
- [j12]Elvinia Riccobene
A formal framework for service modeling and prototyping. Formal Aspects Comput. 26(6): 1077-1113 (2014) - [j11]Raffaela Mirandola
A reliability model for Service Component Architectures. J. Syst. Softw. 89: 109-127 (2014) - [j10]Raffaela Mirandola
Adaptation space exploration for service-oriented applications. Sci. Comput. Program. 80: 356-384 (2014) - [c37]Elvinia Riccobene
Towards ASM-Based Formal Specification of Self-Adaptive Systems. ABZ 2014: 204-209 - [c36]Patrizia Scandurra
A Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns. COMPSAC Workshops 2014: 684-689 - [c35]Giuseppe Psaila
A Mobile/Cloud Emergency Response Application for Indoor Assisted Living. NGMAST 2014: 31-36 - 2013
- [j9]Massimo Bombino, Patrizia Scandurra
A model-driven co-simulation environment for heterogeneous systems. Int. J. Softw. Tools Technol. Transf. 15(4): 363-374 (2013) - 2012
- [j8]Elvinia Riccobene
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. Des. Autom. Embed. Syst. 16(3): 53-91 (2012) - [c34]Andrea Luzzana, Mattia Rossetti, Paolo Righettini
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. ABZ 2012: 331-335 - [c33]Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra
A Reliability Prediction Method for Abstract State Machines. ABZ 2012: 336-340 - [c32]Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla:
Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach. CLOSER 2012: 355-364 - [c31]Elvinia Riccobene
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. EUROMICRO-SEAA 2012: 125-132 - [c30]Patrizia Scandurra
A layered coordination framework for optimizing resource allocation in adapting cloud-based applications. SAC 2012: 471-472 - [c29]Patrizia Scandurra
Functional requirements validation by transforming use case models into Abstract State Machines. SAC 2012: 1063-1068 - 2011
- [j7]Paolo Arcaini
A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2): 155-166 (2011) - [c28]Elvinia Riccobene
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. EUROMICRO-SEAA 2011: 4-11 - [c27]Davide Brugali, Luca Gherardi, Elvinia Riccobene
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS 2011: 331-349 - [c26]Raffaela Mirandola
An optimization process for adaptation space exploration of service-oriented applications. SOSE 2011: 146-151 - 2010
- [c25]Elvinia Riccobene
An Executable Semantics of the SystemC UML Profile. ASM 2010: 75-90 - [c24]Elvinia Riccobene
An ASM-based executable formal model of service-oriented component interactions and orchestration. BM-FA 2010: 5 - [c23]Elvinia Riccobene, Patrizia Scandurra:
Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. ACT4SOC 2010: 29-41
2000 – 2009
- 2009
- [j6]Angelo Gargantini
A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009) - [j5]Elvinia Riccobene
Model transformations in the UPES/UPSoC development process for embedded systems. Innov. Syst. Softw. Eng. 5(1): 35-47 (2009) - [j4]Davide Brugali
Component-based robotic engineering (Part I) [Tutorial]. IEEE Robotics Autom. Mag. 16(4): 84-96 (2009) - [j3]Elvinia Riccobene
SystemC/C-based model-driven design for embedded systems. ACM Trans. Embed. Comput. Syst. 8(4): 30:1-30:37 (2009) - [c22]Angelo Gargantini
Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49 - [c21]Angelo Gargantini
Integrating Formal Methods with Model-Driven Engineering. ICSEA 2009: 86-92 - 2008
- [j2]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. Univers. Comput. Sci. 14(12): 1949-1983 (2008) - [c20]Alessandro Carioni, Angelo Gargantini
A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84 - [c19]Angelo Gargantini
Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348 - [c18]Alessandro Carioni, Angelo Gargantini
Model-Driven System Validation by Scenarios. FDL (Selected Papers) 2008: 57-69 - [c17]Angelo Gargantini
Scenario-based Validation of Embedded Systems. FDL 2008: 191-196 - [c16]Angelo Gargantini
Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378 - [c15]Angelo Gargantini
A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244 - 2007
- [c14]Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra:
A complete SystemC UML profile with dynamic features for behavioral descriptions. FDL 2007: 191-197 - [c13]Elvinia Riccobene
Designing a Unified Process for Embedded Systems. MOMPES 2007: 77-90 - [c12]Sara Bocchio, Elvinia Riccobene
Process State Machines for Behavioral Modeling of Embedded Systems. SIES 2007: 274-281 - [i1]Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007 - 2006
- [c11]Elvinia Riccobene
A model-driven design environment for embedded systems. DAC 2006: 915-918 - [c10]Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti:
A Model-driven Co-design Flow for Embedded Systems. FDL 2006: 345-351 - [c9]Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene
UML for ESL design: basic principles, tools, and applications. ICCAD 2006: 73-80 - 2005
- [c8]Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene:
A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines 2005: 345-368 - [c7]Elvinia Riccobene
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. DATE 2005: 704-709 - [c6]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
A UML 2.0 profile for SystemC: toward high-level SoC design. EMSOFT 2005: 138-141 - [c5]Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio:
An HW/SW Co-design Environment based on UML and SystemC. FDL 2005: 515-519 - 2004
- [j1]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Stud. Inform. Univ. 3(3): 367-398 (2004) - [c4]Elvinia Riccobene, Patrizia Scandurra
Towards an Interchange Language for ASMs. Abstract State Machines 2004: 111-126 - [c3]Elvinia Riccobene, Patrizia Scandurra
Modelling SystemC Process Behavior by the UML Method State Machines. RISE 2004: 112-121 - [c2]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra:
A framework to simulate UML models: moving from a semi-formal to a formal environment. SAC 2004: 1519-1523 - 2003
- [c1]Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. Abstract State Machines 2003: 229-243
Coauthor Index
[j25] [j23] [c78] [e5] [j21] [c71] [c70] [c68] [c67] [c66] [c62] [c61] [j18] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [c51] [c49] [j14] [c47] [c44] [c41] [c38] [p1] [j12] [j11] [c37] [j8] [c31] [j7] [c28] [c27] [c25] [c24] [c23] [j6] [j5] [j3] [c22] [c21] [j2] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c12] [i1] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [j1] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: