Objectifs scientifiques

• construction d'un environnement fondé sur la sémantique pour le développement, l'analyse et la vérification d'applications réparties et communicantes liées à l'Internet (par exemple Java, Java Card);
• construction de bibliothèques facilitant la programmation et la maintenance d'applications multi-threadées, distribuées, sécurisées, en particulier pour les applications collaboratives et le commerce électronique.

Axes de Recherche

• spécifications, environnements et vérifications
• étude formelle des modèles, langages et programmes à objets

Notre démarche pour atteindre ces objectifs est:

• théorique: nous étudions et définissons des modèles et langages à objets (définitions sémantiques, équivalences, analyses)
• appliquée: nous partons de problèmes concrets et actuels, pour lesquels nous proposons des solutions techniques
• pragmatique: nous validons les modèles et solutions proposés par des expérimentations en vraie grandeur

Relations internationales et industrielles

• collaboration avec Eurecom.
• participation active aux GDR ALP et ARP;
• participation à l'action de recherche coopérative JavaCard ;
• en partenariat avec l'équipe de Andrew Wendelborn, University of Adelaide;
• relations suivies avec le Brésil (Recife, Sao Luis), le Portugal (Braga), le Chili (Un. de Chile, Santiago);
  
• co-responsabilité du groupe de travail "Concurrence et applications" du JavaGrande Forum;
• Contrats de recherche avec SIMULOG, Sun Microsystems, BULL, TOG;
• implication forte aux Masteres Informatique et RSD de l'UNSA.

OASIS est un projet commun avec le laboratoire CNRS I3S et l'Université de Nice Sophia Antipolis.

Responsable Scientifique : Denis Caromel

email : Denis.Caromel@sophia.inria.fr
email : Eric.Madelaine@sophia.inria.fr
Tel : 04 92 38 76 31
Fax : 04 92 38 76 44