| 2026 | SAC | MiKB-RAG: A Microarchitecture Knowledge Base Framework for Embedded Software Development. | Vignesh Manjunath, Jess Pestana Puerta, Tobias Scheipel, Marcel Baunach |
| 2025 | DSD | You Shall Not Stall: Achieving RISC-V On-Demand Runtime-Reconfiguration using SCAIE-V. | Tobias Scheipel, Maximilian Ogris, Marcel Baunach |
| 2025 | SAC | A Scalable Approach for Memory Optimization in AUTOSAR Schedule Tables. | Muhammad Tanveer Ali Ahmad, Jess Puerta Pestana, Michael Krisper, Marcel Baunach |
| 2025 | SAC | Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness. | Vignesh Manjunath, Tobias Scheipel, Marcel Baunach |
| 2024 | SAC | Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System. | Muhammad Tanveer Ali Ahmad, Michael Krisper, Leandro Batista Ribeiro, Marcel Baunach |
| 2024 | SAC | Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP. | Drona Nagarajan, Tobias Scheipel, Marcel Baunach |
| 2024 | RTNS | Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems. | Drona Nagarajan, Tobias Scheipel, Marcel Baunach |
| 2023 | DSD | Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide. | Meinhard Kissich, Marcel Baunach |
| 2023 | FASE | A Modeling Concept for Formal Verification of OS-Based Compositional Software. | Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach |
| 2022 | DATE | XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System. | Hyunyoung Oh, Dongil Hwang, Maja Malenko, Myunghyun Cho, Hyungon Moon, Marcel Baunach, Yunheung Paek |
| 2022 | DSD | Verifying Liveness and Real-Time of OS-Based Embedded Software. | Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach |
| 2022 | DSD | moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems. | Tobias Scheipel, Florian Angermair, Marcel Baunach |
| 2022 | SAC | A framework for OS portability: from formal models to low-level code. | Renata Martins Gomes, Marcel Baunach |
| 2021 | DSD | A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime. | Tobias Scheipel, Peter Brungs, Marcel Baunach |
| 2020 | EWSN | Towards Automatic SW Integration in Dependable Embedded Systems. | Leandro Batista Ribeiro, Fabian Schlager, Marcel Baunach |
| 2020 | SEFM | A Formal Modeling Approach for Portable Low-Level OS Functionality. | Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach |
| 2019 | CGO | Code Generation from Formal Models for Automatic RTOS Portability. | Renata Martins Gomes, Marcel Baunach |
| 2019 | DSD | Device Driver and System Call Isolation in Embedded Devices. | Maja Malenko, Marcel Baunach |
| 2018 | AICCSA | A Model-Based Concept for RTOS Portability. | Renata Martins Gomes, Marcel Baunach |
| 2017 | DSD | EventIRQ: An Event Based and Priority Aware IRQ Handling for Multi-tasking Environments. | Fabian Mauroner, Marcel Baunach |
| 2017 | DSD | System-Aware Performance Monitoring Unit for RISC-V Architectures. | Tobias Scheipel, Fabian Mauroner, Marcel Baunach |
| 2017 | ETFA | StackMMU: Dynamic stack sharing for embedded systems. | Fabian Mauroner, Marcel Baunach |
| 2017 | EWSN | meto¹ - A Versatile and Modular 32 bit Low-power Sensor Node Prototyping Platform for the IoT. | Norbert Sailer, Fabian Mauroner, Marcel Baunach |
| 2016 | GI | 14. Workshop Automotive Software Engineering. | Marcel Baunach, Leandro B. Ribeiro |
| 2016 | GI | Einsatz von dynamisch rekonfigurierbaren FPGAs in Fahrzeugen. | Peter Brungs, Marcel Baunach |
| 2012 | ETFA | Towards collaborative resource sharing under real-time conditions in multitasking and multicore environments. | Marcel Baunach |
| 2011 | IPIN | Precise self-calibration of ultrasound based indoor localization systems. | Armin Runge, Marcel Baunach, Reiner Kolla |
| 2010 | LCN | Collaborative memory management for reactive sensor/actor systems. | Marcel Baunach |
| 2009 | RTCSA | Dynamic Hinting: Real-Time Resource Management in Wireless Sensor/Actor Networks. | Marcel Baunach |
| 2008 | EWSN | Speed, Reliability and Energy Efficiency of HashSlot Communication in WSN Based Localization Systems. | Marcel Baunach |
| 2007 | LCN | A Method for Self-Organizing Communication in WSN Based Localization Systems: HashSlot. | Marcel Baunach, Reiner Kolla, Clemens Muhlberger |
| 2007 | LCN | Beyond Theory: Development of a Real World Localization Application as Low Power WSN. | Marcel Baunach, Reiner Kolla, Clemens Muhlberger |