Marcel Baunach

64 papers A 2B 9C 13Misc 7Journal 10Unranked 22

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