Veröffentlichungen suchen

In allen Inhalten suchen

Filters für Veröffentlichungen

Konzepte suchen
Ausgewählte Filter

Erscheinungsjahr

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

Autor

  • 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, S. 1-10 (Informatik aktuell).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

2017

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.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

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 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

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

Titel in Übersetzung: Mobilität der Zukunft – eine Herausforderung für eingebettete Systeme in FahrzeugenBaunach, M. C., Martins Gomes, R., Malenko, M., Mauroner, F., Batista Ribeiro, L. & Scheipel, T. P., 27 Jun 2018, in : e&i - Elektrotechnik und Informationstechnik. S. 304-308 5 S., 135.

Publikation: Beitrag in einer FachzeitschriftArtikel

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, S. 271-272

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband