CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software
Record not found: ResearchProject
Publikationen
2024
Muhammad Tanveer Ali Ahmad, Leandro Batista Ribeiro, Michael Krisper and Marcel BaunachAvoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating SystemSAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing400-409Publikation in PURE anzeigen
2023
Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen and Marcel Carsten BaunachA Modeling Concept for Formal Verification of OS-Based Compositional SoftwareFundamental 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, Proceedings26-46Publikation in PURE anzeigen
Muhammad Tanveer Ali Ahmad, Jesus Pestana, Leandro Batista Ribeiro and Marcel Carsten BaunachBudget-Based Explainable Schedulability Analysis for Automotive ApplicationsIEEE Real-Time Systems SymposiumPublikation in PURE anzeigen
2022
Tobias Peter Scheipel, Leandro Batista Ribeiro, Tim Sagaster and Marcel Carsten BaunachSmartOS: An OS Architecture for Sustainable Embedded Systems2022 - Fruehjahrstreffen FG BSPublikation in PURE anzeigen
Vignesh Manjunath, Konrad Diwold and Marcel Carsten BaunachFormal Modeling and Verification of Low-Level OS Code using Abstract InterpretationPublikation in PURE anzeigen
Marcel Carsten BaunachEingangsstatement von Marcel Baunach (Transkript)Die ethischen Herausforderungen des automatisierten Fahrens47-51Publikation in PURE anzeigen
Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad and Marcel Carsten BaunachVerifying Liveness and Real-Time of OS-Based Embedded Software2022 25th Euromicro Conference on Digital System Design (DSD) 679-688Publikation in PURE anzeigen
Maja Malenko, Leandro Batista Ribeiro and Marcel Carsten BaunachProtection and Relocation Extension for RISC-VSixth Workshop on Computer Architecture Research with RISC-V Publikation in PURE anzeigen
Wir verwenden Cookies, um Ihnen in Zukunft weiterhin das bestmögliche Service zur Verfügung stellen zu können. Nähere Informationen sowie Widerrufsmöglichkeiten finden Sie in der Datenschutzerklärung.