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.
- 6 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
-
Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems
Nagarajan, D., Scheipel, T. & Baunach, M. C., 3 Jan 2025, p. 187-196. 10 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
A framework for embedded software portability and verification: From formal models to low-level code
Martins Gomes, R., Aichernig, B. & Baunach, M. C., Apr 2024, In: Software and Systems Modeling. 23, 2, p. 289-315 27 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A framework for static analysis and verification of low-level RTOS code
Manjunath, V. & Baunach, M., 2 Jul 2024, In: Journal of Systems Architecture. 154, 12 p., 103220.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A Scalable Approach for Memory Optimization in The AUTOSAR Schedule Table
Ali Ahmad, M. T., Pestana, J., Krisper, M. & Baunach, M. C., 31 Mar 2025.Research output: Contribution to conference › Paper › peer-review
-
Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System
Ali Ahmad, M. T., Ribeiro, L. B., Krisper, M. & Baunach, M., 8 Apr 2024, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. New York, NY: Association of Computing Machinery, p. 400-409 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Activities
-
Leitungsgremium der Fachgruppe "Echtzeitsysteme" der GI e.V., Gesellschaft für Informatik e.V. (Deutschland) (External organisation)
Baunach, M. C. (Chair)
2024Activity: Membership › Membership of research network or expert group
-
Gesellschaft für Informatik, Fachgruppe Automotive Software Engineering (External organisation)
Baunach, M. C. (Member)
2024Activity: Membership › Membership of research network or expert group
-
21st Workshop on Automotive Software Engineering (Event)
Baunach, M. C. (Chair)
26 Feb 2024Activity: Membership › Membership in Programm Committee
-
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Nagarajan, D. (Speaker), Scheipel, T. P. (Contributor) & Baunach, M. C. (Contributor)
8 Apr 2024 → 12 Apr 2024Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
27th Euromicro Conference Series on Digital System Design (Event)
Baunach, M. C. (Peer reviewer)
2024Activity: Publication peer-review or editorial work › Peer review of manuscripts
Prizes
-
Best Paper Award
Malenko, M. (Recipient) & Baunach, M. C. (Recipient), 2016
Prize: Prizes / Medals / Awards
-
-
Best paper award SEFM 2020
Martins Gomes, R. (Recipient), Aichernig, B. (Recipient) & Baunach, M. C. (Recipient), 17 Sept 2020
Prize: Prizes / Medals / Awards
-
Ehrung als Erfinder der TU Graz
Baunach, M. C. (Recipient), 14 Nov 2017
Prize: Prizes / Medals / Awards
Press/Media
-
CompEAS-HW1 - Compositional Embedded Automotive Systems - Hardware
Baunach, M. C. (Co-Investigator (CoI)), Kanics, K. (Co-Investigator (CoI)) & Krisper, M. (Co-Investigator (CoI))
1/07/21 → 31/03/25
Project: Research project
-
CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software
Baunach, M. C. (Co-Investigator (CoI)), Manjunath, V. (Co-Investigator (CoI)), Nagarajan, D. (Co-Investigator (CoI)) & Krisper, M. (Co-Investigator (CoI))
1/11/20 → 31/03/25
Project: Research project
-
Study IoT - Study regarding "Dependable IoT"
Baunach, M. C. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Boano, C. A. (Co-Investigator (CoI)) & Macher, G. (Co-Investigator (CoI))
20/07/18 → 30/09/18
Project: Research project
-
Dependable Internet of Things
Boano, C. A. (Co-Investigator (CoI)), Kubin, G. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Pernkopf, F. (Co-Investigator (CoI)), Zakany, N. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Witrisal, K. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Aichernig, B. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)), Baunach, M. C. (Co-Investigator (CoI)), Tappler, M. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Weiser, S. (Co-Investigator (CoI)), Eichlseder, M. (Co-Investigator (CoI)), Leitinger, E. (Co-Investigator (CoI)), Grosinger, J. (Co-Investigator (CoI)), Großwindhager, B. (Co-Investigator (CoI)), Ebrahimi, M. (Co-Investigator (CoI)), Alothman Alterkawi, A. B. (Co-Investigator (CoI)), Knoll, C. (Co-Investigator (CoI)), Teschl, R. (Co-Investigator (CoI)), Saukh, O. (Co-Investigator (CoI)), Rath, M. (Co-Investigator (CoI)), Steinberger, M. (Co-Investigator (CoI)), Steinbauer-Wagner, G. (Co-Investigator (CoI)) & Tranninger, M. (Co-Investigator (CoI))
1/01/16 → 31/03/22
Project: Research project
-
Embedded Operating Systems
Baunach, M. C. (Co-Investigator (CoI)), Martins Gomes, R. (Co-Investigator (CoI)), Batista Ribeiro, L. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Mauroner, F. (Co-Investigator (CoI)) & Scheipel, T. P. (Co-Investigator (CoI))
1/09/15 → 31/12/23
Project: Research project