Team oasis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2002
Project: oasis

Bibliography

Major publications by the team in recent years

[1]
I. Attali , D. Caromel , S. O. Ehmety.
A Natural Semantics for Eiffel Dynamic Binding, in: ACM Transactions on Programming Languages and Systems (TOPLAS), novembre 1996, vol. 18, no 5.
[2]
I. Attali , D. Caromel , S. O. Ehmety, S. Lippi.
Semantic-based visualization for parallel object-oriented programming, in: Proceedings of OOPSLA'96, San Jose, CA, ACM Sigplan Notices, ACM Press, octobre 1996, vol. 31, 10.
[3]
D. Caromel , F. Belloncle, Y. Roudier.
The C++// System, in: Parallel Programming Using C++, ISBN 0-262-73118-5, MIT Press, 1996.
[4]
D. Caromel .
Towards a Method of Object-Oriented Concurrent Programming, in: Communications of the ACM, septembre 1993, vol. 36, no 9, p. 90-102.
[5]
D. Caromel , W. Klauser, J. Vayssiere.
Towards Seamless Computing and Metacomputing in Java, in: Concurrency Practice and Experience, novembre 1998, vol. 10, no 11-13, p. 1043-1061.
[6]
L. Correnson, E. Duris, D. Parigot , G. Roussel.
Generic Programming by Program Composition (position paper), in: Workshop on Generic Programming, Marstrand, Sweden, conjunction with MPC'98, juin 1998 ftp://ftp-sop.inria.fr/oasis/Didier.Parigot/publications/Correnson98a.ps.gz.
[7]
N. Furmento, F. Baude .
Schooner : An Object-Oriented Run-time Support for Distributed Applications, in: In K. Yetongnon and S. Hariri, editors , Proceedings of Parallel and Distributed Computing Systems (PDCS'96), Dijon, International Society for Computers and their Applications (ISCA), septembre 1996, vol. 1, p. 31-36.
[8]
E. Madelaine .
Verification Tools from the Concur project, in: EATCS Bulletin, 1992, no 47.
[9]
D. Parigot , G. Roussel, M. Jourdan, E. Duris.
Dynamic Attribute Grammars, in: Int. Symp. on Progr. Languages, Implementations, Logics and Programs (PLILP'96), Aachen, H. Kuchen, S. D. Swierstra (editors), Lecture Notes in Computer Science, Springer-Verlag, septembre 1996, vol. 1140, p. 122-136 ftp://ftp-sop.inria.fr/oasis/Didier.Parigot/publications/plilp96.ps.gz.
[10]
B. Serpette .
Approximations d'évaluateurs fonctionnels, in: Proceedings of WSA (Workshop on Static Analysis), Bigre, 1992, p. 79-90.

Year Publications

Books and Monographs

[11]
F. Baude (editor)
Calcul réparti à grande échelle - Meta-computing, ISBN 2-7462-0472-X., Hermès Science - Lavoisier, mai 2002.
[12]
D. Caromel , S. Chaumette, G. Fox, P. Graham (editors)
Java for Parallel and Distributed Computing, ISBN 0-7695-1573-8, Workshop in IEEE IPDPS'2002 Proceedings, IEEE CS Press, Fort Lauderdale, IPDPSP'02, Fort Lauderdale, avril 2002.

Doctoral dissertations and Habilitation theses

[13]
C. Courbis .
Contribution à la programmation générative - Applications dans le générateur SmartTools : technologies XML, programmation par aspects et composants, thèse de doctorat, Université de Nice - Sophia Antipolis, décembre 2002.
[14]
F. Huet .
Objets Mobiles : conception d'un middleware et évaluation de la communication, thèse de doctorat, Université de Nice - Sophia Antipolis, décembre 2002 ftp://ftp.inria.fr/INRIA/publication/Theses/TUEXT-008775.ps.gz.
[15]
J. Vayssière .
Une architecture de sécurité pour les applications réflexives - Application à Java, thèse de doctorat, Université de Nice - Sophia Antipolis, novembre 2002.

Articles in refereed journals and book chapters

[16]
S. Alouf, F. Huet , P. Nain.
Forwarders vs. centralized server : An evaluation of two approaches for locating mobile agents, in: Performance Evaluation, ISSN 0166-5316, septembre 2002, vol. 49, p. 299-319no.
[17]
F. Baude , D. Caromel , N. Furmento, D. Sagnol .
Optimizing remote method invocation with communication-computation overlap, in: Future Generation Computer Systems, Elsevier, Selected article from PaCT 2001, 2002, vol. 18, p. 769-778.
[18]
F. Baude , D. Caromel , F. Huet , J. Vayssière .
Objets actifs mobiles et communicants, in: Technique et science informatiques, 2002, vol. 21, no 6, p. 1-36.
[19]
F. Baude , D. Caromel , D. Sagnol .
Distributed Objects for Parallel Numerical Applications, in: Mathematical Modelling and Numerical Analysis Modelisation, special issue on Programming tools for Numerical Analysis, EDP Sciences, SMAI, 2002, vol. 36, no 5, p. 837-861.
[20]
C. Courbis , P. Degenne , A. Fau , D. Parigot .
L'apport des technologies XML et Objets pour un générateur d'environnements : SmartTools, in: revue L'Objet, numéro spécial XML et les Objets, À paraître, ftp ://ftp-sop.inria.fr/oasis/publications/2002/smartobjet02.pdf, 2002.

Publications in Conferences and Workshops

[21]
S. Alouf, F. Huet , P. Nain.
Forwarders vs. centralized server : an evaluation of two approaches for locating mobile agents, in: SIGMETRICS 2002, International Conference on Measurements and Modeling of Computer Systems, Marina Del Rey, California, Poster, ACM, 2002, p. 278-279no.
[22]
L. Baduel , F. Baude , D. Caromel .
Efficient, Flexible, and Typed Group Communications in Java, in: Joint ACM Java Grande - ISCOPE 2002 Conference, Seattle, ISBN 1-58113-559-8, ACM Press, 2002, p. 28-36.
[23]
F. Baude , D. Caromel , F. Huet , L. Mestre , J. Vayssière .
Interactive and Descriptor-Based Deployment of Object-Oriented Grid Applications, in: 11th IEEE International Symposium on High Performance Distributed Computing HPDC-11, Edimburgh, ISBN 0-7695-1686-6, IEEE Computer Society, 2002, p. 93-102.
[24]
C. Courbis , P. Degenne , A. Fau , D. Parigot .
Un modèle de composants pour l'atelier de développement SmartTools, in: Journée systèmes à composants adaptables et extensibles, ISBN 2-7261-1229-3, Octobre 2002 ftp://ftp-sop.inria.fr/oasis/publications/2002/smartcompo02.pdf.
[25]
L. Henrio , B. P. Serpette .
A Parametrized Polyvariant Bytecode Verifier, in: Actes des journées JFLA, Chamrousse, France, janvier 2003no.
[26]
D. Parigot , C. Courbis , P. Degenne , A. Fau , C. Pasquier, J. Fillon , C. Held, I. Attali .
Aspect and XML-oriented Semantic Framework Generator : SmartTools, in: ETAPS'2002, LDTA workshop, Grenoble, France, Electronic Notes in Theoretical Computer Science (ENTCS), avril 2002 ftp://ftp-sop.inria.fr/oasis/publications/2002/smartldta02.pdf.
[27]
E. Reuter , F. Baude .
A mobile-agent and SNMP based management platform built with the Java ProActive library, in: IEEE Workshop on IP Operations and Management (IPOM 2002), Dallas, ISBN 0-7803-7658-7, 2002, p. 140-145.
[28]
E. Reuter , F. Baude .
System and Network Management Itineraries for Mobile Agents, in: 4th International Workshop on Mobile Agents for Telecommunications Applications, MATA, Barcelona, Lecture Notes in Computer Science vol. 2521, Springer-Verlag, 2002, p. 227-238.
[29]
B. Serpette , M. Serrano.
Compiling Scheme to JVM Bytecode : a Performance Study, in: ICFP'02 - International Conference on Functional Programming, October 4-6, 2002, Pittsburgh, PA, USA, 2002.

Internal Reports

[30]
R. Boulifa , E. Madelaine .
Preuves de propriétés de comportement de programmes ProActive, rapport technique, INRIA, mai 2002, no RR4460 http://www.inria.fr/rrrt/rr-4460.html.
[31]
B. P. Serpette , S. Szentes .
Implementation and Complexity of the Lowest Static Reduction, Rapport de Recherche, 2002no.
[32]
J. G. Variamparambil .
Enabling SmartTools components with component technologies :WebServices, CORBA and EJBs, rapport technique, INRIA, 2002 ftp://ftp-sop.inria.fr/oasis/Didier.Parigot/publications/Rapport/Variamparambil02.doc.

Miscellaneous

[33]
I. Attali , D. Caromel , A. Contes .
Security for Distributed and Mobile Active Objects with the ProActive Library, Avril 2002, no 49 http://www.ercim.org/publication/Ercim_News/enw49/, ErcimNews.
[34]
F. Baude , R. Bertuli , D. Caromel , C. Delbe , S. E. Kasmi, S. Lanteri.
An Object-Oriented Application for 3D Electromagnetism, Soumis à publication, 2002.
[35]
D. Caromel , L. Henrio , B. Serpette .
Towards Asynchrounous and Deterministic Distributed Objects, Soumis à publication, 2002.
[36]
O. Chabrol .
Passerelle entre les méta-modèles (UML) et les formalismes de Syntaxe abstraite à l'aide des formalismes du W3C (XMI), Stage DESS Informatique, rapport technique, Univ. Marseille, juin 2002.
[37]
D. Ciabrini .
Scheme et JVM : un environnement de programmation, Stage DEA Informatique, rapport technique, Université de Nice - Sophia Antipolis, juin 2002.
[38]
P. Farrugia .
Etude d'un langage de transformation, Cosynt, Stage DESS Informatique, rapport technique, Marseille, juin 2002.
[39]
A. Genoud .
Exceptions fonctionnelles et non fonctionnelles pour objets mobiles et asynchrones, Stage DEA Informatique, rapport technique, Université de Nice - Sophia Antipolis, juin 2002.
[40]
F. Luna .
Sécurité par Contrôle de Flux et Multi-niveaux des Systèmes Distribués avec Objets Mobiles et Communicants, Stage Mastère Sécurité, rapport technique, ENST Paris, octobre 2002.
[41]
T. Maarouk .
Outils pour le model-checking d'applications Java distribuées, Stage de DEA en Informatique, rapport technique, Université d'Orléans, septembre 2002.
[42]
D. Niewbourg .
Grid et Metacomputing dans ProActive, Stage DESS Télécommunications, rapport technique, Université de Nice Sophia-Antipolis, septembre 2002.
[43]
H. Saybasili .
Un Modèle de Composant Hiérarchique pour ProActive et les principes de son implémentation avec Fractal, Stage DEA Réseaux et Systèmes Distribués, rapport technique, Université de Nice - Sophia Antipolis, septembre 2002.
[44]
S. Szentes .
Implémentations efficaces de la Réduction Statique, Stage ingénieur troisième année, rapport technique, Ecole des Mines de Nantes, août 2002.
[45]
D. A. Viet.
Modèle Comportemental pour Calculs d'Objets Répartis et Mobiles, Stage de DEA de Systèmes Informatiques Répartis, rapport technique, Université Pierre et Marie Curie, LIP6, septembre 2002.
[46]
S. Ziane .
Passerelle entre les formalismes (Schema) du W3C et la programmation par Objets, Stage DEA MISI, rapport technique, Univ. Versailles, juin 2002.

previous
next