Research output per year
Research output per year
Project Details
Description
Vehicular networks that wirelessly connect vehicles, infrastructure, and pedestrians will be the communication backbone for future transportation.
Networked smart, semi-automatic and fully autonomous vehicles will rely on shared information, distributed intelligence, and joint actions to optimize traffic/logistics, reduce pollution, and increase road safety. However, great dynamics, continuously changing network topolgies, and heterogeneous devices make dependable communication hard and demand for self-organizing radio protocols at all layers of the communication stack.
This project aims on researching the foundations and practical application of self-organizing radio protocols for massively dynamic networks of mobile devices. Thus, nature-inspired techniques for medium acces control are equally important as managing multi-hop communication.
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/15 → 31/12/23 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness
Manjunath, V., Scheipel, T. & Baunach, M. C., 14 May 2025, 40th Annual ACM Symposium on Applied Computing, SAC 2025. New York: Association for Computing Machinery (ACM), p. 2007-2016 10 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile -
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 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 proceeding › Conference paper › peer-review
Open Access
Prizes
-
Ehrung als Erfinder der TU Graz
Baunach, M. C. (Recipient), 14 Nov 2017
Prize: Prizes / Medals / Awards
-
Gewinner des Graduiertenwettbewerbs der GI Fachgruppe Echtzeitsysteme
Scheipel, T. P. (Recipient), 16 Nov 2017
Prize: Prizes / Medals / Awards
Activities
-
Ali Ziya Alkar
Baunach, M. C. (Host)
29 Sept 2024 → 27 Dec 2024Activity: Hosting a visitor › Hosting a researcher (Inland)
-
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
-
Hardware and Software for Flexible RISC-V based Systems
Baunach, M. C. (Speaker)
11 Sept 2024 → 12 Sept 2024Activity: Talk or presentation › Invited talk at conference or symposium › Science to public