Research Output per year
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 proceeding › Conference contribution › Research › peer-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-272Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-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 proceeding › Conference contribution › Research › peer-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 proceeding › Conference contribution › Research › peer-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 proceeding › Conference contribution › Research › peer-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 of › Workshop, 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 presentation › Talk at conference or symposium › Science to science
Leitungsgremium der Fachgruppe "Echtzeitsysteme" der GI e.V., Gesellschaft für Informatik e.V. (Deutschland) (External organisation)
Marcel Carsten Baunach (Chair)2019 → …
Activity: Membership › Membership of research network or expert group
Roberto Passerone
Marcel Carsten Baunach (Host)2019
Activity: Hosting a visitor › Hosting an academic visitor
Yunheung Paek
Marcel Carsten Baunach (Host)2019
Activity: Hosting a visitor › Hosting an academic visitor
Prizes
Best Paper Award
Maja Malenko (Recipient) & Marcel Carsten Baunach (Recipient), 2016
Prize: Prizes / Medals / Awards
Ehrung als Erfinder der TU Graz
Marcel Carsten Baunach (Recipient), 14 Nov 2017
Prize: Prizes / Medals / Awards
Press / Media
Projects 2014 2022
Dependable Internet of Things
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer, G. & Tranninger, M.
1/01/16 → 31/03/22
Project: Research project
Automotive Multi-Core Systems
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/14 → …
Project: Research project
Embedded Automotive Systems
Baunach, M. C., Batista Ribeiro, L., Martins Gomes, R., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/14 → …
Project: Research area
Embedded Real-Time Operating Systems
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → 30/08/19
Project: Research project