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.

Personal profile

Keywords

  • 102021 Pervasive computing
  • 102022 Software development
  • 102025 Distributed systems
  • 102015 Information systems

Fingerprint Dive into the research topics where Marcel Carsten Baunach is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 17 Similar Profiles
Embedded systems Engineering & Materials Science
Hardware Engineering & Materials Science
Data storage equipment Engineering & Materials Science
Memory management units Engineering & Materials Science
Maintainability Engineering & Materials Science
Microcontrollers Engineering & Materials Science
Explosions Engineering & Materials Science
Computer hardware Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2004 2020

Towards Automatic SW Integration in Dependable Embedded Systems

Batista Ribeiro, L., Baunach, M. C. & Schlager, F., 2020, (Accepted/In press) International Conference on Embedded Wireless Systems and Networks (EWSN).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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 contributionResearchpeer-review

Hardware
Embedded software
Formal methods
Computer operating systems
Embedded systems

COFIE: a regex-like interaction and control flow description

Batista Ribeiro, L. & Baunach, M. C., May 2019, (Accepted/In press) 2019 IEEE Industrial Cyber-Physical Systems.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Dependable Internet of Things

Römer, K. U., Witrisal, K., Baunach, M. C., Bloem, R. & Horn, M., 26 Feb 2019, Proceedings of the International Conference on Sensor Networks (SENSORNETS) 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Device Driver and System Call Isolation in Embedded Devices

Malenko, M. & Baunach, M., 1 Aug 2019, Proceedings - Euromicro Conference on Digital System Design, DSD 2019. Konofaos, N. & Kitsos, P. (eds.). Institute of Electrical and Electronics Engineers, p. 283-290 8 p. 8875063. (Proceedings - Euromicro Conference on Digital System Design, DSD 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Data storage equipment
Reduced instruction set computing
Microcontrollers
Computer programming
Isolation

Activities 2006 2020

17. Automotive Software Engineering Workshop 2020

Marcel Carsten Baunach (Organiser)
2020

Activity: Participation in or organisation ofWorkshop, seminar or course (Participation in/Organisation of)

A Formal Modeling Framework for Dependable and Portable Embedded Operating Systems

Renata Martins Gomes (Speaker), Marcel Carsten Baunach (Speaker)
21 Nov 2019

Activity: Talk or presentationTalk at conference or symposiumScience to science

Roberto Passerone

Marcel Carsten Baunach (Host)
2019

Activity: Hosting a visitorHosting an academic visitor

Yunheung Paek

Marcel Carsten Baunach (Host)
2019

Activity: Hosting a visitorHosting an academic visitor

Prizes

Best Paper Award

Maja Malenko (Recipient) & Marcel Carsten Baunach (Recipient), 2016

Prize: Prizes / Medals / Awards

Best Paper Award

Marcel Carsten Baunach (Recipient), 18 Nov 2016

Prize: Prizes / Medals / Awards

Ehrung als Erfinder der TU Graz

Marcel Carsten Baunach (Recipient), 14 Nov 2017

Prize: Prizes / Medals / Awards

Press / Media

ORF Newton "Internet der Dinge"

Marcel Carsten Baunach

9/06/18

1 media contribution

Press/Media: Press / Media

Projects 2014 2022