Online talks

• Microsoft Research
  August 2007
  How does ASTRÉE deals with digital filters?
  (65 minutes)
  
  
• INRIA Paris-Rocquencourt
  April 2015
  Réduction de modèles de voies de signalisation intracellulaire
  (37 minutes)
  
  
• ENS
  Octobre 2015
  Réduction de modèles de voies de signalisation intracellulaire
  (52 minutes)
  
  
• Imperial College
  April 2016
  An overview of the ASTRÉE/ASTRÉEA static analyzer
  (45 minutes)
  
  
• Journées du GdR IM
  Mars 2022
  Réduction exacte de modèles biochimiques de signalisation intracellulaire
  (44 Minutes)
  
  

---

Jérôme Feret, Last modified: 22 May 2025, 06:23:13 CEST