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.

2016

  • P. Arcaini, S. Bonfanti, A. Gargantini, and 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, Proceedings (Eds. Butler, Michael and Schewe, Klaus-Dieter and Mashkoor, Atif and Biro, Miklos) Springer International Publishing (2016): 344–359 ISBN 978-3-319-33600-8

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

  • P. Arcaini, Bonfanti, Silvia, Gargantini, Angelo, and Riccobene, Elvinia
    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, and 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, and 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, and E. Riccobene
    Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
    in ABZ 2014: The Landing Gear Case Study (Eds. Boniol, Frederic and Wiels, Virginie and Ait Ameur, Yamine and Schewe, Klaus-Dieter) Springer International Publishing, Communications in Computer and Information Science, vol. 433 (2014): 36-51 ISBN 978-3-319-07511-2

  • P. Arcaini, A. Gargantini, and E. Riccobene
    Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
    in ABZ 2014: The Landing Gear Case Study (Eds. Boniol, Frederic and Wiels, Virginie and Ait Ameur, Yamine and Schewe, Klaus-Dieter) 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, and 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 ASMs is nondeterministic

  • P. Arcaini, A. Gargantini, and 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, and A. Gargantini
    Test Generation for Sequential Nets of Abstract State Machines
    in Abstract State Machines, Alloy, B, VDM, and Z (Eds. Derrick, John and Fitzgerald, John and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and E. Riccobene) 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, and 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, and 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, and 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, and 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. Proceedings (Eds. Marc Frappier and Uwe Glaesser and Sarfraz Khurshid and R. Laleau and Steve Reeves) Springer, vol. 5977 (2010): 61-74

model advisor for asmeta

  • P. Arcaini, A. Gargantini, and 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, and 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, and 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, and 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, and 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, and 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, and P. Scandurra
    A Metamodel-based Language and a Simulation Engine for Abstract State Machines
    in Journal of Universal Computer Science (JUCS) (2008)
  • A. Gargantini and E. Riccobene and 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, and P. Scandurra
    A scenario-based validation language for ASMs

    in ABZ Conference, September 16-18, 2008, London, UK (2008)