Research output per year
Research output per year
Project Details
Description
The goal of this project is to investigate dependability aspects and the dynamic composition of software and hardware of complex computer platforms or embedded automotive systems (EAS) across the entire system stack.
| Status | Active |
|---|---|
| Effective start/end date | 1/11/20 → 31/03/25 |
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.
-
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
-
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