Marcel Baunach
Orcid: 0000-0002-3716-2682
According to our database1,
Marcel Baunach
authored at least 56 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
8
9
3
1
1
1
1
1
5
3
4
2
4
5
5
7
3
1
1
1
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Correction: A framework for embedded software portability and verification: from formal models to low-level code.
Softw. Syst. Model., April, 2024
A framework for embedded software portability and verification: from formal models to low-level code.
Softw. Syst. Model., April, 2024
J. Syst. Archit., 2024
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024
Proceedings of the 32nd International Conference on Real-Time Networks and Systems, 2024
Proceedings of the 21st ACM International Conference on Computing Frontiers, 2024
FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation.
Proceedings of the 21st ACM International Conference on Computing Frontiers, 2024
2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
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
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022
Proceedings of the 25th Euromicro Conference on Digital System Design, 2022
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
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020
Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020
2019
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019
Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2019
Proceedings of the Architecture of Computing Systems - ARCS 2019, 2019
2018
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
Proceedings of the 7th Mediterranean Conference on Embedded Computing, 2018
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
Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018
2017
Proceedings of the Logistik und Echtzeit, 2017
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
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017
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
Proceedings of the Internet der Dinge, 2016
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
2015
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
Proceedings of the 2011 International Conference on Indoor Positioning and Indoor Navigation, 2011
2010
Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010
2009
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