default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcel Baunach
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j7]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): 289-315 (2024)- [j6]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): 317 (2024) - [c46]Meinhard Kissich, Marcel Baunach:
FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation. CF 2024 - [c45]Leo Moser, Meinhard Kissich, Tobias Scheipel, Marcel Baunach:
Stitching FPGA Fabrics with FABulous and OpenLane 2. CF (Companion) 2024 - [c44]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: 400-409 - [c43]Drona Nagarajan, Tobias Scheipel, Marcel Baunach:
Fair and Starvation-Free Spinlock for Real-Time AUTOSAR systems: M-HLP. SAC 2024: 436-445 - 2023
- [c42]Meinhard Kissich, Marcel Baunach:
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide. DSD 2023: 734-741 - [c41]Meinhard Kissich, Klaus Weinbauer, Marcel Baunach:
ATTEST: Automated and Thorough Testing of Embedded Software in Teaching. ECSEE 2023: 199-203 - [c40]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: 26-46 - 2022
- [c39]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: 560-563 - [c38]Tobias Scheipel, Florian Angermair, Marcel Baunach:
moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems. DSD 2022: 24-31 - [c37]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: 679-688 - [c36]Renata Martins Gomes, Marcel Baunach:
A framework for OS portability: from formal models to low-level code. SAC 2022: 1156-1165 - 2021
- [j5]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): 120-135 (2021) - [c35]Maja Malenko, Leandro Batista Ribeiro, Marcel Baunach:
Improving security and maintainability in modular embedded systems with hardware support: work-in-progress. CODES+ISSS 2021: 35-36 - [c34]Tobias Scheipel, Peter Brungs, Marcel Baunach:
A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime. DSD 2021: 199-207 - 2020
- [c33]Leandro Batista Ribeiro, Fabian Schlager, Marcel Baunach:
Towards Automatic SW Integration in Dependable Embedded Systems. EWSN 2020: 85-96 - [c32]Gernot Fiala, Tobias Scheipel, Werner Neuwirth, Marcel Baunach:
FPGA-Based Debugging with Dynamic SignalSelection at Run-Time. Software Engineering (Workshops) 2020 - [c31]Renata Martins Gomes, Bernhard K. Aichernig, Marcel Baunach:
A Formal Modeling Approach for Portable Low-Level OS Functionality. SEFM 2020: 155-174 - [c30]Tobias Scheipel, Marcel Baunach:
papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software. SENSORNETS 2020: 136-141
2010 – 2019
- 2019
- [c29]Maja Malenko, Marcel Baunach:
Hardware/Software Co-designed Security Extensions for Embedded Devices. ARCS 2019: 3-14 - [c28]Renata Martins Gomes, Marcel Baunach:
Code Generation from Formal Models for Automatic RTOS Portability. CGO 2019: 271-272 - [c27]Maja Malenko, Marcel Baunach:
Device Driver and System Call Isolation in Embedded Devices. DSD 2019: 283-290 - [c26]Leandro Batista Ribeiro, Marcel Baunach:
COFIE: a regex-like interaction and control flow description. ICPS 2019: 67-72 - [c25]Maja Malenko, Marcel Baunach:
Hardware/Software Co-designed Peripheral Protection in Embedded Devices. ICPS 2019: 790-795 - 2018
- [j4]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): 304-308 (2018) - [c24]Renata Martins Gomes, Marcel Baunach:
A Model-Based Concept for RTOS Portability. AICCSA 2018: 1-6 - [c23]Fabian Mauroner, Marcel Baunach:
Remote instruction call: An RPC approach on instructions for embedded multi-core systems. ICIT 2018: 1442-1446 - [c22]Fabian Mauroner, Marcel Baunach:
Task priority aware SoC-bus for embedded systems. ICIT 2018: 1453-1458 - [c21]Fabian Mauroner, Marcel Baunach:
mosartMCU: Multi-core operating-system-aware real-time microcontroller. MECO 2018: 1-4 - [c20]Fabian Mauroner, Marcel Baunach:
EventQueue: An Event based and Priority aware Interprocess Communication for Embedded Systems. SIES 2018: 1-7 - 2017
- [c19]Tobias Scheipel, Fabian Mauroner, Marcel Baunach:
System-Aware Performance Monitoring Unit for RISC-V Architectures. DSD 2017: 86-93 - [c18]Fabian Mauroner, Marcel Baunach:
EventIRQ: An Event Based and Priority Aware IRQ Handling for Multi-tasking Environments. DSD 2017: 102-110 - [c17]Fabian Mauroner, Marcel Baunach:
StackMMU: Dynamic stack sharing for embedded systems. ETFA 2017: 1-9 - [c16]Norbert Sailer, Fabian Mauroner, Marcel Baunach:
meto¹ - A Versatile and Modular 32 bit Low-power Sensor Node Prototyping Platform for the IoT. EWSN 2017: 290-293 - [c15]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: 220-227 - [c14]Leandro Batista Ribeiro, Marcel Baunach:
Towards Dynamically Composed Real-time Embedded Systems. Echtzeit 2017: 11-20 - [c13]Tobias Scheipel, Fabian Mauroner, Marcel Baunach:
Einheit zur anwendungsbezogenen Leistungsmessung für die RISC-V-Architektur. Echtzeit 2017: 69-78 - 2016
- [j3]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): 304-309 (2016) - [c12]Marcel Baunach, Leandro B. Ribeiro:
14. Workshop Automotive Software Engineering. GI-Jahrestagung 2016: 1491-1493 - [c11]Peter Brungs, Marcel Baunach:
Einsatz von dynamisch rekonfigurierbaren FPGAs in Fahrzeugen. GI-Jahrestagung 2016: 1565-1577 - [c10]Maja Malenko, Marcel Baunach:
Real-time and Security Requirements for Internet-of-Things Operating Systems. Echtzeit 2016: 33-42 - 2015
- [c9]Renata Martins Gomes, Fabian Mauroner, Marcel Baunach:
Collaborative Resource Management for Multi-Core AUTOSAR OS. Echtzeit 2015: 99-108 - 2014
- [c8]Marcel Baunach:
Handling Time and Reactivity for Synchronization and Clock Drift Calculation in Wireless Sensor/Actuator Networks. SENSORNETS 2014: 63-72 - 2012
- [b1]Marcel Baunach:
Advances in distributed real-time sensor-actuator systems operation: operating systems, communication, and application design concepts. Julius Maximilian University of Würzburg, 2012, pp. 1-372 - [j2]Marcel Baunach:
CoMem: collaborative memory management for real-time operation within reactive sensor/actor networks. Real Time Syst. 48(1): 75-100 (2012) - [c7]Marcel Baunach:
Towards collaborative resource sharing under real-time conditions in multitasking and multicore environments. ETFA 2012: 1-9 - 2011
- [j1]Marcel Baunach:
Dynamic hinting: Collaborative real-time resource management for reactive embedded systems. J. Syst. Archit. 57(9): 799-814 (2011) - [c6]Armin Runge, Marcel Baunach, Reiner Kolla:
Precise self-calibration of ultrasound based indoor localization systems. IPIN 2011: 1-8 - 2010
- [c5]Marcel Baunach:
Collaborative memory management for reactive sensor/actor systems. LCN 2010: 953-960
2000 – 2009
- 2009
- [c4]Marcel Baunach:
Dynamic Hinting: Real-Time Resource Management in Wireless Sensor/Actor Networks. RTCSA 2009: 31-40 - 2008
- [c3]Marcel Baunach:
Speed, Reliability and Energy Efficiency of HashSlot Communication in WSN Based Localization Systems. EWSN 2008: 74-89 - 2007
- [c2]Marcel Baunach, Reiner Kolla, Clemens Muhlberger:
A Method for Self-Organizing Communication in WSN Based Localization Systems: HashSlot. LCN 2007: 825-832 - [c1]Marcel Baunach, Reiner Kolla, Clemens Muhlberger:
Beyond Theory: Development of a Real World Localization Application as Low Power WSN. LCN 2007: 872-884
Coauthor Index
aka: Leandro B. Ribeiro
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
