Elvinia Riccobene

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 53

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)
Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba
Kant: A Domain-Specific Language for Modeling Security Protocols. MODELSWARD (2024)
Chiara Braghin, Elvinia Riccobene, Simone Valentini
Modeling and verification of smart contracts with Abstract State Machines. SAC (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)
Simone Valentini, Chiara Braghin, Elvinia Riccobene
A Modeling and Verification Framework for Ethereum Smart Contracts. ABZ (2024)
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198 (2023)
Chiara Braghin, Mario Lilli, Elvinia Riccobene
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. Comput. Secur. 127 (2023)
Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. ABZ (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)
Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
Guidelines for the development of a critical software under emergency. Inf. Softw. Technol. 152 (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)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM (2021)
Mario Lilli, Chiara Braghin, Elvinia Riccobene
Formal Proof of a Vulnerability in Z-Wave IoT Protocol. SECRYPT (2021)
Chiara Braghin, Mario Lilli, Elvinia Riccobene
Towards ASM-Based Automated Formal Verification of Security Protocols. ABZ (2021)
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)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Extending ASMETA with Time Features. ABZ (2021)
Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra
A Runtime Safety Enforcement Approach by Monitoring and Adaptation. ECSA (2021)
Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE (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)
Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Elvinia Riccobene, Sadegh Astaneh
Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges. MSTEC (2020)
Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene
A Model Driven Approach for Cyber Security Scenarios Deployment. IOSec/MSTEC/FINSEC@ESORICS (2019)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion (2019)
Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini
A formal design of the hybrid European rail traffic management system. ECSA (Companion) (2019)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
Addressing Usability in a Formal Development Environment. FM Workshops (1) (2019)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Regular Expression Learning with Evolutionary Testing and Repair. ICTSS (2019)
Paolo Arcaini, Elvinia Riccobene
Automatic Refinement of ASM Abstract Test Cases. ICST Workshops (2019)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. 29 (1-2) (2019)
Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
Self-accounting in architecture-based self-adaptation. ECSA (Companion) (2019)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45 (5) (2019)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Interactive Testing and Repairing of Regular Expressions. ICTSS (2018)
Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA (2018)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158 (2018)
Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene
AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC (2018)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST (2017)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
SMT for state-based formal methods: the ASM case study. AFM@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)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
A novel use of equivalent mutants for static anomaly detection in software artifacts. Inf. Softw. Technol. 81 (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, Angelo Gargantini, Elvinia Riccobene
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops (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)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
SMT-Based Automatic Proof of ASM Model Refinement. SEFM (2016)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ (2016)
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. 28 (4) (2016)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Visual Notation and Patterns for Abstract State Machines. STAF Workshops (2016)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Using mutation to assess fault detection capability of model review. Softw. Test. Verification Reliab. 25 (5-7) (2015)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops (2015)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE (2015)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. 58 (11) (2015)
Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene
Formal validation and verification of a medical software critical component. MEMOCODE (2015)
Elvinia Riccobene, Patrizia Scandurra
Formal modeling self-adaptive service-oriented applications. SAC (2015)
Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE (2015)
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM (2015)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) (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)
Elvinia Riccobene, Patrizia Scandurra
A formal framework for service modeling and prototyping. Formal Aspects Comput. 26 (6) (2014)
Elvinia Riccobene, Steve Reeves
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. Sci. Comput. Program. 94 (2014)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Using SMT for dealing with nondeterminism in ASM-based runtime verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) (2014)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF (2014)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops (2013)
Elvinia Riccobene
Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community. CoRR (2013)
Uwe Glässer, Stefan Hallerstede, Michael Leuschel, Elvinia Riccobene
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). Dagstuhl Reports 3 (9) (2013)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Online Testing of LTL Properties for Java Code. Haifa Verification Conference (2013)
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)
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
A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. 7 (2) (2011)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV (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)
Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra
Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS (2011)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE (2011)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods (2010)
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)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM (2010)
Elvinia Riccobene, Patrizia Scandurra
An Executable Semantics of the SystemC UML Profile. ASM (2010)
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)

Elvinia Riccobene.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Elvinia Riccobene