Marcel Baunach

Orcid: 0000-0002-3716-2682

According to our database1, Marcel Baunach authored at least 48 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Modeling Concept for Formal Verification of OS-Based Compositional Software.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

ATTEST: Automated and Thorough Testing of Embedded Software in Teaching.
Proceedings of the 5th European Conference on Software Engineering Education, 2023

Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide.
Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

2022
A framework for OS portability: from formal models to low-level code.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

Verifying Liveness and Real-Time of OS-Based Embedded Software.
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021
Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems.
IEEE Intell. Transp. Syst. Mag., 2021

A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime.
Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

Improving security and maintainability in modular embedded systems with hardware support: work-in-progress.
Proceedings of the CODES/ISSS 2021, 2021

2020
papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software.
Proceedings of the 9th International Conference on Sensor Networks, 2020

A Formal Modeling Approach for Portable Low-Level OS Functionality.
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

FPGA-Based Debugging with Dynamic SignalSelection at Run-Time.
Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020

Towards Automatic SW Integration in Dependable Embedded Systems.
Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020

2019
COFIE: a regex-like interaction and control flow description.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

Hardware/Software Co-designed Peripheral Protection in Embedded Devices.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

Device Driver and System Call Isolation in Embedded Devices.
Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

Code Generation from Formal Models for Automatic RTOS Portability.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019

Hardware/Software Co-designed Security Extensions for Embedded Devices.
Proceedings of the Architecture of Computing Systems - ARCS 2019, 2019

2018
Smart mobility of the future - a challenge for embedded automotive systems.
Elektrotech. Informationstechnik, 2018

EventQueue: An Event based and Priority aware Interprocess Communication for Embedded Systems.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

mosartMCU: Multi-core operating-system-aware real-time microcontroller.
Proceedings of the 7th Mediterranean Conference on Embedded Computing, 2018

Task priority aware SoC-bus for embedded systems.
Proceedings of the IEEE International Conference on Industrial Technology, 2018

Remote instruction call: An RPC approach on instructions for embedded multi-core systems.
Proceedings of the IEEE International Conference on Industrial Technology, 2018

A Model-Based Concept for RTOS Portability.
Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018

2017
Einheit zur anwendungsbezogenen Leistungsmessung für die RISC-V-Architektur.
Proceedings of the Logistik und Echtzeit, 2017

Towards Dynamically Composed Real-time Embedded Systems.
Proceedings of the Logistik und Echtzeit, 2017

Real-time multiplexing of mixed-criticality data streams for Automotive Multi-Core Test Systems.
Proceedings of the 2017 IEEE International Conference on Vehicular Electronics and Safety, 2017

meto¹ - A Versatile and Modular 32 bit Low-power Sensor Node Prototyping Platform for the IoT.
Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, 2017

StackMMU: Dynamic stack sharing for embedded systems.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

System-Aware Performance Monitoring Unit for RISC-V Architectures.
Proceedings of the Euromicro Conference on Digital System Design, 2017

EventIRQ: An Event Based and Priority Aware IRQ Handling for Multi-tasking Environments.
Proceedings of the Euromicro Conference on Digital System Design, 2017

2016
Dependability for the Internet of Things - from dependable networking in harsh environments to a holistic view on dependability.
Elektrotech. Informationstechnik, 2016

Real-time and Security Requirements for Internet-of-Things Operating Systems.
Proceedings of the Internet der Dinge, 2016

Einsatz von dynamisch rekonfigurierbaren FPGAs in Fahrzeugen.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

14. Workshop Automotive Software Engineering.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

2015
Collaborative Resource Management for Multi-Core AUTOSAR OS.
Proceedings of the Betriebssysteme und Echtzeit, 2015

2014
Handling Time and Reactivity for Synchronization and Clock Drift Calculation in Wireless Sensor/Actuator Networks.
Proceedings of the SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7, 2014

2012
Advances in distributed real-time sensor-actuator systems operation: operating systems, communication, and application design concepts.
PhD thesis, 2012

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

Towards collaborative resource sharing under real-time conditions in multitasking and multicore environments.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

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

Precise self-calibration of ultrasound based indoor localization systems.
Proceedings of the 2011 International Conference on Indoor Positioning and Indoor Navigation, 2011

2010
Collaborative memory management for reactive sensor/actor systems.
Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

2009
Dynamic Hinting: Real-Time Resource Management in Wireless Sensor/Actor Networks.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009

2008
Speed, Reliability and Energy Efficiency of HashSlot Communication in WSN Based Localization Systems.
Proceedings of the Wireless Sensor Networks, 5th European Conference, 2008

2007
Beyond Theory: Development of a Real World Localization Application as Low Power WSN.
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007

A Method for Self-Organizing Communication in WSN Based Localization Systems: HashSlot.
Proceedings of the 32nd Annual IEEE Conference on Local Computer Networks (LCN 2007), 2007


  Loading...