2004

• Vers une définition formelle du langage Foc
  S. Fechter, C. Dubois
• BBFoc
  S. Fechter, O. Boite
• Méthodes de réduction de réseaux RC appliquées aux outils de vérification de circuits submicroniques
  P. Renault
• Synthèse de Haut Niveau Contrôlée par l'Utilisateur
  F. Donnet
• Analyse temporelle des circuits intégrés digitaux CMOS, pour les technologies profondément submicroniques
  G. Avot
• Architectures matérielles pour l'arithmétique stochastique discrète
  R. Chotin-Avot
• Ordonnancements périodiques pour contraintes de précédence linéaires
  C. Hanen, A. Munier-Kordon
• Un algorithme de programmation dynamique pour la minimisation du coût total de duplication dans un ordonnancement d’une arborescence avec délais de communication
  C. Hanen, D. Tayachi