Marcel Carsten Baunach

Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.

20042022
If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019

Filter
Poster
2019

Code Generation from Formal Models for Automatic RTOS Portability

Martins Gomes, R. & Baunach, M. C., 4 Jan 2019, (Accepted/In press).

Research output: Contribution to conferencePosterResearchpeer-review

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 conferencePosterResearch

Microcontrollers
Embedded systems
Maintainability
Robotics
Automation

MCSmartOS: A Dependable OS for Compositional Embedded Systems

Martins Gomes, R., Baunach, M. C. & Batista Ribeiro, L., 28 Mar 2017.

Research output: Contribution to conferencePosterResearch

Maintainability
Embedded systems
Explosions
Internet of things

MCSmartOS: A Dependable OS for Compositional Embedded Systems

Martins Gomes, R., Batista Ribeiro, L. & Baunach, M. C., 26 Apr 2017.

Research output: Contribution to conferencePosterResearch

Maintainability
Power electronics
Embedded systems
Explosions
Automation

mosartMCU: An Operating System aware real-Time MCU

Mauroner, F., Malenko, M. & Baunach, M. C., 28 Mar 2017. 1 p.

Research output: Contribution to conferencePosterResearch

2008

Tab WoNS: Calibration Approach for WSN based Ultrasound Localization Systems

Baunach, M. C., 2008.

Research output: Contribution to conferencePosterResearch