Paul Caspi

---

• Adresse (Address)


• Curriculum Vitæ


• Activités de recherche (Research activities)


• Principales publications (Main papers)


• Quelques photos (some photographs)


• Documents de cours (lecture notes)
  
  
• Textes et pamphlets
  
  
• Autres activités
  

Adresse (Address)

Laboratoire VERIMAG

Centre Equation

2 avenue de Vignate

38610 GIERES FRANCE

Tel: (+33) 4 56 52 03 75

Fax: (+33) 4 56 52 03 50

Paul.Caspi@imag.fr

Curriculum Vitæ

Activités de recherche (Research activities)

• Répartition de programmes synchrones (projet Esprit Crisys )

(Synchronous Program Distribution) (Crisys Esprit project)
 
• Flots de données synchrones et preuves déductives

(Synchronous data-flow and deductive proofs)
 
• Flots de données synchrones et programmation fonctionnelle

(Synchronous data-flow and functional programming)
 
• Le langage à flots de données synchrones

(The synchronous data-flow language) LUSTRE
 
• Fiabilité du logiciel

(Software reliability)
 
• Architectures sûres de fonctionnement

(Highly dependable architectures)
 
• Identification de systèmes

(System identification)

Grenoble, le 30 octobre (October 30) 2001