Personal profile
Education/Academic qualification
HDR
Fingerprint
Dive into the research topics where Florian Brandner is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Execution Platform Contracts
Bourgeoisat, D., Kühne, U. & Brandner, F., 1 Jan 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
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 Jan 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Revisiting Timing Anomalies in Predictable In-Order Pipelines
Rouizi, L., Asavoae, M., Binder, B., Rieg, L. & Brandner, F., 7 Jul 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Leveraging Reusable Code and Proofs to Design Complex DRAM Controllers - A Case Study
Malaquias, F. L., Asavoae, M. & Brandner, F., 1 Jan 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Multi-Criteria Optimization of Distributed Real-Time Network Topologies
Champenois, F., Brandner, F., Grandpierre, T., Borde, E., Suissa, A. & Georges, L., 1 Jan 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A formal framework to design and prove trustworthy memory controllers
Lisboa Malaquias, F., Asavoae, M. & Brandner, F., 1 Dec 2023, In: Real-Time Systems. 59, 4, p. 664-704 41 p.Research output: Contribution to journal › Article › peer-review
Open Access -
From the Standards to Silicon: Formally Proved Memory Controllers
Malaquias, F. L., Asavoae, M. & Brandner, F., 1 Jan 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A Coq Framework for More Trustworthy DRAM Controllers
Lisboa Malaquias, F., Asavoae, M. & Brandner, F., 7 Jun 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
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 Jun 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, p. 415-440 26 p.Research output: Contribution to journal › Article › peer-review
-
Message from the RTAS 2022 Chairs
Yun, H., Liu, C., Brandner, F., Nasri, M. & Guan, N., 1 Jan 2022, In: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS. 2022-May, p. x-xiResearch output: Contribution to journal › Editorial
Open Access