Research output per year
Research output per year
Fingerprint
Dive into the research topics where Leandro Batista Ribeiro is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Protection and Relocation Extension for RISC-V
Malenko, M., Batista Ribeiro, L. & Baunach, M. C., 19 Jun 2022, Sixth Workshop on Computer Architecture Research with RISC-V : CARRV 2022. 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
SmartOS: An OS Architecture for Sustainable Embedded Systems
Scheipel, T. P., Batista Ribeiro, L., Sagaster, T. & Baunach, M. C., 17 Mar 2022, 2022 - Fruehjahrstreffen FG BS. Gesellschaft für Informatik , 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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, (Accepted/In press) 25th Euromicro Conference on Digital System Design (DSD). Maspalomas, Spain: EUROMICROResearch output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Work-in-Progress: Improving Security and Maintainability in Modular Embedded Systems with Hardware Support
Malenko, M., Batista Ribeiro, L. & Baunach, M. C., Jul 2021, CODES/ISSS '21: Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis . p. 35-36Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
On the Potential of Distance Bounding based on UWB Received Signal Strength
Happ Botler, L., Römer, K. U., Batista Ribeiro, L. & Diwold, K., 5 Nov 2020, Proceedings of the 10th International Conference on Pervasive and Parallel Computing, Communication and Sensors - Volume 1: PECCS. INSTICC – Institute for Systems and Technologies of Information, Control and Communication, Portugal, Vol. 1. p. 7-14 978-989-758-477-0Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Activities
-
Verifying Liveness and Real-Time of OS-Based Embedded Software
Leandro Batista Ribeiro (Speaker)
31 Aug 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
SmartOS: An OS Architecture for Sustainable Embedded Systems
Tobias Peter Scheipel (Speaker), Leandro Batista Ribeiro (Speaker) & Tim Sagaster (Speaker)
17 Mar 2022Activity: Talk or presentation › Talk at conference or symposium › Science to science
-
A Holistic Hardware/Software Update Mechanism for Embedded Systems
Tobias Peter Scheipel (Speaker), Leandro Batista Ribeiro (Speaker) & Marcel Carsten Baunach (Speaker)
11 Mar 2021Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science
-
Aalborg University Copenhagen
Leandro Batista Ribeiro (Visitor)
11 Aug 2021 → 22 Aug 2021Activity: Visiting an external academic institution › Research at external institution
-
Towards Automatic SW Integration in Dependable Embedded Systems
Leandro Batista Ribeiro (Speaker)
18 Feb 2020Activity: Talk or presentation › Talk at conference or symposium › Science to science
Projects
- 3 Active
-
Embedded Operating Systems
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → …
Project: Research project
-
Embedded Automotive Systems
Baunach, M. C., Batista Ribeiro, L., Martins Gomes, R., Malenko, M., Scheipel, T. P., Saikia, A., Nagarajan, D. & Manjunath, V.
1/09/14 → …
Project: Research area
-
Reconfigurable Processor Architectures
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F., Scheipel, T. P. & Saikia, A.
1/09/14 → …
Project: Research project