Asmeta Papers written by others

Other people using Asmeta

  • Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon. Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems. In Proceedings of Formal Methods: Foundations and Applications (SBMF 2017). doi

  • Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake. Modularization of Refinement Steps for Agile Formal Methods. In Proceedings of Formal Methods and Software Engineering (ICFEM 2017). doi

  • Gianluca Bevilacqua and Alessandro Bianchi, University of Bari, Italy.
    For his master thesis, Gianluca (with his advisor Alessandro) is using ASMETA for the implementation of the BN-AODV routing protocol. As a by-product of his work, he defined a User Defined Syntax of AsmetaL for the Notepad++ editor; you can download it from here in case you need to simply visualise AsmetaL specifications outside the ASMETA framework.

  • Roxana-Maria Holom from SCCH used ASMETA in her PhD thesis for modeling and analyzing cloud systems:
    P. Arcaini, R.M. Holom, E. Riccobene. ASM-based formal design of an adaptivity component for a Cloud system in Formal Aspects of Computing, 2016 doi
    P. Arcaini, R.M. Holom, E. Riccobene. Modeling and Formal Analysis of a Client-Server Application for Cloud Services in Proceedings of WS-FM 2014 doi

  • Osama Alkrarha, and Jameleddine Hassine. MuAsmetaL: An Experimental Mutation System for AsmetaL. In Proceedings of the 12th International Conference on Information Technology - New Generations (ITNG ‘15). doi

  • Vahid Rafe, and Saeed Doostali. ASM2Bogor: An approach for verification of models specified through Asmeta language. Journal of Visual Languages & Computing, 23(5), 2012, pp. 287-298. doi

  • Saeed Doostali. An Efficient Solution for Model Checking Abstract State Machine Using Bogor. arXiv:1404.2155 link

  • Yahya Asadollahia, Vahid Rafe, Samaneh Asadollahic and Somayeh Assadollahia. A formal framework to model and validate event-based software architecture, Procedia Computer Science, Volume 3, 2011, Pages 961-966 World Conference on Information Technology, doi

  • Clayton Vieira Fraga Filho, M.Sc. Software Engineering Researcher, Brazil. Federal University of Viçosa
    Clayton is using (and improving) AsmetaL/AsmetaS with software process simulation models.