Fotografi av Rodrigo Saar de Moraes

Rodrigo Saar de Moraes

Doktorand

Publikationer

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, Artikel 102654 Vidare till 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, s. 40-56 Vidare till 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, s. 1332-1345 Vidare till 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, s. 392-409 Vidare till DOI