Felipe Lisboa Malaquias (ACES), Mihail Asavoae (CEA List), and Florian Brandner (ACES) received the Best Paper Award at the 30th International Conference on Real-Time Networks and Systems (RTNS) for their paper « A Coq Framework for More Trustworthy DRAM Controllers ».

Felipe Lisboa Malaquias (PhD student at ACES) and Henry Suzukawa (student) have received the 1st prize at the 1st National RISC-V Student Competition organized by Thales, GDR SoC2, and CNFM. Congrats to Felipe and Henry!

Une version en français est également disponible. Institut Polytechnique de Paris is offering financing for a 3 year PhD in computer science. The PhD will be hosted in the ACES (Autonomous and Critical Systems) team of the LTCI lab of … Lire la Suite →

Florian Brandner received the Best Paper Award at the 28th International Conference on Real-Time Networks and Systems (RTNS) for his paper « Precise and Efficient Analysis of Context-Sensitive Cache Conflict Sets ». Due to the current situation the conference was held entirely … Lire la Suite →

Farouk Hebbache defends his PhD thesis entitled « Work-Conserving Dynamic TDM-Based Memory Arbitration for Multi-Criticality Real-Time Systems » today. The defense jury is comprised of : Alain Mérigot, Professor, University Paris-Saclay Steven Derrien, Professor, University of Rennes 1 Frédéric Pétrot, Professor, Grenoble … Lire la Suite →

Amine Naji will defend his PhD thesis entitled « Timing Analysis for Time-Predictable Architectures » on Wednesday, June 12, at 10 AM in the lecture room Grenat of Télécom Paris. The defense jury is comprised of : Karine Heydemann, Associate Professor, UPMC … Lire la Suite →

La chaire Ingénierie des Systèmes Complexes organise un séminaire sur les Systèmes Cyber-Physiques le mardi 29 janvier à partir de 14h en salle Grace Hopper, Bâtiment Turing, à l’X. Vous trouverez ci-dessous le résumé et la biographie de l’intervenant, Arvind Easwaran. … Lire la Suite →

Florian Brandner was invited to present recent work on « Efficient TDM-based Arbitration for Mixed-Criticality Systems on Multi-Cores » at a scientific day on « Hardware interference and temporal determinism for modern SoCs« , which was jointly organized on November 16, 2018, by the … Lire la Suite →

Presentation of RAMSES in the IMTech, the technical showcase of the Institut Mines-Telecom. The article is available on the website for more information.