Svenska

Search on liu.se

Education
Research
Collaboration

Home

About LiU
News
Work at LiU
Contact

Svenska

Education
- Apply
- Exchange
- Student life
- Admitted
- Career
- Contact
Research
Collaboration
- Alumni
- Support LiU
About LiU
News
Work at LiU
Contact

Rodrigo Saar Moraes

Photo of Rodrigo Saar de Moraes

Rodrigo Saar de Moraes

PhD student

Contact

rodrigo.moraes@liu.se
+46 13 28 57 69
5769

Organisation

Department of Computer and Information Science (IDA)
Software and Systems (SAS)

Visiting address

Campus Valla, B-huset, Entrance 29, Room 3B:439C

Publications
Research
Education

Publications Show/Hide content

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

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

To institutional repository

Tags Show/Hide content

Real Time Systems (RTSLAB)
Software and Systems (SAS)
Department of Computer and Information Science (IDA)
Linköping University (LIU)
Employee
Rodrigo Saar de Moraes (rodsa37)
PhD student

Show all tags Hide all tags

Share on

Facebook Twitter LinkedIn Email

Linköping University

SE-581 83 Linköping
Sweden

infocenter@liu.se
+46 13 281000

About this website

LiU's Privacy Policy

Website manager: webmaster@liu.se

Follow us

Facebook
Twitter
Instagram
LinkedIn

Getting here

Map information

Campus Norrköping

Campus Lidingö

Quick links

University library

Internal