Logical Operational Semantics of Parlog. Part II: Or-Parallelism. - Egon Börger; Elvinia Riccobene (RCLP, 1991)

Logical Operational Semantics of Parlog, Part I: And-Parallelism. - Egon Börger; Elvinia Riccobene (PDK, 1991)

Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. - Christoph Beierle; Egon Börger; Igor Durdanovic; Uwe Glässer; Elvinia Riccobene (Formal Methods for Industrial Applications, 1995)

Formal Analysis of the Kerberos Authentication System. - Giampaolo Bella; Elvinia Riccobene (J. Univers. Comput. Sci., 1997)

A Realistic Environment for Crypto-Protocol Analyses by ASMs. - Giampaolo Bella; Elvinia Riccobene (Workshop on Abstract State Machines, 1998)

An ASM Semantics for UML Activity Diagrams. - Egon Börger; Alessandra Cavarra; Elvinia Riccobene (AMAST, 2000)

Modeling the Dynamics of UML State Machines. - Egon Börger; Alessandra Cavarra; Elvinia Riccobene (Abstract State Machines, 2000)

Encoding Abstract State Machines in PVS. - Angelo Gargantini; Elvinia Riccobene (Abstract State Machines, 2000)

Using TAME to prove invariants of automata models: Two case studies. - Myla Archer; Constance L. Heitmeyer; Elvinia Riccobene (FMSP, 2000)

A Formal Model for the Parallel Semantics of P3L. - Alessandra Cavarra; Elvinia Riccobene; Andrea Zavanella (SAC (2), 2000)

Capturing Requirements by Abstract State Machines: The Light Control Case Study. - Egon Börger; Elvinia Riccobene; Joachim Schmid 001 (J. Univers. Comput. Sci., 2000)

ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. - Angelo Gargantini; Elvinia Riccobene (J. Univers. Comput. Sci., 2001)

Proving Invariants of I/O Automata with TAME. - Myla Archer; Constance L. Heitmeyer; Elvinia Riccobene (Autom. Softw. Eng., 2002)

Consistent Integration for Sequential Abstract State Machines. - Marianna Nicolosi Asmundo; Elvinia Riccobene (Abstract State Machines, 2003)

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (Abstract State Machines, 2003)

Using Spin to Generate Testsfrom ASM Specifications. - Angelo Gargantini; Elvinia Riccobene; Salvatore Rinzivillo (Abstract State Machines, 2003)

Automatic Model Driven Animation of SCR Specifications. - Angelo Gargantini; Elvinia Riccobene (FASE, 2003)

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. - Egon Börger; Elvinia Riccobene; Alessandra Cavarra (SAC, 2003)

Towards an Interchange Language for ASMs. - Elvinia Riccobene; Patrizia Scandurra (Abstract State Machines, 2004)

Modelling SystemC Process Behavior by the UML Method State Machines. - Elvinia Riccobene; Patrizia Scandurra (RISE, 2004)

A framework to simulate UML models: moving from a semi-formal to a formal environment. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (SAC, 2004)

On formalizing UML state machines using ASM. - Egon Börger; Alessandra Cavarra; Elvinia Riccobene (Inf. Softw. Technol., 2004)

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (Stud. Inform. Univ., 2004)

A Concrete Syntax Derived From the Abstract State Machine Metamodel. - Patrizia Scandurra; Angelo Gargantini; Claudia Genovese; Tiziana Genovese; Elvinia Riccobene (Abstract State Machines, 2005)

A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (DATE, 2005)

A UML 2.0 profile for SystemC: toward high-level SoC design. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (EMSOFT, 2005)

An HW/SW Co-design Environment based on UML and SystemC. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (FDL, 2005)

ViBBA: A Toolbox for Automatic Model Driven Animation. - Angelo Gargantini; Elvinia Riccobene (SimVis, 2005)

A model-driven design environment for embedded systems. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (DAC, 2006)

A Model-driven Co-design Flow for Embedded Systems. - Elvinia Riccobene; Patrizia Scandurra; Sara Bocchio; Alberto Rosti (FDL, 2006)

UML for ESL design: basic principles, tools, and applications. - Wolfgang Mueller; Alberto Rosti; Sara Bocchio; Elvinia Riccobene; Patrizia Scandurra; Wim Dehaene; Yves Vanderperren (ICCAD, 2006)

Exploiting the ASM method within the Model-driven Engineering paradigm. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Rigorous Methods for Software Construction and Analysis, 2007)

A complete SystemC UML profile with dynamic features for behavioral descriptions. - Sara Bocchio; Elvinia Riccobene; Alberto Rosti; Patrizia Scandurra (FDL, 2007)

Designing a Unified Process for Embedded Systems. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (MOMPES, 2007)

Process State Machines for Behavioral Modeling of Embedded Systems. - Sara Bocchio; Elvinia Riccobene; Alberto Rosti; Patrizia Scandurra (SIES, 2007)

A Scenario-Based Validation Language for ASMs. - Alessandro Carioni; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2008)

Exploiting the ASM Method for Validation & Verification of Embedded Systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2008)

Model-Driven System Validation by Scenarios. - Alessandro Carioni; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FDL (Selected Papers), 2008)

Scenario-based Validation of Embedded Systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra; Alessandro Carioni (FDL, 2008)

Model-Driven Language Engineering: The ASMETA Case Study. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ICSEA, 2008)

A model-driven validation & verification environment for embedded systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (SIES, 2008)

A Metamodel-based Language and a Simulation Engine for Abstract State Machines. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (J. Univers. Comput. Sci., 2008)

Ten Reasons to Metamodel ASMs. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Rigorous Methods for Software Construction and Analysis, 2009)

Integrating Formal Methods with Model-Driven Engineering. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ICSEA, 2009)

A semantic framework for metamodel-based languages. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Autom. Softw. Eng., 2009)

Model transformations in the UPES/UPSoC development process for embedded systems. - Elvinia Riccobene; Patrizia Scandurra (Innov. Syst. Softw. Eng., 2009)

SystemC/C-based model-driven design for embedded systems. - Elvinia Riccobene; Patrizia Scandurra; Sara Bocchio; Alberto Rosti; Luigi Lavazza; Luigi Mantellini (ACM Trans. Embed. Comput. Syst., 2009)

AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ASM, 2010)

An Executable Semantics of the SystemC UML Profile. - Elvinia Riccobene; Patrizia Scandurra (ASM, 2010)

An ASM-based executable formal model of service-oriented component interactions and orchestration. - Elvinia Riccobene; Patrizia Scandurra (BM-FA, 2010)

Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. - Elvinia Riccobene; Patrizia Scandurra (ACT4SOC, 2010)

Automatic Review of Abstract State Machines by Meta Property Verification. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (NASA Formal Methods, 2010)

A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. - Elvinia Riccobene; Patrizia Scandurra; Fabio Albani (EUROMICRO-SEAA, 2011)

Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. - Davide Brugali; Luca Gherardi; Elvinia Riccobene; Patrizia Scandurra (FACS, 2011)

Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ASE, 2011)

CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (RV, 2011)

A model advisor for NuSMV specifications. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Innov. Syst. Softw. Eng., 2011)

A model-driven process for engineering a toolset for a formal method. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Softw. Pract. Exp., 2011)

Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. - Elvinia Riccobene; Pasqualina Potena; Patrizia Scandurra (EUROMICRO-SEAA, 2012)

Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. - Elvinia Riccobene; Patrizia Scandurra (Des. Autom. Embed. Syst., 2012)

Online Testing of LTL Properties for Java Code. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Haifa Verification Conference, 2013)

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICST Workshops, 2013)

Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community. - Elvinia Riccobene (CoRR, 2013)

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372). - Uwe Glässer; Stefan Hallerstede; Michael Leuschel; Elvinia Riccobene (Dagstuhl Reports, 2013)

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ABZ (Case Study), 2014)

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ABZ (Case Study), 2014)

Towards ASM-Based Formal Specification of Self-Adaptive Systems. - Elvinia Riccobene; Patrizia Scandurra (ABZ, 2014)

An Abstraction Technique for Testing Decomposable Systems by Model Checking. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (TAP@STAF, 2014)

Using SMT for dealing with nondeterminism in ASM-based runtime verification. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

A formal framework for service modeling and prototyping. - Elvinia Riccobene; Patrizia Scandurra (Formal Aspects Comput., 2014)

A reliability model for Service Component Architectures. - Raffaela Mirandola; Pasqualina Potena; Elvinia Riccobene; Patrizia Scandurra (J. Syst. Softw., 2014)

Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. - Elvinia Riccobene; Steve Reeves (Sci. Comput. Program., 2014)

Formal Reliability Models for Web Services. - Raffaela Mirandola; Pasqualina Potena; Elvinia Riccobene; Patrizia Scandurra (Correct Software in Web Applications and Web Services, 2015)

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. - Paolo Arcaini; Elvinia Riccobene; Patrizia Scandurra (SEAMS@ICSE, 2015)

Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Paolo Vavassori (ICST Workshops, 2015)

Formal validation and verification of a medical software critical component. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor; Elvinia Riccobene (MEMOCODE, 2015)

Formal modeling self-adaptive service-oriented applications. - Elvinia Riccobene; Patrizia Scandurra (SAC, 2015)

Improving model-based test generation by model decomposition. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ESEC/SIGSOFT FSE, 2015)

Modeling and Formal Analysis of a Client-Server Application for Cloud Services. - Paolo Arcaini; Roxana-Maria Holom; Elvinia Riccobene (WS-FM, 2015)

How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Comput. J., 2015)

Using mutation to assess fault detection capability of model review. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Softw. Test. Verification Reliab., 2015)

Unified Syntax for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Marcel Dausend; Angelo Gargantini; Atif Mashkoor; Alexander Raschke; Elvinia Riccobene; Patrizia Scandurra; Michael Stegmaier (ABZ, 2016)

How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (ABZ, 2016)

SMT-Based Automatic Proof of ASM Model Refinement. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (SEFM, 2016)

Visual Notation and Patterns for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (STAF Workshops, 2016)

ASM-based formal design of an adaptivity component for a Cloud system. - Paolo Arcaini; Roxana-Maria Holom; Elvinia Riccobene (Formal Aspects Comput., 2016)

The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). - Silvia Bonfanti; Valentina Centurelli; Elvinia Riccobene; Patrizia Scandurra (ECSA (Companion), 2017)

MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICST Workshops, 2017)

NuSeen: A Tool Framework for the NuSMV Model Checker. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICST, 2017)

SMT for state-based formal methods: the ASM case study. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (AFM@NFM, 2017)

A novel use of equivalent mutants for static anomaly detection in software artifacts. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Paolo Vavassori (Inf. Softw. Technol., 2017)

Rigorous development process of a safety-critical system: from ASM models to Java code. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Int. J. Softw. Tools Technol. Transf., 2017)

Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. - Paolo Arcaini; Elvinia Riccobene; Patrizia Scandurra (ACM Trans. Auton. Adapt. Syst., 2017)

Closing the gap between the specification and the implementation: the ASMETA way. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Models: Concepts, Theory, Logic, Reasoning and Semantics, 2018)

A DSL for MAPE Patterns Representation in Self-adapting Systems. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ECSA, 2018)

Interactive Testing and Repairing of Regular Expressions. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICTSS, 2018)

AsmetaF: A Flattener for the ASMETA Framework. - Paolo Arcaini; Riccardo Melioli; Elvinia Riccobene (F-IDE@FLoC, 2018)

Integrating formal methods into medical software development: The ASM approach. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Atif Mashkoor; Elvinia Riccobene (Sci. Comput. Program., 2018)

A formal design of the hybrid European rail traffic management system. - Paolo Gaspari; Elvinia Riccobene; Angelo Gargantini (ECSA (Companion), 2019)

Self-accounting in architecture-based self-adaptation. - Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ECSA (Companion), 2019)

A Model Driven Approach for Cyber Security Scenarios Deployment. - Chiara Braghin; Stelvio Cimato; Ernesto Damiani; Fulvio Frati; Lara Mauri; Elvinia Riccobene (IOSec/MSTEC/FINSEC@ESORICS, 2019)

Addressing Usability in a Formal Development Environment. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM Workshops (1), 2019)

A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ICSA Companion, 2019)

Automatic Refinement of ASM Abstract Test Cases. - Paolo Arcaini; Elvinia Riccobene (ICST Workshops, 2019)

Regular Expression Learning with Evolutionary Testing and Repair. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (ICTSS, 2019)

Fault-based test generation for regular expressions by mutation. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (Softw. Test. Verification Reliab., 2019)

Decomposition-Based Approach for Model-Based Test Generation. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene (IEEE Trans. Software Eng., 2019)

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2020)

Exploring the Concept of Abstract State Machines for System Runtime Enforcement. - Elvinia Riccobene; Patrizia Scandurra (ABZ, 2020)

Model-Based Simulation at Runtime with Abstract State Machines. - Elvinia Riccobene; Patrizia Scandurra (ECSA Companion, 2020)

Model-Based Testing for MAPE-K adaptation control loops. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ICST Workshops, 2020)

Towards the Monitoring and Evaluation of Trainees' Activities in Cyber Ranges. - Chiara Braghin; Stelvio Cimato; Ernesto Damiani; Fulvio Frati; Elvinia Riccobene; Sadegh Astaneh (MSTEC, 2020)

Smart home platform supporting decentralized adaptive automation control. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra; Alberto Arrigoni; Daniele Bosc; Federico Modica; Rita Pedercini (SAC, 2020)

MSL: A pattern language for engineering self-adaptive systems. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (J. Syst. Softw., 2020)

Integration and Orchestration of Analysis Tools. - Robert Heinrich; Erwan Bousse; Sandro Koch; Arend Rensink; Elvinia Riccobene; Daniel Ratiu; Marjan Sirjani (Composing Model-Based Analysis Tools, 2021)

Extending ASMETA with Time Features. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (ABZ, 2021)

Towards ASM-Based Automated Formal Verification of Security Protocols. - Chiara Braghin; Mario Lilli; Elvinia Riccobene (ABZ, 2021)

The ASMETA Approach to Safety Assurance of Software Systems. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Logic, Computation and Rigorous Methods, 2021)

A Runtime Safety Enforcement Approach by Monitoring and Adaptation. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (ECSA, 2021)

Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. - Andrea Bombarda; Silvia Bonfanti; Cristiano Galbiati; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Masayuki Wada (ISSRE, 2021)

Formal Proof of a Vulnerability in Z-Wave IoT Protocol. - Mario Lilli; Chiara Braghin; Elvinia Riccobene (SECRYPT, 2021)

Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (AppFM@FM, 2021)

Towards an Evaluation Framework for Autonomous Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (ACSOS-C, 2022)

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. - Marcello M. Bersani; Chiara Braghin; Angelo Gargantini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ECSA (Tracks and Workshops), 2022)

Compositional Simulation of Abstract State Machines for Safety Critical Systems. - Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FACS, 2022)

Towards Trust-preserving Continuous Co-evolution of Digital Twins. - Marcello M. Bersani; Chiara Braghin; Vittorio Cortellessa; Angelo Gargantini; Vincenzo Grassi; F. Lo Presti; Raffaela Mirandola; Alfonso Pierantonio; Elvinia Riccobene; Patrizia Scandurra (ICSA Companion, 2022)

Guidelines for the development of a critical software under emergency. - Andrea Bombarda; Silvia Bonfanti; Cristiano Galbiati; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Masayuki Wada (Inf. Softw. Technol., 2022)

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. - Silvia Bonfanti; Elvinia Riccobene; Davide Santandrea; Patrizia Scandurra (ABZ, 2023)

A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study. - Chiara Braghin; Mario Lilli; Elvinia Riccobene (Comput. Secur., 2023)

A component framework for the runtime enforcement of safety properties. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (J. Syst. Softw., 2023)

ASMETA Tool Set for Rigorous System Design. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM (2), 2024)

Kant: A Domain-Specific Language for Modeling Security Protocols. - Chiara Braghin; Mario Lilli; Elvinia Riccobene; Marian Baba (MODELSWARD, 2024)

Modeling and verification of smart contracts with Abstract State Machines. - Chiara Braghin; Elvinia Riccobene; Simone Valentini (SAC, 2024)

An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. - Chiara Braghin; Elvinia Riccobene; Simone Valentini (SECRYPT, 2024)

A Modeling and Verification Framework for Ethereum Smart Contracts. - Simone Valentini; Chiara Braghin; Elvinia Riccobene (ABZ, 2024)

Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (IEEE Trans. Software Eng., 2024)

Accompanying artifact for the paper "ASMETA tool set for rigorous system design". - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Zenodo, 2024)

Accompanying artifact for the paper "ASMETA tool set for rigorous system design". - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Zenodo, 2024)

Accompanying artifact for the paper "ASMETA tool set for rigorous system design". - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Zenodo, 2024)

Accompanying artifact for the paper "ASMETA tool set for rigorous system design". - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Zenodo, 2024)

Accompanying artifact for the paper "ASMETA tool set for rigorous system design". - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Zenodo, 2024)

Accompanying artifact for the paper "ASMETA tool set for rigorous system design". - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Zenodo, 2024)

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Int. J. Softw. Tools Technol. Transf., 2024)

Accompanying artifact for the paper "ASMETA tool set for rigorous system design". - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Zenodo, 2024)

Accompanying artifact for the paper "ASMETA tool set for rigorous system design". - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Zenodo, 2024)

Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts. - Chiara Braghin; Giuseppe Del Castillo; Elvinia Riccobene; Simone Valentini (ABZ, 2025)

SIMSPIRE: A Simulator of the Respiratory System. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene (IEEE Access, 2025)

Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (Sci. Comput. Program., 2025)

A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. - Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Formal Aspects Comput., 2025)