Patrizia Scandurra

121 papers A* 2A 7B 7C 18Misc 7Journal 29Unranked 45
YearRankTypeTitle / Venue / Authors
2026 J jnl
Proactive self-adaptation and assurance of explainable Human-Machine Teaming.
J. Syst. Softw.
Livia Lestingi, Marcello M. Bersani, Matteo Camilli, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2025 J jnl
A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems.
Formal Aspects Comput.
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2025 Misc conf
A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring.
SAC
Andrea Bombarda, Giuseppe Ruscica, Patrizia Scandurra
2025 J jnl
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines.
Sci. Comput. Program.
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2025 J jnl
Many-objective Self-adaptation under Model Uncertainty.
ACM Trans. Auton. Adapt. Syst.
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2025 A conf
Non-invasive software architecture for data pipelines with legacy support in smart manufacturing.
ICSA
Alberto Ceselli, Giuseppe De Martino, Patrizia Scandurra
2025 C conf
Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta [email protected].
ABZ
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli, Patrizia Scandurra
2024 J jnl
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features.
Int. J. Softw. Tools Technol. Transf.
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024 — conf
ASMETA Tool Set for Rigorous System Design.
FM (2)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2024 J jnl
Anomaly Detection in Public Street Lighting Data Using Unsupervised Clustering.
IEEE Trans. Consumer Electron.
Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Hafiz Husnain Raza Sherazi
2024 J jnl
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems.
IEEE Trans. Software Eng.
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2024 — conf
Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications.
ICSOC (2)
Matteo Camilli, Fabio Luccioletti, Raffaela Mirandola, Patrizia Scandurra
2024 — conf
RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications.
SEAMS@ICSE
Vincenzo Riccio, Giancarlo Sorrentino, Ettore Zamponi, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2024 C ed.
Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings
ABZ
Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
2024 B ed.
Software Architecture - 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
ECSA
Matthias Galster, Patrizia Scandurra, Tommi Mikkonen, Pablo Oliveira Antonino, Elisa Yumi Nakagawa, Elena Navarro
2023 — conf
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.
REW
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 J jnl
A component framework for the runtime enforcement of safety properties.
J. Syst. Softw.
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2023 B conf
Architecting Explainable Service Robots.
ECSA
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 — conf
Architecting a big data-driven software architecture for smart street lighting.
ICSA-C
Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Laura Blaso
2023 J jnl
Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime.
ACM Trans. Auton. Adapt. Syst.
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2023 — conf
Engineering Self-adaptive Microservice Applications: An Experience Report.
ICSOC (1)
Vincenzo Riccio, Giancarlo Sorrentino, Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2023 C conf
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines.
ABZ
Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra
2023 B ed.
Software Architecture - 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
ECSA
Bedir Tekinerdogan, Catia Trubiani, Chouki Tibermacine, Patrizia Scandurra, Carlos E. Cuesta
2023 J jnl
Special issue on Architecting Dependable Multi-paradigm Computing Systems.
Computing
Patrizia Scandurra, Matteo Camilli, Raffaela Mirandola, Sungwon Kang
2023 — conf
Towards Better Trust in Human-Machine Teaming through Explainable Dependability.
ICSA-C
Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi, Patrizia Scandurra
2023 J jnl
Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.
ACM SIGSOFT Softw. Eng. Notes
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
2022 — conf
Compositional Simulation of Abstract State Machines for Safety Critical Systems.
FACS
Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2022 — conf
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device.
ECSA (Tracks and Workshops)
Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2022 — ed.
Software Architecture - 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13-17, 2021, Revised Selected Papers
ECSA (Tracks and Workshops)
Patrizia Scandurra, Matthias Galster, Raffaela Mirandola, Danny Weyns
2022 A conf
Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging.
SEAMS
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2022 — conf
Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning.
ECSA (Tracks and Workshops)
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra, Catia Trubiani
2022 — conf
Towards Trust-preserving Continuous Co-evolution of Digital Twins.
ICSA Companion
Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra
2022 — conf
Towards an Evaluation Framework for Autonomous Systems.
ACSOS-C
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Patrizia Scandurra
2022 A* conf
XSA: eXplainable Self-Adaptation.
ASE
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2021 B conf
A Runtime Safety Enforcement Approach by Monitoring and Adaptation.
ECSA
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
2021 — ch.
Composition of Languages, Models, and Analyses.
Composing Model-Based Analysis Tools
Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe
2021 — ch.
Foundations.
Composing Model-Based Analysis Tools
Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán, Steffen Zschaler
2021 — conf
From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform.
SMDS
Mubashir Ali, Patrizia Scandurra, Fabio Moretti, Laura Blaso, Mariagrazia Leccisi, Fabio Leccese
2021 — conf
Runtime Equilibrium Verification for Resilient Cyber-Physical Systems.
ACSOS
Matteo Camilli, Raffaela Mirandola, Patrizia Scandurra
2021 — conf
The ASMETA Approach to Safety Assurance of Software Systems.
Logic, Computation and Rigorous Methods
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2021 A conf
Uncertainty-aware Exploration in Model-based Testing.
ICST
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Catia Trubiani
2020 C conf
Exploring the Concept of Abstract State Machines for System Runtime Enforcement.
ABZ
Elvinia Riccobene, Patrizia Scandurra
2020 J jnl
MSL: A pattern language for engineering self-adaptive systems.
J. Syst. Softw.
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2020 — conf
Model-Based Simulation at Runtime with Abstract State Machines.
ECSA Companion
Elvinia Riccobene, Patrizia Scandurra
2020 — conf
Model-Based Testing for MAPE-K adaptation control loops.
ICST Workshops
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2020 J jnl
Model-based hypothesis testing of uncertain software systems.
Softw. Test. Verification Reliab.
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2020 C conf
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA.
ABZ
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2020 Misc conf
Smart home platform supporting decentralized adaptive automation control.
SAC
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini
2020 — ed.
Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings
ECSA (Companion)
Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun
2019 — conf
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems.
ICSA Companion
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2019 — conf
Addressing Usability in a Formal Development Environment.
FM Workshops (1)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2019 B conf
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications.
IFM
Matteo Camilli, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra
2019 J jnl
Mobile cloud computing for indoor emergency response: the IPSOS assistant case study.
J. Reliab. Intell. Environ.
Dario Facchinetti, Giuseppe Psaila, Patrizia Scandurra
2019 — ed.
Proceedings of the 13th European Conference on Software Architecture, ECSA 2019, Paris, France, September 9-13, 2019, Companion Proceedings (Proceedings Volume 2),
ECSA (Companion)
Laurence Duchien, Anne Koziolek, Raffaela Mirandola, Elena Maria Navarro Martínez, Clément Quinton, Riccardo Scandariato, Patrizia Scandurra, Catia Trubiani, Danny Weyns
2019 — conf
Self-accounting in architecture-based self-adaptation.
ECSA (Companion)
Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2018 B conf
A DSL for MAPE Patterns Representation in Self-adapting Systems.
ECSA
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
2018 A conf
Online Model-Based Testing under Uncertainty.
ISSRE
Matteo Camilli, Carlo Bellettini, Angelo Gargantini, Patrizia Scandurra
2018 J jnl
Zone-based formal specification and timing analysis of real-time self-adaptive systems.
Sci. Comput. Program.
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2017 — conf
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets.
NFM
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
2017 J jnl
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control.
ACM Trans. Auton. Adapt. Syst.
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
2017 — conf
The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper).
ECSA (Companion)
Silvia Bonfanti, Valentina Centurelli, Elvinia Riccobene, Patrizia Scandurra
2017 B conf
Towards Inverse Uncertainty Quantification in Software Development (Short Paper).
SEFM
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra, Carlo Bellettini
2016 J jnl
A framework for early design and prototyping of service-oriented applications with design patterns.
Comput. Lang. Syst. Struct.
Steven Capelli, Patrizia Scandurra
2016 — conf
Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications.
CLOSER (1)
Patrizia Scandurra, Marina Mongiello, Simona Colucci, Luigi Alfredo Grieco
2016 C conf
Unified Syntax for Abstract State Machines.
ABZ
Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier
2015 — conf
Business Process Adaptability Metrics for QoS-Based Service Compositions.
ESOCC
Raffaela Mirandola, Diego Perez-Palacin, Patrizia Scandurra, Michele Brignoli, Andrea Zonca
2015 — conf
Challenges and assessment in migrating IT legacy applications to the cloud.
MESOCA
Patrizia Scandurra, Giuseppe Psaila, Rafael Capilla, Raffaela Mirandola
2015 — ch.
Formal Reliability Models for Web Services.
Correct Software in Web Applications and Web Services
Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra
2015 Misc conf
Formal modeling self-adaptive service-oriented applications.
SAC
Elvinia Riccobene, Patrizia Scandurra
2015 — conf
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation.
SEAMS@ICSE
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
2015 A conf
Specifying and verifying real-time self-adaptive systems.
ISSRE
Matteo Camilli, Angelo Gargantini, Patrizia Scandurra
2014 — conf
A Mobile/Cloud Emergency Response Application for Indoor Assisted Living.
NGMAST
Giuseppe Psaila, Patrizia Scandurra, Steven Rovelli, Enrico Mazzucchelli, Matteo Taiocchi
2014 — conf
A Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns.
COMPSAC Workshops
Patrizia Scandurra, Steven Capelli
2014 J jnl
A formal framework for service modeling and prototyping.
Formal Aspects Comput.
Elvinia Riccobene, Patrizia Scandurra
2014 J jnl
A reliability model for Service Component Architectures.
J. Syst. Softw.
Raffaela Mirandola, Pasqualina Potena, Elvinia Riccobene, Patrizia Scandurra
2014 J jnl
Adaptation space exploration for service-oriented applications.
Sci. Comput. Program.
Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra
2014 C conf
Towards ASM-Based Formal Specification of Self-Adaptive Systems.
ABZ
Elvinia Riccobene, Patrizia Scandurra
2013 J jnl
A model-driven co-simulation environment for heterogeneous systems.
Int. J. Softw. Tools Technol. Transf.
Massimo Bombino, Patrizia Scandurra
2012 C conf
A Reliability Prediction Method for Abstract State Machines.
ABZ
Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra
2012 Misc conf
A layered coordination framework for optimizing resource allocation in adapting cloud-based applications.
SAC
Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla
2012 C conf
Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach.
CLOSER
Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla
2012 Misc conf
Functional requirements validation by transforming use case models into Abstract State Machines.
SAC
Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci
2012 J jnl
Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow.
Des. Autom. Embed. Syst.
Elvinia Riccobene, Patrizia Scandurra
2012 C conf
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs.
ABZ
Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra
2012 — conf
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model.
EUROMICRO-SEAA
Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra
2011 — conf
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications.
EUROMICRO-SEAA
Elvinia Riccobene, Patrizia Scandurra, Fabio Albani
2011 J jnl
A model-driven process for engineering a toolset for a formal method.
Softw. Pract. Exp.
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2011 — conf
An optimization process for adaptation space exploration of service-oriented applications.
SOSE
Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra
2011 — conf
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines.
FACS
Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra
2010 — conf
An ASM-based executable formal model of service-oriented component interactions and orchestration.
BM-FA
Elvinia Riccobene, Patrizia Scandurra
2010 — conf
An Executable Semantics of the SystemC UML Profile.
ASM
Elvinia Riccobene, Patrizia Scandurra
2010 — conf
Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components.
ACT4SOC
Elvinia Riccobene, Patrizia Scandurra
2009 J jnl
A semantic framework for metamodel-based languages.
Autom. Softw. Eng.
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009 J jnl
Component-based robotic engineering (Part I) [Tutorial].
IEEE Robotics Autom. Mag.
Davide Brugali, Patrizia Scandurra
2009 C conf
Integrating Formal Methods with Model-Driven Engineering.
ICSEA
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2009 J jnl
Model transformations in the UPES/UPSoC development process for embedded systems.
Innov. Syst. Softw. Eng.
Elvinia Riccobene, Patrizia Scandurra
2009 J jnl
SystemC/C-based model-driven design for embedded systems.
ACM Trans. Embed. Comput. Syst.
Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini
2009 — conf
Ten Reasons to Metamodel ASMs.
Rigorous Methods for Software Construction and Analysis
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008 J jnl
A Metamodel-based Language and a Simulation Engine for Abstract State Machines.
J. Univers. Comput. Sci.
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008 C conf
A Scenario-Based Validation Language for ASMs.
ABZ
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008 — conf
A model-driven validation & verification environment for embedded systems.
SIES
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008 C conf
Exploiting the ASM Method for Validation & Verification of Embedded Systems.
ABZ
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008 C conf
Model-Driven Language Engineering: The ASMETA Case Study.
ICSEA
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008 — conf
Model-Driven System Validation by Scenarios.
FDL (Selected Papers)
Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008 C conf
Scenario-based Validation of Embedded Systems.
FDL
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni
2007 C conf
A complete SystemC UML profile with dynamic features for behavioral descriptions.
FDL
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
2007 — conf
Designing a Unified Process for Embedded Systems.
MOMPES
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2007 — conf
Exploiting the ASM method within the Model-driven Engineering paradigm.
Rigorous Methods for Software Construction and Analysis
Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2007 — conf
Process State Machines for Behavioral Modeling of Embedded Systems.
SIES
Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra
2006 C conf
A Model-driven Co-design Flow for Embedded Systems.
FDL
Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti
2006 A* conf
A model-driven design environment for embedded systems.
DAC
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2006 A conf
UML for ESL design: basic principles, tools, and applications.
ICCAD
Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren
2005 — conf
A Concrete Syntax Derived From the Abstract State Machine Metamodel.
Abstract State Machines
Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene
2005 A conf
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC.
DATE
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005 Misc conf
A UML 2.0 profile for SystemC: toward high-level SoC design.
EMSOFT
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2005 C conf
An HW/SW Co-design Environment based on UML and SystemC.
FDL
Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio
2004 Misc conf
A framework to simulate UML models: moving from a semi-formal to a formal environment.
SAC
Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
2004 J jnl
Mapping UML into Abstract State Machines: A Framework to Simulate UML Models.
Stud. Inform. Univ.
Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra
2004 — conf
Modelling SystemC Process Behavior by the UML Method State Machines.
RISE
Elvinia Riccobene, Patrizia Scandurra
2004 — conf
Towards an Interchange Language for ASMs.
Abstract State Machines
Elvinia Riccobene, Patrizia Scandurra
2003 — conf
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.
Abstract State Machines
Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra