Publikationen pro Jahr
Publikationen pro Jahr
Publikationen
- 7 Ergebnisse
Suchergebnisse
-
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. (Hrsg.). Cham: Springer, S. 26-46 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13991 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
Budget-Based Explainable Schedulability Analysis for Automotive Applications
Ali Ahmad, M. T., Pestana, J., Batista Ribeiro, L. & Baunach, M. C., Dez. 2023, IEEE Real-Time Systems Symposium: 2nd International Workshop on Explainability of Real-Time Systems and their Analysis.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
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. (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 -
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. (Hrsg.). Institute of Electrical and Electronics Engineers, S. 679-688 10 S.Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung