Marcel Carsten Baunach

Univ.-Prof. Dipl.-Inf. Univ. Dr.rer.nat.

20042024

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

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. 2024

    Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

    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 mehrKugele, S. & Grunske, L., 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/KonferenzbandVorwort/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/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
  • ATTEST: Automated and Thorough Testing of Embedded Software in Teaching

    Kissich, M., Weinbauer, K. & Baunach, M. C., 19 Juni 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. S. 199-203 5 S. (ACM International Conference Proceeding Series).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access
    Datei
  • ATTEST: Automated and Thorough Testing of Embedded Software in Teaching

    Kissich, M., Weinbauer, K. & Baunach, M. C., 19 Juni 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. Association of Computing Machinery, S. 199-203 5 S. (ACM International Conference Proceeding Series).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

    Open Access