Sharing and Learning Alloy on the Web. - Nuno Macedo 001; Alcino Cunha; José Pereira 001; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel S. Ramalho; Daniel Castro Silva (CoRR, 2019)

Experiences on Teaching Alloy with an Automated Assessment Platform. - Nuno Macedo 001; Alcino Cunha; José Pereira 001; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel Sozinho Ramalho; Daniel Castro Silva (ABZ, 2020)

Verification of system-wide safety properties of ROS applications. - Renato Carvalho; Alcino Cunha; Nuno Macedo 001; André Santos 001 (IROS, 2020)

Experiences on teaching alloy with an automated assessment platform. - Nuno Macedo 001; Alcino Cunha; José Pereira 004; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel Sozinho Ramalho; Daniel Castro Silva (Sci. Comput. Program., 2021)