Renato Carvalho

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 4

Top Topics

Learning Platform

Personal Experience

Virtual Laboratories

Top Venues

Sci. Comput. Program.

Publications

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. 211 (2021)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ (2020)
Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos
Verification of system-wide safety properties of ROS applications. IROS (2020)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva
Sharing and Learning Alloy on the Web. CoRR (2019)