CompEAS-BSW1 - Kompositorische eingebettete Fahrzeugsysteme - Basissoftware

Projekt: Forschungsprojekt

  • 5 Beitrag in einem Konferenzband
  • 1 Sonstiger Beitrag in Buch/Bericht/Konferenzband
  • 1 Abstract
Filter
Beitrag in einem Konferenzband

Suchergebnisse

  • 2023

    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

  • 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
  • 2022

    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

  • 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

  • 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.). Institute of Electrical and Electronics Engineers, S. 679-688 10 S.

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