Research output per year
Research output per year
Search results
-
2023
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 -
Budget-Based Explainable Schedulability Analysis for Automotive Applications
Ali Ahmad, M. T., Pestana, J., Batista Ribeiro, L. & Baunach, M. C., Dec 2023, IEEE Real-Time Systems Symposium: 2nd International Workshop on Explainability of Real-Time Systems and their Analysis.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
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. (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 -
SmartOS: An OS Architecture for Sustainable Embedded Systems
Scheipel, T. P., Batista Ribeiro, L., Sagaster, T. & Baunach, M. C., 17 Mar 2022, 2022 - Fruehjahrstreffen FG BS. Gesellschaft für Informatik , 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Verifying Liveness and Real-Time of OS-Based Embedded Software
Batista Ribeiro, L., Nagarajan, D., Manjunath, V., Ali Ahmad, M. T. & Baunach, M. C., Sept 2022, 2022 25th Euromicro Conference on Digital System Design (DSD). Fabelo, H., Ortega, S. & Skavhaug, A. (eds.). Institute of Electrical and Electronics Engineers, p. 679-688 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review