Photo of Rodrigo Saar de Moraes

Rodrigo Saar de Moraes

PhD student

Publications

2021

Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2021) Abstraction models for verifying resource adequacy of IMA systems at concept level Science of Computer Programming, Vol. 208, Article 102654 Continue to DOI

2020

Rodrigo Saar de Moraes, Simin Nadjm-Tehrani (2020) Verifying Resource Adequacy of Networked IMA Systems at Concept Level Formal Techniques for Safety-Critical Systems, p. 40-56 Continue to DOI
Rodrigo Saar de Moraes, Edison Pignaton de Freitas (2020) Multi-UAV Based Crowd Monitoring System IEEE Transactions on Aerospace and Electronic Systems, Vol. 56, p. 1332-1345 Continue to DOI

2019

Rodrigo Saar de Moraes, Edison P. de Freitas (2019) Experimental analysis of heuristic solutions for the moving target traveling salesman problem applied to a moving targets monitoring system Expert systems with applications, Vol. 136, p. 392-409 Continue to DOI