Renata Martins Gomes

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Embedded Software

Resource Management

Code Generation

Top Venues

Softw. Syst. Model.

Publications

Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. 23 (2) (2024)
Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
Correction: A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. 23 (2) (2024)
Renata Martins Gomes, Marcel Baunach
A framework for OS portability: from formal models to low-level code. SAC (2022)
Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
A Formal Modeling Approach for Portable Low-Level OS Functionality. SEFM (2020)
Renata Martins Gomes, Marcel Baunach
Code Generation from Formal Models for Automatic RTOS Portability. CGO (2019)
Marcel Baunach, Renata Martins Gomes, Maja Malenko, Fabian Mauroner, Leandro Batista Ribeiro, Tobias Scheipel
Smart mobility of the future - a challenge for embedded automotive systems. Elektrotech. Informationstechnik 135 (4-5) (2018)
Renata Martins Gomes, Marcel Baunach
A Model-Based Concept for RTOS Portability. AICCSA (2018)
Renata Martins Gomes, Fabian Mauroner, Marcel Baunach
Collaborative Resource Management for Multi-Core AUTOSAR OS. Echtzeit (2015)