No photo of Renata Martins Gomes

Renata Martins Gomes

Eng.

20142019
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Renata Martins Gomes is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 16 Similar Profiles
Embedded systems Engineering & Materials Science
Maintainability Engineering & Materials Science
Hardware Engineering & Materials Science
Explosions Engineering & Materials Science
Automation Engineering & Materials Science
Microcontrollers Engineering & Materials Science
Power electronics Engineering & Materials Science
Railroad cars Engineering & Materials Science

Research Output 2015 2019

  • 4 Conference contribution
  • 3 Poster
  • 1 Article

Code Generation from Formal Models for Automatic RTOS Portability

Martins Gomes, R. & Baunach, M. C., 4 Jan 2019, CGO 2019: Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization. IEEE Press, p. 271-272

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Hardware
Embedded software
Formal methods
Computer operating systems
Embedded systems

A Model-Based Concept for RTOS Portability

Martins Gomes, R. & Baunach, M. C., 2018, 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications . 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Middleware
Hardware
Computer peripheral equipment
Multitasking
Embedded systems

Smart mobility of the future – a challenge for embedded automotive systems

Baunach, M. C., Martins Gomes, R., Malenko, M., Mauroner, F., Batista Ribeiro, L. & Scheipel, T. P., 27 Jun 2018, In : e&i - Elektrotechnik und Informationstechnik. p. 304-308 5 p., 135.

Research output: Contribution to journalArticleResearchpeer-review

Railroad cars
Hardware
Communication

A co-designed RTOS/MCU Architecture for dependable Embedded Systems

Batista Ribeiro, L., Mauroner, F., Martins Gomes, R., Malenko, M. & Baunach, M. C., 27 Jun 2017.

Research output: Contribution to conferencePosterResearch

Microcontrollers
Embedded systems
Maintainability
Robotics
Automation

A Co-Designed RTOS and MCU Concept for Dynamically Composed Embedded Systems

Martins Gomes, R., Baunach, M. C., Batista Ribeiro, L., Malenko, M. & Mauroner, F., 27 Jun 2017, Proceedings of OSPERT 2017.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Activities 2015 2019

  • 3 Talk at conference or symposium

A Formal Modeling Framework for Dependable and Portable Embedded Operating Systems

Renata Martins Gomes (Speaker), Marcel Carsten Baunach (Speaker)
21 Nov 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

A Co-Designed RTOS and MCU Concept for Dynamically Composed Embedded Systems

Renata Martins Gomes (Speaker)
27 Jun 2017

Activity: Talk or presentationTalk at conference or symposiumScience to science

ECHTZEIT 2015

Renata Martins Gomes (Speaker)
12 Nov 201513 Nov 2015

Activity: Talk or presentationTalk at conference or symposiumScience to science

Projects 2014 2019