axe_SharedResources
info dans groupe team
info articles lies mot
Articles
Members
Wednesday 22 April 2009
by jahier
[Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
Tuesday 30 June 2026
by Claire Maiza
by kinds
Wednesday 7 October 2009
by jahier
Partners
Tuesday 23 December 2008
by Florence Maraninchi
CAOTIC: Collaborative Action on Timing Interferences
Wednesday 30 September 2026
by Claire Maiza
CAPITAL Workshop - sCalable And PrecIse Timing AnaLysis for multicore platforms
Saturday 5 June 2021
by Claire Maiza
Coopération Argosim
Tuesday 6 February 2029
by jahier
ESTATE
Friday 31 December 2021
by stef
HELP
Sunday 30 June 2013
by Florence Maraninchi
KALRAY
Saturday 31 December 2022
by raymond
KALRAY-CompCert
Tuesday 6 July 2021
by monniaux, boulme
Karine Altisen’s Publications
Monday 9 July 2012
by karine
Lustre V6
Wednesday 15 July 2009
by jahier
Matheus Schuh
Tuesday 2 August 2022
by jahier
Multi-core interference Analysis
Tuesday 30 January 2018
by Claire Maiza
OpenES
Friday 30 September 2016
by Florence Maraninchi
openTLM
Friday 24 December 2010
Oussama OULKAID
Thursday 26 October 2023
by Bruno Ferres
PADEC
Friday 1 January 2016
by Devismes, karine
RDBG
Wednesday 19 March 2014
by jahier
SASA
Monday 3 February 2020
by jahier
STMicroelectronics
Tuesday 31 October 2017
by moy
STMicroelectronics
Monday 31 January 2022
by Florence Maraninchi
the Chamois CompCert Compiler
Tuesday 20 October 2020
by boulme, monniaux
W-SEPT
Saturday 31 December 2016
by raymond, Claire Maiza
Workshop CAPITAL 2022: sCalable And PrecIse Timing AnaLysis for multicore platforms
Saturday 4 June 2022
by Claire Maiza
Workshop on Timing Anomalies
Monday 15 November 2021
by Claire Maiza
[master/PhD] Static analysis of “pseudo-LRU” caches
Wednesday 15 November 2023
by monniaux
[Master] Analyzing fault parameters triggering timing anomalies
Friday 31 May 2024
by Lionel Rieg
[Master] Cache analysis
Sunday 30 October 2022
by Claire Maiza
[Master] Certification of Distributed Self-Stabilizing Algorithms Using Coq
Monday 30 October 2023
by Devismes
[Master] Exploration by model-checking of timing anomaly cancellation in a processor
Friday 31 May 2024
by Lionel Rieg
[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
Thursday 12 October 2023
by karine
[Master] Modular Analysis for Formal Verification of Integrated Circuits at Transistor Level
Friday 1 November 2024
by Bruno Ferres, raymond
[Master] Multi-core Interference analysis and Global Scheduling
Wednesday 31 August 2022
by Lionel Rieg, Claire Maiza
[Master] Simulation of Distributed Algorithms
Wednesday 18 October 2023
by karine
[Master] Sûreté des essaims de robots mobiles
Thursday 31 August 2023
by Lionel Rieg
[PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
Monday 1 June 2026
by Claire Maiza
