Leandro Batista Ribeiro

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Embedded Systems

Operating System

Top Venues

Publications

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)
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)
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)
Maja Malenko, Leandro Batista Ribeiro, Marcel Baunach
Improving security and maintainability in modular embedded systems with hardware support: work-in-progress. CODES+ISSS (2021)
Leo Botler, Leandro Batista Ribeiro, Konrad Diwold, Kay Römer
On the Potential of Distance Bounding based on UWB Received Signal Strength. PECCS (2020)
Leandro Batista Ribeiro, Fabian Schlager, Marcel Baunach
Towards Automatic SW Integration in Dependable Embedded Systems. EWSN (2020)
Leandro Batista Ribeiro, Marcel Baunach
COFIE: a regex-like interaction and control flow description. ICPS (2019)
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) (2018)
Leandro Batista Ribeiro, Marcel Baunach
Towards Dynamically Composed Real-time Embedded Systems. Echtzeit (2017)