Projet : OASIS - oasis

<body bgcolor="#FFFFFF" text="#000000" link="#9944EE" vlink= "#0000FF" alink="#00FF00"> <h1 align="center">Objets Actifs, Sémantique, Internet et Sécurité</h1> <p align="center"><strong><small>OASIS</small><br /> <br /> <br /> Rapport d'activité de l'année 2000<br /> <br /> <br /> <i><a name="tex2html1" href= "http://www.inria.fr/inria/organigramme/fiche_ur-sop.fr.html" target="_top" id="tex2html1">Sophia Antipolis</a></i><br /> <br /> <br /> Thème : <a name="tex2html2" href= "http://www.inria.fr/recherche/equipes/projets_theme2.fr.html" target="_top" id="tex2html2">2a</a><br /> <br /> <br /> <a name="tex2html3" href= "http://www.inria.fr/recherche/equipes/oasis.fr.html" target= "_top" id="tex2html3">Page de présentation du projet</a> - Rapport d'activité au format <a name="tex2html4" href= "http://www.inria.fr/rapportsactivite/RA2000/oasis/oasis.ps.gz" target="_top" id="tex2html4">PostScript</a> ou <a name= "tex2html5" href= "http://www.inria.fr/rapportsactivite/RA2000/oasis/oasis.pdf" target="_top" id="tex2html5">PDF</a></strong></p> <blockquote> <small>OASIS</small> est un projet commun à l'INRIA, au CNRS et à l'université de Nice-Sophia Antipolis, en collaboration avec l'institut Eurécom. </blockquote><br /> <hr />  <a name="CHILD_LINKS" id="CHILD_LINKS"></a> <ul> <li> <a name="tex2html35" href="compo_mn.html" target="main" id="tex2html35"><small>Composition de l'équipe</small></a> <ul> <li><a name="tex2html36" href= "compo_mn.html#SECTION00010100000000000000" target= "main" id="tex2html36"><small>Responsable scientifique</small></a></li> <li><a name="tex2html37" href= "compo_mn.html#SECTION00010200000000000000" target= "main" id="tex2html37"><small>Responsable permanent</small></a></li> <li><a name="tex2html38" href= "compo_mn.html#SECTION00010300000000000000" target= "main" id="tex2html38"><small>Assistance administrative</small></a></li> <li><a name="tex2html39" href= "compo_mn.html#SECTION00010400000000000000" target= "main" id="tex2html39"><small>Personnel Inria</small></a></li> <li><a name="tex2html40" href= "compo_mn.html#SECTION00010500000000000000" target= "main" id="tex2html40"><small>Personnel UNSA</small></a></li> <li><a name="tex2html41" href= "compo_mn.html#SECTION00010600000000000000" target= "main" id="tex2html41"><small>Personnel BULL</small></a></li> <li><a name="tex2html42" href= "compo_mn.html#SECTION00010700000000000000" target= "main" id="tex2html42"><small>Ingénieurs experts</small></a></li> <li><a name="tex2html43" href= "compo_mn.html#SECTION00010800000000000000" target= "main" id="tex2html43"><small>Chercheurs doctorants</small></a></li> <li><a name="tex2html44" href= "compo_mn.html#SECTION00010900000000000000" target= "main" id="tex2html44"><small>Chercheurs post-doctorants</small></a></li> <li><a name="tex2html45" href= "compo_mn.html#SECTION000101000000000000000" target= "main" id= "tex2html45"><small>Stagiaires</small></a></li> <li><a name="tex2html46" href= "compo_mn.html#SECTION000101100000000000000" target= "main" id="tex2html46"><small>Collaborateurs extérieurs Eurécom</small></a></li> </ul> </li> <li><a name="tex2html47" href="prese_mn.html" target="main" id="tex2html47"><small>Présentation et objectifs généraux</small></a></li> <li> <a name="tex2html48" href="fonde_mn.html" target="main" id="tex2html48"><small>Fondements scientifiques</small></a> <ul> <li><a name="tex2html49" href="fonde_sem-env_mn.html" target="main" id="tex2html49"><small>Spécifications, environnements, analyses et transformations</small></a></li> <li><a name="tex2html50" href="fonde_oopc_mn.html" target="main" id="tex2html50"><small>Programmation objet, concurrence et répartition</small></a></li> </ul> </li> <li> <a name="tex2html51" href="domai_mn.html" target="main" id="tex2html51"><small>Domaines d'applications</small></a> <ul> <li><a name="tex2html52" href="domai_panorama_mn.html" target="main" id= "tex2html52"><small>Panorama</small></a></li> <li><a name="tex2html53" href="domai_manip_mn.html" target="main" id="tex2html53"><small>Maintenance et manipulation de programmes</small></a></li> <li><a name="tex2html54" href="domai_CE_mn.html" target="main" id="tex2html54"><small>Logiciels sécurisés pour le Commerce Electronique</small></a></li> <li><a name="tex2html55" href="domai_Prep_mn.html" target="main" id="tex2html55"><small>Programmation répartie, collaborative et sécurisée pour Internet</small></a></li> </ul> </li> <li> <a name="tex2html56" href="logic_mn.html" target="main" id="tex2html56"><small>Logiciels</small></a> <ul> <li><a name="tex2html57" href= "logic_SmartTools_mn.html" target="main" id= "tex2html57"><small>Outils Interactifs Génériques SmartTools</small></a></li> <li><a name="tex2html58" href= "logic_Java-JavaCard_mn.html" target="main" id= "tex2html58"><small>Sémantiques et Environnements pour Java/Java Card</small></a></li> <li><a name="tex2html59" href="logic_ProActive_mn.html" target="main" id="tex2html59"><small>Bibliothèque ProActive</small></a></li> <li><a name="tex2html60" href= "logic_Cpluspluspara_mn.html" target="main" id= "tex2html60"><small>La bibliothèque C++//</small></a></li> </ul> </li> <li> <a name="tex2html61" href="resul_mn.html" target="main" id="tex2html61"><small>Résultats nouveaux</small></a> <ul> <li><a name="tex2html62" href="resul_javacard_mn.html" target="main" id="tex2html62"><small>Environnements de développement et vérification pour Java et Java Card</small></a></li> <li><a name="tex2html63" href= "resul_analyses-stati_mn.html" target="main" id= "tex2html63"><small>Analyses statiques et transformations de programmes</small></a></li> <li><a name="tex2html64" href="resul_verifs_mn.html" target="main" id="tex2html64"><small>Spécifications sémantiques et vérifications</small></a></li> <li><a name="tex2html65" href="resul_secjava_mn.html" target="main" id="tex2html65"><small>Outils et méthodologie pour la modélisation et la vérification de politiques de sécurité</small></a></li> <li><a name="tex2html66" href="resul_MODformel_mn.html" target="main" id="tex2html66"><small>Etude formelle des modèles à objets distribués</small></a></li> <li><a name="tex2html67" href="resul_impO_mn.html" target="main" id="tex2html67"><small>Implémentation des langages à objets</small></a></li> <li><a name="tex2html68" href="resul_bibrepart_mn.html" target="main" id="tex2html68"><small>Bibliothèques pour la répartition</small></a></li> <li><a name="tex2html69" href="resul_AODsec_mn.html" target="main" id="tex2html69"><small>Sécurisation des applications à objets distribuées</small></a></li> </ul> </li> <li> <a name="tex2html70" href="contr_mn.html" target="main" id="tex2html70"><small>Contrats industriels (nationaux, européens et internationaux)</small></a> <ul> <li><a name="tex2html71" href= "contr_javacard-contr_mn.html" target="main" id= "tex2html71"><small>Environnements de développement et vérification pour Java et Java Card</small></a></li> <li><a name="tex2html72" href= "contr_smarttools-con_mn.html" target="main" id= "tex2html72"><small>SmartTools: outils génériques pour la construction d'environnements de développement</small></a></li> <li><a name="tex2html73" href= "contr_formavie-contr_mn.html" target="main" id= "tex2html73"><small>Formavie - Modélisation Formelle et Certification Sécuritaire pour Machine Virtuelle Embarquée</small></a></li> <li><a name="tex2html74" href= "contr_sun-contrats_mn.html" target="main" id= "tex2html74"><small>Contrat SUN Microsystems</small></a></li> </ul> </li> <li> <a name="tex2html75" href="inter_mn.html" target="main" id="tex2html75"><small>Actions régionales, nationales et internationales</small></a> <ul> <li> <a name="tex2html76" href="inter_regional_mn.html" target="main" id="tex2html76"><small>Actions régionales</small></a> <ul> <li><a name="tex2html77" href= "inter_regional_mn.html#SECTION00081100000000000000" target="main" id="tex2html77"><small>Programmation répartie et collaborative pour Internet</small></a></li> </ul> </li> <li> <a name="tex2html78" href="inter_national_mn.html" target="main" id="tex2html78"><small>Actions nationales</small></a> <ul> <li><a name="tex2html79" href= "inter_national_mn.html#SECTION00082100000000000000" target="main" id="tex2html79"><small>Action de Recherche Coopérative Java Card</small></a></li> <li><a name="tex2html80" href= "inter_national_mn.html#SECTION00082200000000000000" target="main" id="tex2html80"><small>Action de Recherche Coopérative S-Java</small></a></li> <li><a name="tex2html81" href= "inter_national_mn.html#SECTION00082300000000000000" target="main" id="tex2html81"><small>Programmation répartie collaborative et sécurisée pour Internet</small></a></li> </ul> </li> <li> <a name="tex2html82" href= "inter_international_mn.html" target="main" id= "tex2html82"><small>Actions internationales</small></a> <ul> <li><a name="tex2html83" href= "inter_international_mn.html#SECTION00083100000000000000" target="main" id="tex2html83"><small>Spécification formelle et transformation de programmes parallèles</small></a></li> <li><a name="tex2html84" href= "inter_international_mn.html#SECTION00083200000000000000" target="main" id="tex2html84"><small>Langages Objets Concurrents</small></a></li> <li><a name="tex2html85" href= "inter_international_mn.html#SECTION00083300000000000000" target="main" id="tex2html85"><small>Concurrence et applications</small></a></li> </ul> </li> <li><a name="tex2html86" href="inter_visites_mn.html" target="main" id="tex2html86"><small>Visites, Participations à des conférences, et invitations de chercheurs</small></a></li> </ul> </li> <li> <a name="tex2html87" href="diffu_mn.html" target="main" id="tex2html87"><small>Diffusion de résultats</small></a> <ul> <li><a name="tex2html88" href="diffu_animation_mn.html" target="main" id="tex2html88"><small>Animation de la Communauté scientifique</small></a></li> <li><a name="tex2html89" href= "diffu_enseignement_mn.html" target="main" id= "tex2html89"><small>Enseignement</small></a></li> </ul> </li> <li><a name="tex2html90" href="bibliographie_mn.html" target="main" id= "tex2html90"><small>Bibliographie</small></a></li> </ul> </body>