Asmeta Our papers

We are actively working on Asmeta. See our personal web pages for a complete list of publication regarding Asmeta and to download the papers.
Other people are working with Asmeta as well.

2026

  • Andrea Bombarda, Silvia Bonfanti, Cesar Cornejo, Angelo Gargantini, and Nico Pellegrinelli
    Evaluating coverage and fault detection capability of scenarios for the validation of Asmeta specifications
    in NASA Formal Methods Symposium (NFM) 2026University of Southern California Los Angeles, California, USA, May 5-7, 2026 (2026)

  • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Nico Pellegrinelli
    Can LLM Support Formal Requirements Engineers in ASMETA?
    in WorkshopFormal Requirements Engineering and Artificial Intelligence (RE×AI)University of Southern California, Los Angeles, California, USAMay 4, 2026 (2026)

  • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Nico Pellegrinelli
    Can Large Language Models Support Modeling Systems with ASMETA? A Case Study with a Planetary Rover
    in ABZ 2026 – 12th International Conference on Rigorous State Based MethodsTokyo (Japan) - May 18 — May 20 2026 (2026)

  • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Nico Pellegrinelli
    Evaluating the Practical Impact of Parallelism in Asmeta
    in ABZ 2026 – 12th International Conference on Rigorous State Based MethodsTokyo (Japan) - May 18 — May 20 2026 (2026)

  • Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra
    AsmetaComp: a Tool for Runtime Contract Checking with I/O Abstract State Machines
    in FORTE 2026 - 46th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (2026)

  • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, and Nico Pellegrinelli
    Formalizing and validating properties in Asmeta with Large Language Models
    in VERIFAI-2026: The Interplay between Artificial Intelligence and Software VerificationLASER centerVillebrumier, France, March 8-11, 2026 (2026)

2025

  • Chiara Braghin, Giuseppe Del Castillo, Elvinia Riccobene and Simone Valentini
    Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts

  • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Nico Pellegrinelli and Patrizia Scandurra
    Safety enforcement for autonomous driving on a simulated highway using Asmeta models@run.time

  • Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini and Nico Pellegrinelli
    Eliminating flakiness: deterministic control for validating nondeterministic Asmeta specifications

2024

TO BE COMPLETED

2023

  • Andrea Bombarda, Silvia Bonfanti, and Angelo Gargantini
    formal MVC: a pattern for the integration of ASM specifications in UI development
    in ABZ 2023, Springer Nature Switzerland (2023): 340–357

2022

  • Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
    Compositional Simulation of Abstract State Machines for Safety Critical Systems
    FACS 2022 -18th International Conference on Formal Aspects of Component Software, 10-11 November 2022, Oslo, Norway

2019

  • P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene, P. Scandurra
    Addressing Usability in a Formal Development Environment
    in Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019)

  • P. Arcaini, E. Riccobene
    Automatic Refinement of ASM Abstract Test Cases
    in 15th Workshop on Advances in Model Based Testing (A-MOST 2019)

2018

  • S. Bonfanti, A. Gargantini, A. Mashkoor
    Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios
    in 2nd International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems (IWCFS 2018)

  • S. Bonfanti, A. Gargantini, A. Mashkoor
    Validation of code transformation from Abstract State Machine models to C++ code
    in 30th International Conference on Testing Software and Systems (ICTSS 2018)

  • P. Arcaini, R. Melioli, E. Riccobene
    AsmetaF: a flattener for the ASMETA framework
    in 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), Oxford, UK, July 14, 2018

  • S. Bonfanti, A. Gargantini, A. Mashkoor
    Generation of C++ Unit Tests from Abstract State Machines Specifications
    in 14th Workshop on Advances in Model Based Testing (A-MOST) (2018)

  • S. Bonfanti, A. Gargantini, A. Mashkoor
    AsmetaA: Animator for Abstract State Machines
    in Abstract State Machines, Alloy, B, TLA, VDM, and Z, 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (2018)

2017

  • P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene
    Integrating formal methods into medical software development: The ASM approach
    In Science of Computer Programming, 2017

  • P. Arcaini, A. Gargantini, E. Riccobene
    SMT for state-based formal methods: the ASM case study
    in 6th workshop on Automated Formal Methods (AFM 2017)

  • S. Bonfanti, M. Carissoni, A. Gargantini, A. Mashkoor
    Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
    in 9th NASA Formal Methods Symposium (NFM 2017)

2016

  • P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene
    How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study
    in Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Springer International Publishing (2016): 344–359 ISBN 978-3-319-33600-8

  • P. Arcaini, A. Gargantini, E. Riccobene
    SMT-based automatic proof of ASM model refinement
    in SEFM 2016: International Conference on Software Engineering and Formal Methods (2016)

  • P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene
    Visual notation and patterns for Abstract State Machines
    in 3rd edition of the Human-Oriented Formal Methods (HOFM) workshop (2016)

2015

  • P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene
    Formal validation and verification of a medical software critical component
    in Formal Methods and Models for Codesign (MEMOCODE), 2015 ACM/IEEE International Conference on (2015): 80–89

2014

applying ASM to model the case study of ABZ 2014

  • P. Arcaini, A. Gargantini, E. Riccobene
    Rigorous development process of a safety-critical system: from ASM models to Java code
    in International Journal on Software Tools for Technology Transfer 2015 DOI: 10.1007/s10009-015-0394-x

  • P. Arcaini, A. Gargantini, E. Riccobene
    Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
    in ABZ 2014: The Landing Gear Case Study, Springer International Publishing, Communications in Computer and Information Science, vol. 433 (2014): 36-51 ISBN 978-3-319-07511-2

  • P. Arcaini, A. Gargantini, E. Riccobene
    Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
    in ABZ 2014: The Landing Gear Case Study, Springer International Publishing, Communications in Computer and Information Science, vol. 433 (2014): 95-109 ISBN 978-3-319-07511-2

test generation for a class of decomposable ASMs

  • P. Arcaini, A. Gargantini
    Test generation for sequential nets of abstract state machines with information passing
    in Science of Computer Programming, Elsevier, vol. 94, Part 2, n. 0 (2014): 93 - 108

2013

test generation and runtime monitoring when an ASM is nondeterministic

  • P. Arcaini, A. Gargantini, E. Riccobene
    Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
    in The 9th Workshop on Advances in Model Based Testing (A-MOST 2013) colocated with ICSTIEEE Computer Society, ICSTW ‘13 (2013): 178-187 ISBN 978-0-7695-4993-4

2012

test generation using Asmeta

  • P. Arcaini, F. Bolis, A. Gargantini
    Test Generation for Sequential Nets of Abstract State Machines
    in Abstract State Machines, Alloy, B, VDM, and Z, Springer Berlin / Heidelberg, LNCS-Lecture Notes in Computer Science, vol. 7316 (2012): 36-50 ISBN 978-3-642-30884-0

MB testing of web applications using ASMs

  • F. Bolis, A. Gargantini, M. Guarnieri, E. Magri, L. Musto
    Model-Driven Testing for Web Applications using Abstract State Machines
    in Model-Driven Web Engineering workshop (MDWE 2012) - workshop of the 12th International Conference on Web Engineering ICWE 2012 (2012)

2011

runtime verification using Asmeta

  • P. Arcaini, A. Gargantini, E. Riccobene
    CoMA: Conformance Monitoring of Java programs by Abstract State Machines
    in 2nd International Conference on RUNTIME VERIFICATION RV 2011, September 27 - September 30, 2011, San Francisco, California (2011)

a language and an engine for service oriented components based on Asmeta

  • F. Albani, E. Riccobene, P. Scandurra
    A modeling and executable language for designing and prototyping service-oriented applications
    in EUROMICRO Conf. on Software Engineering and Advanced Applications (SEAA 2011), 2011.

2010

property verification for Asmeta

  • P. Arcaini, A. Gargantini, E. Riccobene
    AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
    in Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Springer, vol. 5977 (2010): 61-74

model advisor for Asmeta

  • P. Arcaini, A. Gargantini, E. Riccobene
    Automatic review of Abstract State Machines by Meta Property Verification
    in Second NASA Formal Methods Symposium, NFM 2010 (2010)

2009 and older

About the Asmeta framework in general

  • A. Gargantini, E. Riccobene, P. Scandurra
    Model-driven Language Engineering: the ASMETA case study
    in Third International Conference on Software Engineering Advances (ICSEA), October 26-31, 2008 - Sliema, Malta (2008)

About metamodelling ASMs

  • A. Gargantini, E. Riccobene, P. Scandurra
    Ten reasons to metamodel ASMs
    in Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday (Eds. J. R. Abrial and U. Glässer) Springer-Verlag ,vol. 5115 (2008)
  • A. Gargantini, E. Riccobene, P. Scandurra
    Metamodelling a Formal Method: Applying MDE to Abstract State Machines. Technical Report n. 97
    in Technical report of DTI Dept., University of Milan (2006)

About the AsmetaL language and its derivation from the metamodel

  • A. Gargantini, C. Genovese, T. Genovese, E. Riccobene, P. Scandurra
    A Concrete Syntax derived from the Abstract State Machine Metamodel
    in Proc. of ASM 2005 12th International Workshop on Abstract State Machines March 8-11, 2005, Paris, France (2005)
  • A. Gargantini, E. Riccobene, P. Scandurra
    Deriving a textual notation from a metamodel: an experience on bridging Modelware and Grammarware
    in 3M4MDA 2006 - European Workshop on Milestones, Models and Mappings for Model-Driven Architecture - European Conference on Model Driven Architecture, in Bilbao, Spain from July 10th-13th 2006. (2006)

About the simulator

  • A. Gargantini, E. Riccobene, P. Scandurra
    A Metamodel-based Language and a Simulation Engine for Abstract State Machines
    in Journal of Universal Computer Science (JUCS) (2008)
  • A. Gargantini, E. Riccobene, P. Scandurra
    A Metamodel-based Simulator for ASMs
    in The 14th International ASM Workshop, Grimstad, Norwegen, May 2008 (Eds. Andreas Prinz) (2007)

About the validation language

  • A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra
    A scenario-based validation language for ASMs
    in ABZ Conference, September 16-18, 2008, London, UK (2008)