E. Riccobene

Most-cited papers

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation
Paolo Arcaini, E. Riccobene, P. Scandurra
20152015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems270 citations
Semantic Scholar
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control
Paolo Arcaini, E. Riccobene, P. Scandurra
2017ACM Transactions on Autonomous and Adaptive Systems73 citations Open access
Semantic Scholar
Rigorous development process of a safety-critical system: from ASM models to Java code
Paolo Arcaini, A. Gargantini, E. Riccobene
2015International Journal on Software Tools for Technology Transfer (STTT)34 citations Open access
Semantic Scholar
Integrating formal methods into medical software development: The ASM approach
Paolo Arcaini, Silvia Bonfanti, A. Gargantini, A. Mashkoor +1 more
2017Science of Computer Programming29 citations Open access
Semantic Scholar
A formal framework for service modeling and prototyping
E. Riccobene, P. Scandurra
2014Formal Aspects of Computing27 citations Open access
Semantic Scholar
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
Paolo Arcaini, A. Gargantini, E. Riccobene
20132013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops25 citations
Semantic Scholar
ASM-based formal design of an adaptivity component for a Cloud system
Paolo Arcaini, R. Holom, E. Riccobene
2016Formal Aspects of Computing23 citations
Semantic Scholar
Formal validation and verification of a medical software critical component
Paolo Arcaini, Silvia Bonfanti, A. Gargantini, A. Mashkoor +1 more
2015International Conference on Formal Methods and Models for Co-Design23 citations
Semantic Scholar
SMT-Based Automatic Proof of ASM Model Refinement
Paolo Arcaini, A. Gargantini, E. Riccobene
2016IEEE International Conference on Software Engineering and Formal Methods21 citations
Semantic Scholar
A reliability model for Service Component Architectures
R. Mirandola, P. Potena, E. Riccobene, P. Scandurra
2014Journal of Systems and Software20 citations
Semantic Scholar
MSL: A pattern language for engineering self-adaptive systems
Paolo Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
2020Journal of Systems and Software19 citations Open access
Semantic Scholar
Fault‐based test generation for regular expressions by mutation
Paolo Arcaini, A. Gargantini, E. Riccobene
2019Software testing, verification & reliability18 citations Open access
Semantic Scholar
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study
C. Braghin, Mario Lilli, E. Riccobene
2022Computers & security17 citations
Semantic Scholar
A Model Driven Approach for Cyber Security Scenarios Deployment
C. Braghin, S. Cimato, E. Damiani, Fulvio Frati +2 more
2019IOSec/MSTEC/FINSEC@ESORICS15 citations
Semantic Scholar
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions
Paolo Arcaini, A. Gargantini, E. Riccobene
2017International Conference on Software Testing, Verification and Validation Workshops15 citations
Semantic Scholar
A novel use of equivalent mutants for static anomaly detection in software artifacts
Paolo Arcaini, A. Gargantini, E. Riccobene, Paolo Vavassori
2017Information and Software Technology15 citations Open access
Semantic Scholar
Smart home platform supporting decentralized adaptive automation control
Paolo Arcaini, R. Mirandola, E. Riccobene, P. Scandurra +4 more
2020ACM Symposium on Applied Computing14 citations
Semantic Scholar
NuSeen: A Tool Framework for the NuSMV Model Checker
Paolo Arcaini, A. Gargantini, E. Riccobene
2017International Conference on Information Control Systems & Technologies13 citations
Semantic Scholar
A component framework for the runtime enforcement of safety properties
Silvia Bonfanti, E. Riccobene, P. Scandurra
2023Journal of Systems and Software12 citations Open access
Semantic Scholar
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
Paolo Arcaini, Silvia Bonfanti, A. Gargantini, E. Riccobene +1 more
2020International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z12 citations Open access
Semantic Scholar
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
Paolo Arcaini, Silvia Bonfanti, A. Gargantini, E. Riccobene
2016International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z12 citations
Semantic Scholar
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
Paolo Arcaini, A. Gargantini, E. Riccobene
2014International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z12 citations
Semantic Scholar
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
Paolo Arcaini, A. Gargantini, E. Riccobene
2014International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z12 citations
Semantic Scholar
Guidelines for the development of a critical software under emergency
Andrea Bombarda, Silvia Bonfanti, C. Galbiati, A. Gargantini +3 more
2022Information and Software Technology11 citations Open access
Semantic Scholar
The ASMETA Approach to Safety Assurance of Software Systems
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, A. Gargantini +2 more
2021Logic, Computation and Rigorous Methods11 citations
Semantic Scholar
Formal modeling self-adaptive service-oriented applications
E. Riccobene, P. Scandurra
2015ACM Symposium on Applied Computing11 citations
Semantic Scholar
Formal Proof of a Vulnerability in Z-Wave IoT Protocol
Mario Lilli, C. Braghin, E. Riccobene
2021International Conference on Security and Cryptography10 citations Open access
Semantic Scholar
Visual Notation and Patterns for Abstract State Machines
Paolo Arcaini, Silvia Bonfanti, A. Gargantini, E. Riccobene
2016STAF Workshops10 citations
Semantic Scholar
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions
Paolo Arcaini, A. Gargantini, E. Riccobene
2015Computer/law journal10 citations Open access
Semantic Scholar
Using mutation to assess fault detection capability of model review
Paolo Arcaini, A. Gargantini, E. Riccobene
2015Software testing, verification & reliability10 citations Open access
Semantic Scholar
Towards ASM-Based Formal Specification of Self-Adaptive Systems
E. Riccobene, P. Scandurra
2014International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z10 citations Open access
Semantic Scholar
Automatic Refinement of ASM Abstract Test Cases
Paolo Arcaini, E. Riccobene
2019International Conference on Software Testing, Verification and Validation Workshops8 citations
Semantic Scholar
A DSL for MAPE Patterns Representation in Self-adapting Systems
Paolo Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
2018European Conference on Software Architecture8 citations Open access
Semantic Scholar
Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model
E. Riccobene, P. Potena, P. Scandurra
2012EUROMICRO Conference on Software Engineering and Advanced Applications8 citations
Semantic Scholar
Modeling and verification of smart contracts with Abstract State Machines
C. Braghin, E. Riccobene, S. Valentini
2024ACM Symposium on Applied Computing7 citations Open access
Semantic Scholar
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19
Andrea Bombarda, Silvia Bonfanti, C. Galbiati, A. Gargantini +3 more
2021IEEE International Symposium on Software Reliability Engineering7 citations Open access
Semantic Scholar
Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges
C. Braghin, S. Cimato, E. Damiani, Fulvio Frati +2 more
2020Model-driven Simulation and Training Environments for Cybersecurity7 citations
Semantic Scholar
Decomposition-Based Approach for Model-Based Test Generation
Paolo Arcaini, A. Gargantini, E. Riccobene
2019IEEE Transactions on Software Engineering7 citations Open access
Semantic Scholar
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems
Paolo Arcaini, R. Mirandola, E. Riccobene, P. Scandurra
20192019 IEEE International Conference on Software Architecture Companion (ICSA-C)7 citations
Semantic Scholar
Modeling and validating self-adaptive service-oriented applications
Paolo Arcaini, E. Riccobene, P. Scandurra
2015SIAP7 citations
Semantic Scholar
Towards Trust-preserving Continuous Co-evolution of Digital Twins
M. Bersani, C. Braghin, V. Cortellessa, A. Gargantini +6 more
20222022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C)6 citations Open access
Semantic Scholar
Unified Syntax for Abstract State Machines
Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, A. Gargantini +5 more
2016International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z6 citations
Semantic Scholar
Improving model-based test generation by model decomposition
Paolo Arcaini, A. Gargantini, E. Riccobene
2015ESEC/SIGSOFT FSE6 citations
Semantic Scholar
Kant: A Domain-Specific Language for Modeling Security Protocols
C. Braghin, Mario Lilli, E. Riccobene, Marian Baba
2024International Conference on Model-Driven Engineering and Software Development5 citations Open access
Semantic Scholar
ASMETA Tool Set for Rigorous System Design
Andrea Bombarda, Silvia Bonfanti, A. Gargantini, E. Riccobene +1 more
2024World Congress on Formal Methods5 citations Open access
Semantic Scholar
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
Andrea Bombarda, Silvia Bonfanti, Martina De Sanctis, A. Gargantini +3 more
2024IEEE Transactions on Software Engineering5 citations Open access
Semantic Scholar
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
M. Bersani, C. Braghin, A. Gargantini, R. Mirandola +2 more
2022European Conference on Software Architecture5 citations
Semantic Scholar
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
Andrea Bombarda, Silvia Bonfanti, A. Gargantini, E. Riccobene
2021AppFM@FM5 citations Open access
Semantic Scholar
A Runtime Safety Enforcement Approach by Monitoring and Adaptation
Silvia Bonfanti, E. Riccobene, P. Scandurra
2021European Conference on Software Architecture5 citations
Semantic Scholar
Model-Based Simulation at Runtime with Abstract State Machines
E. Riccobene, P. Scandurra
2020ECSA Companion5 citations
Semantic Scholar