A Method for Self-Organizing Communication in WSN Based Localization Systems: HashSlot. - Marcel Baunach; Reiner Kolla; Clemens Muhlberger (LCN, 2007)

Beyond Theory: Development of a Real World Localization Application as Low Power WSN. - Marcel Baunach; Reiner Kolla; Clemens Muhlberger (LCN, 2007)

Speed, Reliability and Energy Efficiency of HashSlot Communication in WSN Based Localization Systems. - Marcel Baunach (EWSN, 2008)

Dynamic Hinting: Real-Time Resource Management in Wireless Sensor/Actor Networks. - Marcel Baunach (RTCSA, 2009)

Collaborative memory management for reactive sensor/actor systems. - Marcel Baunach (LCN, 2010)

Precise self-calibration of ultrasound based indoor localization systems. - Armin Runge; Marcel Baunach; Reiner Kolla (IPIN, 2011)

Dynamic hinting: Collaborative real-time resource management for reactive embedded systems. - Marcel Baunach (J. Syst. Archit., 2011)

Towards collaborative resource sharing under real-time conditions in multitasking and multicore environments. - Marcel Baunach (ETFA, 2012)

CoMem: collaborative memory management for real-time operation within reactive sensor/actor networks. - Marcel Baunach (Real Time Syst., 2012)

Advances in distributed real-time sensor-actuator systems operation: operating systems, communication, and application design concepts. - Marcel Baunach (2012)

Handling Time and Reactivity for Synchronization and Clock Drift Calculation in Wireless Sensor/Actuator Networks. - Marcel Baunach (SENSORNETS, 2014)

Collaborative Resource Management for Multi-Core AUTOSAR OS. - Renata Martins Gomes; Fabian Mauroner; Marcel Baunach (Echtzeit, 2015)

14. Workshop Automotive Software Engineering. - Marcel Baunach; Leandro B. Ribeiro (GI-Jahrestagung, 2016)

Einsatz von dynamisch rekonfigurierbaren FPGAs in Fahrzeugen. - Peter Brungs; Marcel Baunach (GI-Jahrestagung, 2016)

Real-time and Security Requirements for Internet-of-Things Operating Systems. - Maja Malenko; Marcel Baunach (Echtzeit, 2016)

Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability. - Carlo Alberto Boano; Kay Römer; Roderick Bloem; Klaus Witrisal; Marcel Baunach; Martin Horn (Elektrotech. Informationstechnik, 2016)

EventIRQ: An Event Based and Priority Aware IRQ Handling for Multi-tasking Environments. - Fabian Mauroner; Marcel Baunach (DSD, 2017)

System-Aware Performance Monitoring Unit for RISC-V Architectures. - Tobias Scheipel; Fabian Mauroner; Marcel Baunach (DSD, 2017)

StackMMU: Dynamic stack sharing for embedded systems. - Fabian Mauroner; Marcel Baunach (ETFA, 2017)

meto¹ - A Versatile and Modular 32 bit Low-power Sensor Node Prototyping Platform for the IoT. - Norbert Sailer; Fabian Mauroner; Marcel Baunach (EWSN, 2017)

Real-time multiplexing of mixed-criticality data streams for Automotive Multi-Core Test Systems. - Markus Nager; Marcel Baunach; Peter Priller; Jürgen Wurzinger (ICVES, 2017)

Towards Dynamically Composed Real-time Embedded Systems. - Leandro Batista Ribeiro; Marcel Baunach (Echtzeit, 2017)

Einheit zur anwendungsbezogenen Leistungsmessung für die RISC-V-Architektur. - Tobias Scheipel; Fabian Mauroner; Marcel Baunach (Echtzeit, 2017)

A Model-Based Concept for RTOS Portability. - Renata Martins Gomes; Marcel Baunach (AICCSA, 2018)

Remote instruction call: An RPC approach on instructions for embedded multi-core systems. - Fabian Mauroner; Marcel Baunach (ICIT, 2018)

Task priority aware SoC-bus for embedded systems. - Fabian Mauroner; Marcel Baunach (ICIT, 2018)

mosartMCU: Multi-core operating-system-aware real-time microcontroller. - Fabian Mauroner; Marcel Baunach (MECO, 2018)

EventQueue: An Event based and Priority aware Interprocess Communication for Embedded Systems. - Fabian Mauroner; Marcel Baunach (SIES, 2018)

Smart mobility of the future - a challenge for embedded automotive systems. - Marcel Baunach; Renata Martins Gomes; Maja Malenko; Fabian Mauroner; Leandro Batista Ribeiro; Tobias Scheipel (Elektrotech. Informationstechnik, 2018)

Hardware/Software Co-designed Security Extensions for Embedded Devices. - Maja Malenko; Marcel Baunach (ARCS, 2019)

Code Generation from Formal Models for Automatic RTOS Portability. - Renata Martins Gomes; Marcel Baunach (CGO, 2019)

Device Driver and System Call Isolation in Embedded Devices. - Maja Malenko; Marcel Baunach (DSD, 2019)

Hardware/Software Co-designed Peripheral Protection in Embedded Devices. - Maja Malenko; Marcel Baunach (ICPS, 2019)

COFIE: a regex-like interaction and control flow description. - Leandro Batista Ribeiro; Marcel Baunach (ICPS, 2019)

Towards Automatic SW Integration in Dependable Embedded Systems. - Leandro Batista Ribeiro; Fabian Schlager; Marcel Baunach (EWSN, 2020)

FPGA-Based Debugging with Dynamic SignalSelection at Run-Time. - Gernot Fiala; Tobias Scheipel; Werner Neuwirth; Marcel Baunach (Software Engineering (Workshops), 2020)

A Formal Modeling Approach for Portable Low-Level OS Functionality. - Renata Martins Gomes; Bernhard K. Aichernig; Marcel Baunach (SEFM, 2020)

papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software. - Tobias Scheipel; Marcel Baunach (SENSORNETS, 2020)

Improving security and maintainability in modular embedded systems with hardware support: work-in-progress. - Maja Malenko; Leandro Batista Ribeiro; Marcel Baunach (CODES+ISSS, 2021)

A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime. - Tobias Scheipel; Peter Brungs; Marcel Baunach (DSD, 2021)

Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems. - Markus Nager; Marcel Baunach; Peter Priller; Georg Macher (IEEE Intell. Transp. Syst. Mag., 2021)

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 (DATE, 2022)

Verifying Liveness and Real-Time of OS-Based Embedded Software. - Leandro Batista Ribeiro; Drona Nagarajan; Vignesh Manjunath; Muhammad Tanveer Ali Ahmad; Marcel Baunach (DSD, 2022)

moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems. - Tobias Scheipel; Florian Angermair; Marcel Baunach (DSD, 2022)

A framework for OS portability: from formal models to low-level code. - Renata Martins Gomes; Marcel Baunach (SAC, 2022)

Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide. - Meinhard Kissich; Marcel Baunach (DSD, 2023)

ATTEST: Automated and Thorough Testing of Embedded Software in Teaching. - Meinhard Kissich; Klaus Weinbauer; Marcel Baunach (ECSEE, 2023)

A Modeling Concept for Formal Verification of OS-Based Compositional Software. - Leandro Batista Ribeiro; Florian Lorber; Ulrik Nyman; Kim Guldstrand Larsen; Marcel Baunach (FASE, 2023)

FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation. - Meinhard Kissich; Marcel Baunach (CF, 2024)

Stitching FPGA Fabrics with FABulous and OpenLane 2. - Leo Moser; Meinhard Kissich; Tobias Scheipel; Marcel Baunach (CF (Companion), 2024)

Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems. - Drona Nagarajan; Tobias Scheipel; Marcel Baunach (RTNS, 2024)

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 (SAC, 2024)

Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP. - Drona Nagarajan; Tobias Scheipel; Marcel Baunach (SAC, 2024)

A framework for static analysis and verification of low-level RTOS code. - Vignesh Manjunath; Marcel Baunach (J. Syst. Archit., 2024)

A framework for embedded software portability and verification: from formal models to low-level code. - Renata Martins Gomes; Bernhard K. Aichernig; Marcel Baunach (Softw. Syst. Model., 2024)

Correction: A framework for embedded software portability and verification: from formal models to low-level code. - Renata Martins Gomes; Bernhard K. Aichernig; Marcel Baunach (Softw. Syst. Model., 2024)

pnrXplore: A Visual Data Explorer for CAD and EDA Research. - Meinhard Kissich; Marcel Baunach (CF (Companion), 2025)

Improving Embedded Software Development Courses: A Student Attentive Data-Driven Approach. - Meinhard Kissich; Klaus Weinbauer; Marcel Baunach (ECSEE, 2025)

A Scalable Approach for Memory Optimization in AUTOSAR Schedule Tables. - Muhammad Tanveer Ali Ahmad; Jesús Pestana; Michael Krisper; Marcel Baunach (SAC, 2025)

Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness. - Vignesh Manjunath; Tobias Scheipel; Marcel Baunach (SAC, 2025)