Leandro Batista Ribeiro

According to our database, Leandro Batista Ribeiro authored at least 9 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

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

Leandro Batista Ribeiro, Drona Nagarajan, Vignesh Manjunath, Muhammad Tanveer Ali Ahmad, Marcel Baunach

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

Improving security and maintainability in modular embedded systems with hardware support: work-in-progress.

Maja Malenko, Leandro Batista Ribeiro, Marcel Baunach

Proceedings of the CODES/ISSS 2021, 2021

2020

On the Potential of Distance Bounding based on UWB Received Signal Strength.

Leo Botler, Leandro Batista Ribeiro, Konrad Diwold, Kay Römer

Proceedings of the 10th International Conference on Pervasive and Parallel Computing, 2020

Towards Automatic SW Integration in Dependable Embedded Systems.

Leandro Batista Ribeiro, Fabian Schlager, Marcel Baunach

Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020

2019

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

Leandro Batista Ribeiro, Marcel Baunach

Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

2018

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

2017

Towards Dynamically Composed Real-time Embedded Systems.

Leandro Batista Ribeiro, Marcel Baunach

Proceedings of the Logistik und Echtzeit, 2017

2016

14. Workshop Automotive Software Engineering.

Marcel Baunach, Leandro B. Ribeiro

Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016