Publikationen pro Jahr
Publikationen pro Jahr
Publikationen
- 5 Ergebnisse
Suchergebnisse
-
2023
Verifying Liveness and Real-Time of OS-Based Embedded Software
Batista Ribeiro, L., Nagarajan, D., Manjunath, V., Ali Ahmad, M. T. & Baunach, M. C., Jan. 2023, 2022 25th Euromicro Conference on Digital System Design (DSD). Fabelo, H., Ortega, S. & Skavhaug, A. (Hrsg.). Institute of Electrical and Electronics Engineers, S. 679-688 10 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2022
Eingangsstatement von Marcel Baunach (Transkript)
Baunach, M. C., 2022, Die ethischen Herausforderungen des automatisierten Fahrens: Dokumentation einer Diskursveranstaltung. Getzinger, G., Lex, C. & Pilinger, A. (Hrsg.). Graz: Verlag der Technischen Universität Graz, S. 47-51 (Science, Technology and Society (STS)).Publikation: Beitrag in Buch/Bericht/Konferenzband › Sonstiger Beitrag in Buch/Bericht/Konferenzband
-
Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation
Manjunath, V., Diwold, K. & Baunach, M. C., 17 März 2022.Publikation: Konferenzbeitrag › Abstract › Begutachtung
-
Protection and Relocation Extension for RISC-V
Malenko, M., Batista Ribeiro, L. & Baunach, M. C., 19 Juni 2022, Sixth Workshop on Computer Architecture Research with RISC-V : CARRV 2022. 6 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
SmartOS: An OS Architecture for Sustainable Embedded Systems
Scheipel, T. P., Batista Ribeiro, L., Sagaster, T. & Baunach, M. C., 17 März 2022, 2022 - Fruehjahrstreffen FG BS. Gesellschaft für Informatik , 10 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access