Research output per year
Research output per year
Personal profile
Austrian Fields of Study 2012 (6-stellig)
- 102021 Pervasive computing
- 102022 Software development
- 102025 Distributed systems
- 102015 Information systems
- 202005 Computer architecture
- 202006 Computer hardware
- 202017 Embedded systems
- 202041 Computer engineering
Keywords
- QA75 Electronic computers. Computer science
- QA76 Computer software
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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A framework for embedded software portability and verification: From formal models to low-level code
Martins Gomes, R., Aichernig, B. & Baunach, M. C., 1 Feb 2024, (E-pub ahead of print) In: Software and Systems Modeling. 2024Research output: Contribution to journal › Article › peer-review
Open Access -
Correction to: A framework for embedded software portability and verification: from formal models to low-level code (Software and Systems Modeling, (2024), 10.1007/s10270-023-01144-y)
Gomes, R. M., Aichernig, B. & Baunach, M., 2024, (Accepted/In press) In: Software and Systems Modeling.Research output: Contribution to journal › Comment/debate › peer-review
Open Access -
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Nagarajan, D., Scheipel, T. & Baunach, M. C., 8 Apr 2024, (Accepted/In press) Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing. Association of Computing Machinery, p. 436-445 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
20th Workshop on Automotive Software Engineering (ASE'23)
Kugele, S., Grunske, L., Allmann, C., Baunach, M., Becker, K., Belzner, L., Conrad, M., Dörr, H., Hartig, K., Helke, S., Herber, P., Kropf, T., Müller, W., Noack, T., Reißing, R., Sax, E., Schneider, J., Tavakoli, R., Vogel, T., Vogelsang, A., & 2 others, 2023, Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. Engels, G., Hebig, R. & Tichy, M. (eds.). Gesellschaft fur Informatik (GI), p. 137-138 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-332).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
Open Access -
A Modeling Concept for Formal Verification of OS-Based Compositional Software
Batista Ribeiro, L., Lorber, F., Nyman, U., Guldstrand Larsen, K. & Baunach, M. C., Apr 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings: International Conference on Fundamental Approaches to Software Engineering. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Cham: Springer, p. 26-46 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13991 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access
Activities
-
Gesellschaft für Informatik, Fachgruppe Automotive Software Engineering (External organisation)
Marcel Carsten Baunach (Member)
2024Activity: Membership › Membership of research network or expert group
-
Leitungsgremium der Fachgruppe "Echtzeitsysteme" der GI e.V., Gesellschaft für Informatik e.V. (Deutschland) (External organisation)
Marcel Carsten Baunach (Chair)
2024Activity: Membership › Membership of research network or expert group
-
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Drona Nagarajan (Speaker), Tobias Peter Scheipel (Contributor) & Marcel Carsten Baunach (Contributor)
8 Apr 2024 → 12 Apr 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
21st Workshop on Automotive Software Engineering (Event)
Marcel Carsten Baunach (Chair)
26 Feb 2024Activity: Membership › Membership in Programm Committee
-
A Graphical Guide to Lightweight Block-Level Formal Verification
Meinhard Kissich (Speaker) & Marcel Carsten Baunach (Contributor)
15 Sept 2023 → 17 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
Prizes
-
Best Paper Award
Malenko, Maja (Recipient) & Baunach, Marcel Carsten (Recipient), 2016
Prize: Prizes / Medals / Awards
-
-
Best paper award SEFM 2020
Martins Gomes, Renata (Recipient), Aichernig, Bernhard (Recipient) & Baunach, Marcel Carsten (Recipient), 17 Sept 2020
Prize: Prizes / Medals / Awards
-
Ehrung als Erfinder der TU Graz
Baunach, Marcel Carsten (Recipient), 14 Nov 2017
Prize: Prizes / Medals / Awards
Press/Media
-
CompEAS-HW1 - Compositional Embedded Automotive Systems - Hardware
Baunach, M. C., Kanics, K. & Krisper, M.
1/07/21 → 31/03/25
Project: Research project
-
CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software
Baunach, M. C., Manjunath, V., Nagarajan, D. & Krisper, M.
1/11/20 → 31/03/25
Project: Research project
-
Embedded Architectures & Systems
Saikia, A., Manjunath, V., Martins Gomes, R., Nagarajan, D., Baunach, M. C., Scheipel, T. P., Malenko, M., Kissich, M., Batista Ribeiro, L. & Kanics, K.
1/09/14 → …
Project: Research area
-
Embedded Automotive Systems
Baunach, M. C., Batista Ribeiro, L., Martins Gomes, R., Malenko, M., Scheipel, T. P., Saikia, A., Nagarajan, D., Manjunath, V., Kissich, M. & Kanics, K.
1/09/14 → …
Project: Research area
-
Study IoT - Study regarding "Dependable IoT"
Baunach, M. C., Römer, K. U., Boano, C. A. & Macher, G.
20/07/18 → 30/09/18
Project: Research project