Till innehållet
English
Sök
Sök på liu.se
Meny
Utbildning
Forskning
Samverkan
Hem
Om LiU
Aktuellt
Jobba på LiU
Kontakt
Start
Rodrigo Saar Moraes
Rodrigo Saar de Moraes
Doktorand
Publikationer
Forskning
Utbildning
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
Taggar
Realtidssystem (RTSLAB)
Programvara och system (SAS)
Institutionen för datavetenskap (IDA)
Linköpings universitet (LIU)
Medarbetare
Rodrigo Saar de Moraes (rodsa37)
Doktorand
Dela på
Facebook
Twitter
LinkedIn
Email