Marcel Carsten Baunach

Publikationen

Publikationen pro Jahr 2004 2016 2017 2018 2019 2021 2022 2023 2024 2025

• 61 Beitrag in einem Konferenzband
• 11 Paper
• 10 Poster
• 9 Sonstiger Bericht
• 21 Mehr
  • 9 Artikel
  • 4 (Altdaten) Vortrag oder Präsentation
  • 2 Sonstiger Beitrag in Buch/Bericht/Konferenzband
  • 1 Buch (Herausgeberwerk)
  • 1 Beitrag in Buch/Bericht
  • 1 Vorwort/Nachwort
  • 1 Abstract
  • 1 Diplomarbeit
  • 1 Dissertation

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2025

  Formal Specifications of Real-Time AUTOSAR-Compliant Operating Systems

  Nagarajan, D., Scheipel, T. & Baunach, M. C., 4 Jan. 2025. 11 S.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

  Open Access

  • Operating System 100%
  • Formal Specification 100%
  • System Architecture 100%
  • Software Specification 60%
  • Functional Requirement 60%
• 2024

  A framework for embedded software portability and verification: From formal models to low-level code

  Martins Gomes, R., Aichernig, B. & Baunach, M. C., Apr. 2024, in: Software and Systems Modeling. 23, 2, S. 289-315 27 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  Datei

  • Software Portability 100%
  • Factorial Function 20%

• A framework for static analysis and verification of low-level RTOS code

  Manjunath, V. & Baunach, M., Sept. 2024, in: Journal of Systems Architecture. 154, 103220.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Worst-Case Execution Time Analysis 100%
  • Data Hazard 49%
  • Operating System Software 49%
  • Term Maintenance 49%

• A Scalable Approach for Memory Optimization in The AUTOSAR Schedule Table

  Ali Ahmad, M. T., Pestana, J., Krisper, M. & Baunach, M. C., 31 März 2025.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System

  Ali Ahmad, M. T., Ribeiro, L. B., Krisper, M. & Baunach, M., 8 Apr. 2024, SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing. New York, NY: Association of Computing Machinery, S. 400-409 10 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Single Instance 100%
  • Activation Task 100%

• Correction to: A framework for embedded software portability and verification: from formal models to low-level code (Software and Systems Modeling, (2024), 23, 2, (289-315), 10.1007/s10270-023-01144-y)

  Gomes, R. M., Aichernig, B. & Baunach, M., Apr. 2024, in: Software and Systems Modeling. 23, 2, S. 317 1 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Software Verification 100%
  • Embedded Software 100%
  • Software Portability 100%

• Fair and Starvation-Free Spinlock for Real-Time AUTOSAR Systems: M-HLP

  Nagarajan, D., Scheipel, T. & Baunach, M. C., 8 Apr. 2024, Proceedings of the 39th ACM/SIGAPP Symposium On Applied Computing. Association of Computing Machinery, S. 436-445 10 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Multicore 100%
  • Real-Time Operating System 100%
  • Model System 33%

• FazyRV: Closing the Gap between 32-Bit and Bit-Serial RISC-V Cores with a Scalable Implementation

  Kissich, M. & Baunach, M. C., 2 Juli 2024, Proceedings of the 21st ACM International Conference on Computing Frontiers, CF 2024. Association of Computing Machinery, S. 240-248 9 S. (Proceedings of the 21st ACM International Conference on Computing Frontiers, CF 2024).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Register-Transfer Level 100%
  • Internal Data 100%

• FazyRV – A Scalable RISC-V Core

  Kissich, M. & Baunach, M. C., 5 Aug. 2024.

  Publikation: Konferenzbeitrag › Poster

  • Target Technology 100%

• Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness

  Manjunath, V., Scheipel, T. & Baunach, M. C., 31 März 2025.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• opoSoM: A Modular Measurement Platform for Dynamic Power Consumption of SoCs

  Kanics, K., Kissich, M., Wirrer, G., Scheipel, T. & Baunach, M. C., 20 Aug. 2024. 4 S.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

  Open Access

  • Computer Hardware 100%
  • Dynamic Power Consumption 100%
  • side-channel 33%
  • Measurement Data 33%
  • Integrated Circuit 33%

• Stitching FPGA Fabrics with FABulous and OpenLane 2

  Moser, L., Kissich, M., Scheipel, T. & Baunach, M. C., 1 Juli 2024, Proceedings of the 21st ACM International Conference on Computing Frontiers 2024 Workshops and Special Sessions, CF 2024 Companion. Association of Computing Machinery, S. 71-74 4 S. (Proceedings of the 21st ACM International Conference on Computing Frontiers 2024 Workshops and Special Sessions, CF 2024 Companion).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Field Programmable Gate Array 100%
  • Density 100%
  • Open Source 40%
  • Physical Implementation 40%
  • Reliability Availability and Maintainability (Reliability Engineering) 40%
• 2023

  20th Workshop on Automotive Software Engineering (ASE'23)

  Kugele, S., Grunske, L., Allmann, C., Baunach, M., Becker, K., Belzner, L., Conrad, M., Dörr, H., Hartig, K., Helke, S., Herber, P., Kropf, T., Müller, W., Noack, T., Reißing, R., Sax, E., Schneider, J., Tavakoli, R., Vogel, T. & Vogelsang, A. &2 mehr, Kugele, S. & Grunske, L., 2023, Software Engineering 2023 - Fachtagung des GI-Fachbereichs Softwaretechnik. Engels, G., Hebig, R. & Tichy, M. (Hrsg.). Gesellschaft fur Informatik (GI), S. 137-138 2 S. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-332).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort

  Open Access

  • Software Development 100%
  • Software Engineering 100%

• A Modeling Concept for Formal Verification of OS-Based Compositional Software

  Batista Ribeiro, L., Lorber, F., Nyman, U., Guldstrand Larsen, K. & Baunach, M. C., Apr. 2023, Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings: International Conference on Fundamental Approaches to Software Engineering. Lambers, L., Uchitel, S. & Uchitel, S. (Hrsg.). Cham: Springer, S. 26-46 21 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13991 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Liveness 100%
  • Embedded System 100%
  • Formal Verification 100%
  • Defined Interface 100%
  • Non-Functional Requirement 100%

• ATTEST: Automated and Thorough Testing of Embedded Software in Teaching

  Kissich, M., Weinbauer, K. & Baunach, M. C., 19 Juni 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. S. 199-203 5 S. (ACM International Conference Proceeding Series).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  Datei

  • programming course 100%

• ATTEST: Automated and Thorough Testing of Embedded Software in Teaching

  Kissich, M., Weinbauer, K. & Baunach, M. C., 19 Juni 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. Association of Computing Machinery, S. 199-203 5 S. (ACM International Conference Proceeding Series).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Embedded Software 100%
  • Computer Hardware 33%
  • Learning Experiences 33%
  • Embedded System 33%
  • Test Automation 33%

• Budget-Based Explainable Schedulability Analysis for Automotive Applications

  Ali Ahmad, M. T., Pestana, J., Batista Ribeiro, L. & Baunach, M. C., Dez. 2023, IEEE Real-Time Systems Symposium: 2nd International Workshop on Explainability of Real-Time Systems and their Analysis.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

• Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide

  Kissich, M. & Baunach, M. C., Sept. 2023, Proceedings of the 26th Euromicro Conference on Digital System Design (DSD).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide

  Kissich, M. & Baunach, M. C., Sept. 2023.

  Publikation: Konferenzbeitrag › Poster › Begutachtung

• One Solution to Rule Them All: ATTEST as Unified Testing Solution for Programming Courses

  Kissich, M., Kanics, K., Weinbauer, K., Scheipel, T. & Baunach, M. C., 28 Sept. 2023, Proceedings in Tagungsband des FG-BS Herbsttreffens 2023.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

• Software Optimization For Reducing Power-Peaks In Multi-Core Embedded Systems

  Kanics, K. & Baunach, M. C., 13 Apr. 2023, (Unveröffentlicht).

  Publikation: Konferenzbeitrag › Poster

• System-on-Chip Design From Requirements to ASIC: Open-Source, Optimized, and Human-out-of-the-Loop

  Kissich, M. & Baunach, M. C., 13 Apr. 2023, (Unveröffentlicht).

  Publikation: Konferenzbeitrag › Poster
• 2022

  A framework for OS portability: from formal models to low-level code

  Martins Gomes, R. & Baunach, M. C., 25 Apr. 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association of Computing Machinery, S. 1156-1165 10 S. (Proceedings of the ACM Symposium on Applied Computing).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Code Generation 100%
  • Presented Framework 100%
  • Hardware Component 100%
  • Maintainability 100%
  • Operating System Kernel 100%

• Eingangsstatement von Marcel Baunach (Transkript)

  Baunach, M. C., 2022, Die ethischen Herausforderungen des automatisierten Fahrens: Dokumentation einer Diskursveranstaltung. Getzinger, G., Lex, C. & Pilinger, A. (Hrsg.). Graz: Verlag der Technischen Universität Graz, S. 47-51 (Science, Technology and Society (STS)).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Sonstiger Beitrag in Buch/Bericht/Konferenzband

• Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation

  Manjunath, V., Diwold, K. & Baunach, M. C., 17 März 2022.

  Publikation: Konferenzbeitrag › Abstract › Begutachtung

• moreMCU: A Runtime-reconfigurable RISC-V Platform for Sustainable Embedded Systems

  Scheipel, T., Angermair, F. & Baunach, M. C., 31 Aug. 2022, 25th Euromicro Conference on Digital System Design (DSD). Maspalomas, Spain: EUROMICRO, S. 24-31 8 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Microcontroller 100%
  • Reconfiguration 75%
  • Cutting Edge 25%
  • Hardware Component 25%
  • Proof-of-Concept 25%

• Protection and Relocation Extension for RISC-V

  Malenko, M., Batista Ribeiro, L. & Baunach, M. C., 19 Juni 2022, Sixth Workshop on Computer Architecture Research with RISC-V : CARRV 2022. 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Loose Coupling 100%
  • Hardware Layer 50%
  • Middleware Layer 50%

• SmartOS: An OS Architecture for Sustainable Embedded Systems

  Scheipel, T. P., Batista Ribeiro, L., Sagaster, T. & Baunach, M. C., 17 März 2022, 2022 - Fruehjahrstreffen FG BS. Gesellschaft für Informatik , 10 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Computer Hardware 100%
  • Embedded System 100%
  • Operating System 66%
  • Participatory Design 33%
  • System Architecture 33%

• Verifying Liveness and Real-Time of OS-Based Embedded Software

  Batista Ribeiro, L., Nagarajan, D., Manjunath, V., Ali Ahmad, M. T. & Baunach, M. C., Sept. 2022, 2022 25th Euromicro Conference on Digital System Design (DSD). Fabelo, H., Ortega, S. & Skavhaug, A. (Hrsg.). IEEE, S. 679-688 10 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Liveness 100%
  • Embedded Software 100%
  • Operating System 50%
  • Software System 50%
  • Application Area 50%

• XTENSTORE: Fast Shielded In-memory Key-Value Store on a Hybrid x86-FPGA System

  Oh, H., Hwang, D., Malenko, M., Cho, M., Moon, H., Baunach, M. C. & Paek, Y., 2022, Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022. Bolchini, C., Verbauwhede, I. & Vatajelu, I. (Hrsg.). S. 560-563 4 S. (Proceedings of the 2022 Design, Automation and Test in Europe Conference and Exhibition, DATE 2022).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Field Programmable Gate Array 100%
  • Lower Performance 33%
  • Hardware Accelerator 33%
  • Performance Degradation 33%
• 2021

  A Conversion Concept for a Legacy Software Model towards AUTOSAR Compliance

  Sivashanmugam, V., Scheipel, T. P., Baunach, M. C. & Adabala, B., 8 Aug. 2021, 1st International Conference on Computing and Applied Engineering. IJCRT - International Journal of Creative Research Thoughts, Band 9. 5 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

• A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at Runtime

  Titel in Übersetzung: A Hardware/Software Concept for Partial Logic Updates of Embedded Soft Processors at RuntimeScheipel, T. P., Brungs, P. & Baunach, M. C., 1 Sept. 2021, 24th Euromicro Conference on Digital System Design (DSD). Palermo, Italy: EUROMICRO, S. 199 9 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Computer Hardware 100%
  • Computer Architecture 100%
  • Operating System 50%
  • Embedded System 25%
  • Extensibility 25%

• A Study on the Portability of IoT Operating Systems

  Martins Gomes, R. & Baunach, M. C., 11 März 2021, 2021 - Fruehjahrstreffen FG BS.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Operating System 100%
  • Internet-Of-Things 100%
  • Hardware Architecture 33%
  • Computer Hardware 16%
  • Development Process 16%

• papagenoReQ: Generation of Embedded Systems from Application Code Requirements

  Scheipel, T. P. & Baunach, M. C., 12 Juni 2021, 2021 International Conference on Electrical, Communication and Computer Engineering (ICECCE) . IEEE Xplore

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Embedded System 100%
  • Application Code 100%
  • Hardware Platform 100%
  • Development Process 66%
  • System Development 66%

• Phenomenological Modelling of Camera Performance for Road Marking Detection

  Li, H., Kanuric, T., Arefnezhad, S., Magosi, Z. F., Wellershaus, C., Babic, D., Babic, D., Tihanyi, V., Eichberger, A. & Baunach, M. C., 28 Dez. 2021, in: Energies. 15, 1, 17 S., 194.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Road 100%
  • Optical Property 100%
  • Multilayer 100%
  • lane detection 100%
  • Model Input 50%

• Work-in-Progress: Improving Security and Maintainability in Modular Embedded Systems with Hardware Support

  Malenko, M., Batista Ribeiro, L. & Baunach, M. C., Juli 2021, CODES/ISSS '21: Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis . S. 35-36

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Hardware Support 100%
  • Embedded System 100%
  • Maintainability 100%
  • Computer Hardware 33%
  • Embedded Device 33%
• 2020

  A Formal Modeling Approach for Portable Low-Level OS Functionality

  Martins Gomes, R., Aichernig, B. & Baunach, M. C., 2020, Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Proceedings: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (Hrsg.). Springer International, S. 155-174 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12310 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • formal modeling 100%

• FPGA-Based Debugging with Dynamic Signal Selection at Run-Time

  Fiala, G., Scheipel, T. P., Neuwirth, W. & Baunach, M. C., 1 Jan. 2020, 17th Workshop on Automotive Software Engineering (ASE 2020). 7 S. (CEUR Workshop Proceedings; Band 2581).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • debugger 100%
  • Internal Signal 25%
  • Bitstream 25%
  • Automotive Control System 25%
  • Samplerate 25%

• papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software

  Scheipel, T. P. & Baunach, M. C., 28 Feb. 2020, SENSORNETS 2020 - Proceedings of the 9th International Conference on Sensor Networks. Ansari, N., Ahrens, A. & Benavente-Peces, C. (Hrsg.). INSTICC – Institute for Systems and Technologies of Information, Control and Communication, Band 1. S. 136-141 6 S. (SENSORNETS 2020 - Proceedings of the 9th International Conference on Sensor Networks).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Reconfigurable Logic 100%

• papagenoX: Generation of Electronics and Logic for Embedded Systems from Application Software

  Scheipel, T. P. & Baunach, M. C., 28 Feb. 2020.

  Publikation: Konferenzbeitrag › Poster › Begutachtung

  • Embedded System 100%
  • Application Software 100%
  • Computer Hardware 40%
  • Reconfigurable Logic 40%
  • System Development 20%

• Towards Automatic SW Integration in Dependable Embedded Systems

  Batista Ribeiro, L., Baunach, M. C. & Schlager, F., Feb. 2020, International Conference on Embedded Wireless Systems and Networks (EWSN).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
• 2019

  Code Generation from Formal Models for Automatic RTOS Portability

  Martins Gomes, R. & Baunach, M. C., 4 Jan. 2019, CGO 2019: Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization. IEEE Press, S. 271-272

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Context Switching 100%
  • Automatic Code Generation 100%
  • Common Mistake 100%

• COFIE: a regex-like interaction and control flow description

  Batista Ribeiro, L. & Baunach, M. C., Aug. 2019, 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS). IEEE, S. 67-72

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Interaction Behavior 100%

• Dependable Internet of Things

  Römer, K. U., Witrisal, K., Baunach, M. C., Bloem, R. & Horn, M., 26 Feb. 2019, Proceedings of the International Conference on Sensor Networks (SENSORNETS) 2019.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Device Driver and System Call Isolation in Embedded Devices

  Malenko, M. & Baunach, M., 1 Aug. 2019, Proceedings - Euromicro Conference on Digital System Design, DSD 2019. Konofaos, N. & Kitsos, P. (Hrsg.). IEEE, S. 283-290 8 S. 8875063. (Proceedings - Euromicro Conference on Digital System Design, DSD 2019).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • System Call 100%
  • Network Connectivity 33%
  • Interrupt Service Routine 33%

• Hardware/Software Co-designed Peripheral Protection in Embedded Devices

  Malenko, M. & Baunach, M. C., 2019, 2019 IEEE International Conference on Industrial Cyber Physical Systems (ICPS). IEEE, S. 790-795

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Cybercriminals 100%

• Hardware/software co-designed security extensions for embedded devices

  Malenko, M. & Baunach, M., 1 Jan. 2019, Architecture of Computing Systems - ARCS 2019 - 32nd International Conference, Proceedings. Pionteck, T., Brehm, J., Uhrig, S., Hochberger, C. & Schoeberl, M. (Hrsg.). Springer-Verlag Italia, S. 3-14 12 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11479 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Memory Protection 100%

• papagenoPCB: An Automated Printed Circuit Board Generation Approach for Embedded Systems Prototyping

  Scheipel, T. P. & Baunach, M. C., 24 März 2019, ICONS 2019 - The Fourteenth International Conference on Systems. S. 20-25 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

  • Printed Circuit Board 100%
  • Schematic Diagram 50%
  • Circuit Diagram 50%
  • Intermediate System 25%
  • System Description Language 25%
• 2018

  A Model-Based Concept for RTOS Portability

  Martins Gomes, R. & Baunach, M. C., 2018, 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications . 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Multitasking 100%
  • Access Permission 100%

• CoStack: Collaborative Stack Sharing for Embedded Real-Time Systems

  Mauroner, F. & Baunach, M. C., 23 Apr. 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung