Renato Carvalho

According to our database, Renato Carvalho authored at least 4 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Experiences on teaching alloy with an automated assessment platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Sci. Comput. Program., 2021

2020

Verification of system-wide safety properties of ROS applications.

Renato Carvalho, Alcino Cunha, Nuno Macedo, André Santos

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Experiences on Teaching Alloy with an Automated Assessment Platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Sharing and Learning Alloy on the Web.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva

CoRR, 2019