Publikationen pro Jahr
Publikationen pro Jahr
Persönliches Profil
ÖFOS 2012 (6-stellig)
- 102021 Pervasive Computing
- 102022 Softwareentwicklung
- 102025 Verteilte Systeme
- 102015 Informationssysteme
- 202005 Computer Architektur
- 202006 Computer Hardware
- 202017 Embedded Systems
- 202041 Technische Informatik
Schlagwörter
- QA75 Electronic computers. Computer science
- QA76 Computer software
Fingerprint
Ergründen Sie die Forschungsthemen, in denen Marcel Carsten Baunach aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
- 1 Ähnliche Profile
Kooperationen und Spitzenforschungsbereiche der letzten fünf Jahre
Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
-
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, (Elektronische Veröffentlichung vor Drucklegung.) in: Software and Systems Modeling. 2024Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
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, (Angenommen/In Druck) in: Software and Systems Modeling.Publikation: Beitrag in einer Fachzeitschrift › Diskussion › Begutachtung
Open Access -
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Nagarajan, D., Scheipel, T. & Baunach, M. C., 8 Apr. 2024, (Angenommen/In Druck) Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing. Association of Computing Machinery, S. 436-445 10 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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 mehr, 2023, Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. Engels, G., Hebig, R. & Tichy, M. (Hrsg.). Gesellschaft fur Informatik (GI), S. 137-138 2 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-332).Publikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort
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. (Hrsg.). Cham: Springer, S. 26-46 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13991 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access
Aktivitäten
-
Gesellschaft für Informatik, Fachgruppe Automotive Software Engineering (Externe Organisation)
Marcel Carsten Baunach (Mitglied)
2024Aktivität: Mitgliedschaft › Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
-
Gesellschaft für Informatik, Fachgruppe Echtzeitsysteme (Externe Organisation)
Marcel Carsten Baunach (Vorsitzende/r)
2024Aktivität: Mitgliedschaft › Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
-
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems
Drona Nagarajan (Redner/in), Tobias Peter Scheipel (Beitragende/r) & Marcel Carsten Baunach (Beitragende/r)
8 Apr. 2024 → 12 Apr. 2024Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science
-
21st Workshop on Automotive Software Engineering (Veranstaltung)
Marcel Carsten Baunach (Vorsitzende/r)
26 Feb. 2024Aktivität: Mitgliedschaft › Mitgliedschaft in Programmkomitee
-
Öffentlichkeitsarbeitsgruppe ETIT
Marcel Carsten Baunach (Organisator/-in)
2023Aktivität: Öffentlichkeitsarbeit › Sonstige
Auszeichnungen
-
Best Paper Award
Malenko, Maja (Empfänger/-in) & Baunach, Marcel Carsten (Empfänger/-in), 2016
Auszeichnung: Preise / Medaillen / Ehrungen
-
Best Paper Award
Baunach, Marcel Carsten (Empfänger/-in), 18 Nov. 2016
Auszeichnung: Preise / Medaillen / Ehrungen
-
Best paper award SEFM 2020
Martins Gomes, Renata (Empfänger/-in), Aichernig, Bernhard (Empfänger/-in) & Baunach, Marcel Carsten (Empfänger/-in), 17 Sept. 2020
Auszeichnung: Preise / Medaillen / Ehrungen
-
Ehrung als Erfinder der TU Graz
Baunach, Marcel Carsten (Empfänger/-in), 14 Nov. 2017
Auszeichnung: Preise / Medaillen / Ehrungen
Presseberichte
-
CompEAS-HW1 - Kompositionelle Embedded Automotive Systems - Hardware
Baunach, M. C., Kanics, K. & Krisper, M.
1/07/21 → 31/03/25
Projekt: Forschungsprojekt
-
CompEAS-BSW1 - Kompositorische eingebettete Fahrzeugsysteme - Basissoftware
Baunach, M. C., Manjunath, V., Nagarajan, D. & Krisper, M.
1/11/20 → 31/03/25
Projekt: Forschungsprojekt
-
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 → …
Projekt: Arbeitsgebiet
-
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 → …
Projekt: Arbeitsgebiet
-
Study IoT - Studie zum Thema "Dependable IoT"
Baunach, M. C., Römer, K. U., Boano, C. A. & Macher, G.
20/07/18 → 30/09/18
Projekt: Forschungsprojekt