Find Research Outputs

Search in all content

Filters for Research Outputs

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2012

Author

  • Renata Martins Gomes
2015

Collaborative Resource Management for Multi-Core AUTOSAR OS

Baunach, M. C., Martins Gomes, R. & Mauroner, F., 2015, Betriebssysteme und Echtzeit. Springer, p. 1-10 (Informatik aktuell).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

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 conferencePoster

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 contribution

2018

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 contribution

2019

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 contribution

2020

A Formal Modeling Approach for Portable Low-Level OS Functionality

Martins Gomes, R., Aichernig, B. & Baunach, M. C., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. Springer International

Research output: Chapter in Book/Report/Conference proceedingConference contribution