Asmeta Papers written by others

Other people using Asmeta

  • Farah Al-Shareefi, Alexei Lisitsa, Clare Dixon. Clarification of Ambiguity for the Simple Authentication and Security Layer In International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Lecture Notes in Computer Science, vol 10817. Springer, 2018 link

  • 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.