Leandro Batista Ribeiro

Orcid: 0000-0002-1294-1524

According to our database1, Leandro Batista Ribeiro authored at least 10 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Avoiding Empty Instances and Offset Drifts of Basic Sequencer Tasks in Automotive Operating System.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

2023
A Modeling Concept for Formal Verification of OS-Based Compositional Software.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022
Verifying Liveness and Real-Time of OS-Based Embedded Software.
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.
Proceedings of the CODES/ISSS 2021, 2021

2020
On the Potential of Distance Bounding based on UWB Received Signal Strength.
Proceedings of the 10th International Conference on Pervasive and Parallel Computing, 2020

Towards Automatic SW Integration in Dependable Embedded Systems.
Proceedings of the 2020 International Conference on Embedded Wireless Systems and Networks, 2020

2019
COFIE: a regex-like interaction and control flow description.
Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

2018
Smart mobility of the future - a challenge for embedded automotive systems.
Elektrotech. Informationstechnik, 2018

2017
Towards Dynamically Composed Real-time Embedded Systems.
Proceedings of the Logistik und Echtzeit, 2017

2016
14. Workshop Automotive Software Engineering.
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016


  Loading...