Actions régionales, nationales et internationales
Document Actions
- L'équipe projet Espresso participe au projet associé POLYCORE [2011-2013] avec Virginia Tech et TU
Kaiserslautern. Le but est de définir un environnement de programmation basé sur Quartz/Esterel (TUK) et Polychrony (INRIA) conjointement avec Virginia Tech et US Air Force Research Laboratories (AFRL).
- L'équipe projet Espresso a participé au projet associé BALBOA [2002-2008] avec Rajesh Gupta (UC San Diego) et Sandeep Shukla (Virginia Tech). Durant ce projet, les conférences et workshops, sponsorisés par ACM/IEEE, ont été créés :
- MEMOCODE’03-11 - Methods and models for co-design
- FMGALS’03-07 - Formal methods for GALS design.
D'autre part, deux livres ont été publiés ainsi qu'une vingtaine d'articles (journaux, conférences) durant ce projet.