Collaborative Resource Management for Multi-Core AUTOSAR OS. - Renata Martins Gomes; Fabian Mauroner; Marcel Baunach (Echtzeit, 2015)

A Model-Based Concept for RTOS Portability. - Renata Martins Gomes; Marcel Baunach (AICCSA, 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)

Code Generation from Formal Models for Automatic RTOS Portability. - Renata Martins Gomes; Marcel Baunach (CGO, 2019)

A Formal Modeling Approach for Portable Low-Level OS Functionality. - Renata Martins Gomes; Bernhard K. Aichernig; Marcel Baunach (SEFM, 2020)

A framework for OS portability: from formal models to low-level code. - Renata Martins Gomes; Marcel Baunach (SAC, 2022)

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., 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., 2024)