Marcel Carsten Baunach

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

20042024

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

    Research output: Contribution to journalArticlepeer-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 othersKugele, S. & Grunske, L., 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 proceedingForeword/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 proceedingConference paperpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

    Open Access