ANR
info dans groupe Financeurs
info articles lies mot
Agence Nationale pour la Recherche
Articles
[Master] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
Tuesday 30 June 2026
by Claire Maiza
AEPS
Sunday 31 December 2017
by frehse
ARESA2
Tuesday 13 August 2013
by Florence Maraninchi
BINSEC
Sunday 31 December 2017
by potet
CADMIDIA
Sunday 31 December 2017
by frehse
CAOTIC: Collaborative Action on Timing Interferences
Wednesday 30 September 2026
by Claire Maiza
CESyMPA
Wednesday 31 December 2014
by Florence Maraninchi
COMPACS
Friday 5 October 2018
by dang
DACRAW
Saturday 27 February 2016
by karine, devismes
ESTATE
Friday 31 December 2021
by stef
MALTHY
Sunday 31 December 2017
by dang
Mjollnir
Tuesday 15 May 2012
by monniaux
Models of Distributed Algorithms
Friday 16 October 2020
by karine, Devismes, Pierre Corbineau
OpenEmBeDD
Saturday 16 May 2009
by graf
PROSE
Monday 1 December 2014
by lafourcade
RT-PROOFS
Wednesday 16 June 2021
by mounier
SACADE
Tuesday 31 December 2019
by mounier
TAVA
Tuesday 31 December 2024
by mounier
VECOLIB
Saturday 6 October 2018
by Radu Iosif
VERASCO
Friday 1 January 2016
by monniaux
VERIDYC
Tuesday 31 December 2013
by Radu Iosif
VOCaL (The Verified OCaml Library)
Monday 30 September 2019
by monin
W-SEPT
Saturday 31 December 2016
by raymond, Claire Maiza
[M2R 2012-2013] Contraintes non linéaires
Friday 1 February 2013
by monniaux
[M2R 2012-2013] Contraintes non linéaires
Tuesday 1 December 2020
by jahier
[Master 2R 2012-2013] Semantic analysis for worst-case execution time analysis
Friday 1 March 2013
by raymond, Claire Maiza
[Master] Exploration by model-checking of timing anomaly cancellation in a processor
Saturday 31 May 2025
by Lionel Rieg
[Master] Sûreté des essaims de robots mobiles
Thursday 31 August 2023
by Lionel Rieg
[PostDoc] Enhancing WCET Estimation by Exploiting Program Semantics
Friday 1 March 2013
by raymond, Claire Maiza
[PostDoc] Exploiting High-Level Design Information in WCET Estimation
Friday 1 March 2013
by raymond, Claire Maiza
[PostDoc] Implementation of critical applications on multi-core: execution mode analysis to reduce interferences
Monday 1 June 2026
by Claire Maiza
