Profil personnel
Qualification académique
HDR
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Execution Platform Contracts
Bourgeoisat, D., Kühne, U. & Brandner, F., 1 janv. 2025, Proceedings - 2025 28th Euromicro Conference on Digital System Design, DSD 2025. Casini, D. & Cazorla, F. J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 426-434 9 p. (Proceedings - 2025 28th Euromicro Conference on Digital System Design, DSD 2025).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Experimental Assessment and Biaffine Modeling of the Impact of Ambient Temperature on SoC Power Requirements
Vaddina, K. R., Brandner, F., Memmi, G. & Jouvelot, P., 1 janv. 2025, Embedded Computer Systems: Architectures, Modeling, and Simulation - 24th International Conference, SAMOS 2024, Proceedings. Carro, L., Regazzoni, F. & Pilato, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 18-33 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Vol 15226 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Revisiting Timing Anomalies in Predictable In-Order Pipelines
Rouizi, L., Asavoae, M., Binder, B., Rieg, L. & Brandner, F., 7 juil. 2025, 37th Euromicro Conference on Real-Time Systems, ECRTS 2025. Mancuso, R. (Ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 335).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Leveraging Reusable Code and Proofs to Design Complex DRAM Controllers - A Case Study
Malaquias, F. L., Asavoae, M. & Brandner, F., 1 janv. 2024, Proceedings - 2024 27th Euromicro Conference on Digital System Design, DSD 2024. Kryjak, T. & Petrot, F. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 298-305 8 p. (Proceedings - 2024 27th Euromicro Conference on Digital System Design, DSD 2024).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Multi-Criteria Optimization of Distributed Real-Time Network Topologies
Champenois, F., Brandner, F., Grandpierre, T., Borde, E., Suissa, A. & Georges, L., 1 janv. 2024, Proceedings - 2024 IEEE 27th International Symposium on Real-Time Distributed Computing, ISORC 2024. Institute of Electrical and Electronics Engineers Inc., (Proceedings - 2024 IEEE 27th International Symposium on Real-Time Distributed Computing, ISORC 2024).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
A formal framework to design and prove trustworthy memory controllers
Lisboa Malaquias, F., Asavoae, M. & Brandner, F., 1 déc. 2023, Dans: Real-Time Systems. 59, 4, p. 664-704 41 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
From the Standards to Silicon: Formally Proved Memory Controllers
Malaquias, F. L., Asavoae, M. & Brandner, F., 1 janv. 2023, NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 295-311 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 13903 LNCS).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
A Coq Framework for More Trustworthy DRAM Controllers
Lisboa Malaquias, F., Asavoae, M. & Brandner, F., 7 juin 2022, RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. Association for Computing Machinery, p. 140-150 11 p. (ACM International Conference Proceeding Series).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture
Binder, B., Asavoae, M., Brandner, F., Ben Hedia, B. & Jan, M., 1 juin 2022, Dans: International Journal on Software Tools for Technology Transfer. 24, 3, p. 415-440 26 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
-
Message from the RTAS 2022 Chairs
Yun, H., Liu, C., Brandner, F., Nasri, M. & Guan, N., 1 janv. 2022, Dans: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS. 2022-May, p. x-xiRésultats de recherche: Contribution à un journal › Éditorial
Accès ouvert