Passer au contenu
  ESPRESSO  

Regional, national and international gactions

Document Actions
  • Espresso team participates to the Associate project POLYCORE [2011-2013] with Virginia Tech and TU Kaiserslautern. The goal is to define a programming environment based on Quartz/Esterel (TUK) and Polychrony (INRIA) jointly with Virginia Tech and US Air Force Research Laboratories (AFRL).
  • Espresso team participated to the Associate project BALBOA [2002-2008] with Rajesh Gupta (UC San Diego) and Sandeep Shukla (Virginia Tech).  The result of this project was the creation of ACM-IEEE sponsored conferences and workshop
      • MEMOCODE - Methods and models for co-design.
      • FMGALS - Formal methods for GALS design.

 Moreover, 2 books  and more than 20 journal and conference papers have been published.