Marcel Baunach

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 42

Top Venues

Julius Maximilian University of Würzburg (PHD)

Education History

Julius Maximilian University of Würzburg

PHD

Publications

Drona Nagarajan, Tobias Scheipel, Marcel Baunach
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP. SAC (2024)
Meinhard Kissich, Marcel Baunach
FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation. CF (2024)
Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. 23 (2) (2024)
Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
Correction: A framework for embedded software portability and verification: from formal models to low-level code. Softw. Syst. Model. 23 (2) (2024)
Muhammad Tanveer Ali Ahmad, Michael Krisper, Leandro Batista Ribeiro, Marcel Baunach
Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System. SAC (2024)
Leo Moser, Meinhard Kissich, Tobias Scheipel, Marcel Baunach
Stitching FPGA Fabrics with FABulous and OpenLane 2. CF (Companion) (2024)
Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach
A Modeling Concept for Formal Verification of OS-Based Compositional Software. FASE (2023)
Meinhard Kissich, Klaus Weinbauer, Marcel Baunach
ATTEST: Automated and Thorough Testing of Embedded Software in Teaching. ECSEE (2023)
Meinhard Kissich, Marcel Baunach
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide. DSD (2023)
Tobias Scheipel, Florian Angermair, Marcel Baunach
moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems. DSD (2022)
Hyunyoung Oh, Dongil Hwang, Maja Malenko, Myunghyun Cho, Hyungon Moon, Marcel Baunach, Yunheung Paek
XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System. DATE (2022)
Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach
Verifying Liveness and Real-Time of OS-Based Embedded Software. DSD (2022)
Renata Martins Gomes, Marcel Baunach
A framework for OS portability: from formal models to low-level code. SAC (2022)
Maja Malenko, Leandro Batista Ribeiro, Marcel Baunach
Improving security and maintainability in modular embedded systems with hardware support: work-in-progress. CODES+ISSS (2021)
Markus Nager, Marcel Baunach, Peter Priller, Georg Macher
Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems. IEEE Intell. Transp. Syst. Mag. 13 (1) (2021)
Tobias Scheipel, Peter Brungs, Marcel Baunach
A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime. DSD (2021)
Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach
A Formal Modeling Approach for Portable Low-Level OS Functionality. SEFM (2020)
Tobias Scheipel, Marcel Baunach
papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software. SENSORNETS (2020)
Gernot Fiala, Tobias Scheipel, Werner Neuwirth, Marcel Baunach
FPGA-Based Debugging with Dynamic SignalSelection at Run-Time. Software Engineering (Workshops) (2020)
Leandro Batista Ribeiro, Fabian Schlager, Marcel Baunach
Towards Automatic SW Integration in Dependable Embedded Systems. EWSN (2020)
Maja Malenko, Marcel Baunach
Device Driver and System Call Isolation in Embedded Devices. DSD (2019)
Leandro Batista Ribeiro, Marcel Baunach
COFIE: a regex-like interaction and control flow description. ICPS (2019)
Maja Malenko, Marcel Baunach
Hardware/Software Co-designed Security Extensions for Embedded Devices. ARCS (2019)
Renata Martins Gomes, Marcel Baunach
Code Generation from Formal Models for Automatic RTOS Portability. CGO (2019)
Maja Malenko, Marcel Baunach
Hardware/Software Co-designed Peripheral Protection in Embedded Devices. ICPS (2019)
Fabian Mauroner, Marcel Baunach
Task priority aware SoC-bus for embedded systems. ICIT (2018)
Fabian Mauroner, Marcel Baunach
Remote instruction call: An RPC approach on instructions for embedded multi-core systems. ICIT (2018)
Fabian Mauroner, Marcel Baunach
mosartMCU: Multi-core operating-system-aware real-time microcontroller. MECO (2018)
Marcel Baunach, Renata Martins Gomes, Maja Malenko, Fabian Mauroner, Leandro Batista Ribeiro, Tobias Scheipel
Smart mobility of the future - a challenge for embedded automotive systems. Elektrotech. Informationstechnik 135 (4-5) (2018)
Renata Martins Gomes, Marcel Baunach
A Model-Based Concept for RTOS Portability. AICCSA (2018)
Fabian Mauroner, Marcel Baunach
EventQueue: An Event based and Priority aware Interprocess Communication for Embedded Systems. SIES (2018)
Markus Nager, Marcel Baunach, Peter Priller, Jürgen Wurzinger
Real-time multiplexing of mixed-criticality data streams for Automotive Multi-Core Test Systems. ICVES (2017)
Leandro Batista Ribeiro, Marcel Baunach
Towards Dynamically Composed Real-time Embedded Systems. Echtzeit (2017)
Tobias Scheipel, Fabian Mauroner, Marcel Baunach
Einheit zur anwendungsbezogenen Leistungsmessung für die RISC-V-Architektur. Echtzeit (2017)
Tobias Scheipel, Fabian Mauroner, Marcel Baunach
System-Aware Performance Monitoring Unit for RISC-V Architectures. DSD (2017)
Fabian Mauroner, Marcel Baunach
StackMMU: Dynamic stack sharing for embedded systems. ETFA (2017)
Fabian Mauroner, Marcel Baunach
EventIRQ: An Event Based and Priority Aware IRQ Handling for Multi-tasking Environments. DSD (2017)
Norbert Sailer, Fabian Mauroner, Marcel Baunach
meto¹ - A Versatile and Modular 32 bit Low-power Sensor Node Prototyping Platform for the IoT. EWSN (2017)
Maja Malenko, Marcel Baunach
Real-time and Security Requirements for Internet-of-Things Operating Systems. Echtzeit (2016)
Carlo Alberto Boano, Kay Römer, Roderick Bloem, Klaus Witrisal, Marcel Baunach, Martin Horn
Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability. Elektrotech. Informationstechnik 133 (7) (2016)
Peter Brungs, Marcel Baunach
Einsatz von dynamisch rekonfigurierbaren FPGAs in Fahrzeugen. GI-Jahrestagung (2016)
Marcel Baunach, Leandro B. Ribeiro
14. Workshop Automotive Software Engineering. GI-Jahrestagung (2016)
Renata Martins Gomes, Fabian Mauroner, Marcel Baunach
Collaborative Resource Management for Multi-Core AUTOSAR OS. Echtzeit (2015)
Marcel Baunach
Handling Time and Reactivity for Synchronization and Clock Drift Calculation in Wireless Sensor/Actuator Networks. SENSORNETS (2014)
Marcel Baunach
Towards collaborative resource sharing under real-time conditions in multitasking and multicore environments. ETFA (2012)
Marcel Baunach
CoMem: collaborative memory management for real-time operation within reactive sensor/actor networks. Real Time Syst. 48 (1) (2012)
Marcel Baunach
Dynamic hinting: Collaborative real-time resource management for reactive embedded systems. J. Syst. Archit. 57 (9) (2011)
Armin Runge, Marcel Baunach, Reiner Kolla
Precise self-calibration of ultrasound based indoor localization systems. IPIN (2011)
Marcel Baunach
Collaborative memory management for reactive sensor/actor systems. LCN (2010)
Marcel Baunach
Dynamic Hinting: Real-Time Resource Management in Wireless Sensor/Actor Networks. RTCSA (2009)
Marcel Baunach
Speed, Reliability and Energy Efficiency of HashSlot Communication in WSN Based Localization Systems. EWSN (2008)
Marcel Baunach, Reiner Kolla, Clemens Muhlberger
Beyond Theory: Development of a Real World Localization Application as Low Power WSN. LCN (2007)
Marcel Baunach, Reiner Kolla, Clemens Muhlberger
A Method for Self-Organizing Communication in WSN Based Localization Systems: HashSlot. LCN (2007)

Marcel Baunach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcel Baunach