1. SimSOTA: engineering and simulating feedback loops for self-adaptive systems;Abeywickrama,2013
2. Architecting emergent configurations in the internet of things;Alkhabbas,2017
3. AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications;Arcaini,2010
4. Automatic Review of Abstract State Machines by Meta Property Verification;Arcaini,2010
5. A model-driven process for engineering a toolset for a formal method;Arcaini;Softw. Pract. Exper.,2011