AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Workshop AFSEC du 12 mars 2010

8th March 2010

Workshop AFSEC le vendredi 12 mars 2010 à Pau, lors des journées nationales du GDR GPL 2010

Programme du workshop AFSEC (9h-10h30) :

  • “Compilation modulaire des programmes synchrones flot de données: une représentation symbolique efficace “,
    Marc Pouzet (Université Paris-Sud 11, LRI), Pascal Raymond, (VERIMAG).
  • “Collaboration entre méthode d’ordonnancement et calcul réseau”,
    Marc Boyer, David Doose (ONERA)
  • “Analyse des délais de bout en bout pire cas dans des réseaux avioniques”,
    J.-L. Scharbarg, J. Ermont, H. Bauer, C. Fraboul (Université de Toulouse IRIT/ENSEEIHT-INPT)

Leave a Reply

You must be logged in to post a comment.