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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A framework for OS portability: from formal models to low-level code
Martins Gomes, R. & Baunach, M. C., 25 Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association of Computing Machinery, p. 1156-1165 10 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Eingangsstatement von Marcel Baunach (Transkript)
Baunach, M. C., 2022, Die ethischen Herausforderungen des automatisierten Fahrens: Dokumentation einer Diskursveranstaltung. Getzinger, G., Lex, C. & Pilinger, A. (eds.). Graz: Verlag der Technischen Universität Graz, p. 47-51 (Science, Technology and Society (STS)).Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
-
Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation
Manjunath, V., Diwold, K. & Baunach, M. C., 17 Mar 2022.Research output: Contribution to conference › Abstract › peer-review
-
moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems
Scheipel, T., Angermair, F. & Baunach, M. C., 31 Aug 2022, 25th Euromicro Conference on Digital System Design (DSD). Maspalomas, Spain: EUROMICRO, p. 24-31 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Protection and Relocation Extension for RISC-V
Malenko, M., Batista Ribeiro, L. & Baunach, M. C., 19 Jun 2022, Sixth Workshop on Computer Architecture Research with RISC-V : CARRV 2022. 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access
Activities
-
3rd Winter School on Operating Systems
Tobias Peter Scheipel (Participant), Meinhard Kissich (Participant), Vignesh Manjunath (Participant), Muhammad Tanveer Ali Ahmad (Participant), Tim Sagaster (Participant) & Marcel Carsten Baunach (Participant)
3 Apr 2023 → 6 Apr 2023Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
Öffentlichkeitsarbeitsgruppe ETIT
Marcel Carsten Baunach (Organiser)
2023Activity: Public engagement › Other
-
3rd Winter School on Operating Systems
Marcel Carsten Baunach (Organiser)
3 Apr 2023 → 6 Apr 2023Activity: Participation in or organisation of › Conference or symposium (Participation in/Organisation of)
-
Panel Discussion zu Ablenkung und Assistenzsysteme - Fluch oder Segen
Marcel Carsten Baunach (Speaker)
12 Mar 2022Activity: Public engagement › Participation in TV / radio programme or webbased media
-
Julius-Maximilians-Universität Würzburg (External organisation)
Marcel Carsten Baunach (Member)
2022 → …Activity: Membership › Membership in Committee for Professorships
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 Sep 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. & Diwold, K.
1/07/21 → 31/03/25
Project: Research project
-
CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software
Baunach, M. C., Diwold, K., Manjunath, V. & Nagarajan, D.
1/11/20 → 31/03/25
Project: Research project
-
Embedded Operating Systems
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → …
Project: Research project
-
Reconfigurable Processor Architectures
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F., Scheipel, T. P. & Saikia, A.
1/09/14 → …
Project: Research project
-
Embedded Automotive Systems
Baunach, M. C., Batista Ribeiro, L., Martins Gomes, R., Malenko, M., Scheipel, T. P., Saikia, A., Nagarajan, D. & Manjunath, V.
1/09/14 → …
Project: Research area