Rodrigo Saar de Moraes
Doktorand
Publikationer
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
Vidare till DOI
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
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