Skip to Main content Skip to Navigation


hal-02287276v1  Conference papers
Naji AmineFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
hal-01246343v1  Conference papers
Amine NajiFlorian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
hal-03022552v1  Conference papers
Benjamin BinderMihail AsavoaeFlorian BrandnerBelgacem Ben HediaMathieu Jan. Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture
International Conference on Formal Methods for Industrial Critical Systems, Sep 2020, Vienna, Austria
hal-03629047v1  Conference papers
Romain GratiaThomas RobertLaurent Pautet. Generalized mixed-criticality scheduling based on RUN
23rd International Conference on Real-Time Networks and Systems (RTNS '15), Nov 2015, Lille France, France. pp.267-276, ⟨10.1145/2834848.2834873⟩
hal-03559899v1  Conference papers
Florian BrandnerBenjamin BinderMihail AsavoaeBelgacem Ben HediaMathieu Jan. Is This Still Normal? Putting Definitions of Timing Anomalies to the Test
2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2021, Houston, France. pp.139-148, ⟨10.1109/RTCSA52859.2021.00024⟩
hal-02288493v1  Conference papers
Florian BrandnerNaji Amine. Worst-Case Execution Time Analysis of Predicated Architectures
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
hal-02287739v1  Conference papers
Farouk HebbacheMathieu JanFlorian BrandnerLaurent Pautet. Dynamic Arbitration of Memory Requests with TDM-like Guarantees
Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France
hal-01531505v1  Conference papers
Karel de VogeleerPierre JouvelotGerard Memmi. Thermal behavior and Energy/Frequency Convexity Rule of Energy Consumption for Programs
International Conference on Software & Systems Engineering and their Applications (ICSSEA'16) , May 2016, Paris, France
hal-02287376v1  Conference papers
Naji AmineFlorian Brandner. Eager Stack Cache Memory Transfers
Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
hal-02288439v1  Conference papers
Robin DespouysRémi SharrockIsabelle Demeure. Sensemaking in the autonomic smart-home
UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States
hal-02447655v1  Conference papers
Farouk HebbacheFlorian BrandnerMathieu JanLaurent Pautet. Arbitration-Induced Preemption Delays
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
hal-03702493v1  Conference papers
Felipe Lisboa MalaquiasMihail AsavoaeFlorian Brandner. A Coq Framework for More Trustworthy DRAM Controllers
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
hal-01246348v1  Conference papers
Sahar AbbaspourFlorian BrandnerAmine NajiMathieu Jan. Efficient Context Switching for the Stack Cache
Proceedings of the 23rd International Conference on Real Time and Networks Systems, Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10, ⟨10.1145/2834848.2834861⟩