Felipe Lisboa Malaquias

According to our database, Felipe Lisboa Malaquias authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

CoqDRAM - A Foundation for Designing Formally Proven Memory Controllers. (CoqDRAM - Une Fondation pour la Conception de Contrôleurs de Mémoire Formellement Prouvés).

Felipe Lisboa Malaquias

PhD thesis, 2024

Leveraging Reusable Code and Proofs to Design Complex DRAM Controllers - A Case Study.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Proceedings of the 27th Euromicro Conference on Digital System Design, 2024

2023

A formal framework to design and prove trustworthy memory controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Real Time Syst., December, 2023

From the Standards to Silicon: Formally Proved Memory Controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

A Coq Framework for More Trustworthy DRAM Controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022