Follow
Felipe Lisboa
Felipe Lisboa
Other namesFelipe Lisboa Malaquias, FL Malaquias, F Lisboa Malaquias
Télécom Paris
Verified email at telecom-paris.fr - Homepage
Title
Cited by
Cited by
Year
A Coq framework for more trustworthy DRAM controllers
F Lisboa Malaquias, M Asavoae, F Brandner
Proceedings of the 30th International Conference on Real-Time Networks and …, 2022
32022
Towards a Methodology to Design Provably Secure Cyber-physical Systems
F Lisboa Malaquias, G Giantamidis, S Basagiannis, S Fulvio Rollini, ...
ACM SIGAda Ada Letters 43 (1), 94-99, 2023
12023
A formal framework to design and prove trustworthy memory controllers
F Lisboa Malaquias, M Asavoae, F Brandner
Real-Time Systems 59 (4), 664-704, 2023
2023
From the Standards to Silicon: Formally Proved Memory Controllers
FL Malaquias, M Asavoae, F Brandner
NASA Formal Methods Symposium, 295-311, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–4