Renata Martins Gomes

According to our database, Renata Martins Gomes authored at least 8 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Correction: A framework for embedded software portability and verification: from formal models to low-level code.

Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach

Softw. Syst. Model., April, 2024

A framework for embedded software portability and verification: from formal models to low-level code.

Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach

Softw. Syst. Model., April, 2024

2022

A framework for OS portability: from formal models to low-level code.

Renata Martins Gomes, Marcel Baunach

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2020

A Formal Modeling Approach for Portable Low-Level OS Functionality.

Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

2019

Code Generation from Formal Models for Automatic RTOS Portability.

Renata Martins Gomes, Marcel Baunach

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

2018

Smart mobility of the future - a challenge for embedded automotive systems.

Marcel Baunach, Renata Martins Gomes, Maja Malenko, Fabian Mauroner, Leandro Batista Ribeiro, Tobias Scheipel

Elektrotech. Informationstechnik, 2018

A Model-Based Concept for RTOS Portability.

Renata Martins Gomes, Marcel Baunach

Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018

2015

Collaborative Resource Management for Multi-Core AUTOSAR OS.

Renata Martins Gomes, Fabian Mauroner, Marcel Baunach

Proceedings of the Betriebssysteme und Echtzeit, 2015