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-409Show publication in PURE
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-46Show publication in PURE
Muhammad Tanveer Ali Ahmad, Jesus Pestana, Leandro Batista Ribeiro and Marcel Carsten BaunachBudget-Based Explainable Schedulability Analysis for Automotive ApplicationsIEEE Real-Time Systems SymposiumShow publication in PURE
2022
Tobias Peter Scheipel, Leandro Batista Ribeiro, Tim Sagaster and Marcel Carsten BaunachSmartOS: An OS Architecture for Sustainable Embedded Systems2022 - Fruehjahrstreffen FG BSShow publication in PURE
Vignesh Manjunath, Konrad Diwold and Marcel Carsten BaunachFormal Modeling and Verification of Low-Level OS Code using Abstract InterpretationShow publication in PURE
Marcel Carsten BaunachEingangsstatement von Marcel Baunach (Transkript)Die ethischen Herausforderungen des automatisierten Fahrens47-51Show publication in PURE
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-688Show publication in PURE
Maja Malenko, Leandro Batista Ribeiro and Marcel Carsten BaunachProtection and Relocation Extension for RISC-VSixth Workshop on Computer Architecture Research with RISC-V Show publication in PURE
We use cookies in order to be able to provide you with the best possible service in the future. In the privacy policy you will find further information as well as the possibility of withdrawal.