14. Workshop Automotive Software Engineering. - Marcel Baunach; Leandro B. Ribeiro (GI-Jahrestagung, 2016)

Towards Dynamically Composed Real-time Embedded Systems. - Leandro Batista Ribeiro; Marcel Baunach (Echtzeit, 2017)

Smart mobility of the future - a challenge for embedded automotive systems. - Marcel Baunach; Renata Martins Gomes; Maja Malenko; Fabian Mauroner; Leandro Batista Ribeiro; Tobias Scheipel (Elektrotech. Informationstechnik, 2018)

COFIE: a regex-like interaction and control flow description. - Leandro Batista Ribeiro; Marcel Baunach (ICPS, 2019)

Towards Automatic SW Integration in Dependable Embedded Systems. - Leandro Batista Ribeiro; Fabian Schlager; Marcel Baunach (EWSN, 2020)

On the Potential of Distance Bounding based on UWB Received Signal Strength. - Leo Botler; Leandro Batista Ribeiro; Konrad Diwold; Kay Römer (PECCS, 2020)

Improving security and maintainability in modular embedded systems with hardware support: work-in-progress. - Maja Malenko; Leandro Batista Ribeiro; Marcel Baunach (CODES+ISSS, 2021)

Verifying Liveness and Real-Time of OS-Based Embedded Software. - Leandro Batista Ribeiro; Drona Nagarajan; Vignesh Manjunath; Muhammad Tanveer Ali Ahmad; Marcel Baunach (DSD, 2022)

A Modeling Concept for Formal Verification of OS-Based Compositional Software. - Leandro Batista Ribeiro; Florian Lorber; Ulrik Nyman; Kim Guldstrand Larsen; Marcel Baunach (FASE, 2023)

Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System. - Muhammad Tanveer Ali Ahmad; Michael Krisper; Leandro Batista Ribeiro; Marcel Baunach (SAC, 2024)