Project-Team Presentation
Joint project-team with I3S (CNRS and UNSA).
In the domain of distributed applications, networks (Internet and intranets), smartcards, and terminals, our goal is to propose fundamental principles, techniques and tools for the building, analysis, validation, verification and maintenance of reliable systems. OASIS is a joint project with the CNRS I3S and the University of Nice Sophia Antipolis.
Scientific objectives
Construction of a semantics-based environment based for the development, the analysis and the verification of distributed and communicating applications related to the Internet (for example Java, Java Card);
Construction of libraries facilitating the programming and the maintenance of multi-threaded, distributed and secure applications, in particular for collaborative applications and electronic trade.
Research themes
specifications, environments and verification formal study of object-oriented languages and their models
Our approach is
- theoretical: we study and define models and object-oriented languages (semantical definitions, equivalences, analyses)
- applied: we start from concrete and current problems, for which we propose technical solutions;
- pragmatic: we validate the models and solutions with full-scale experiments.
International and industrial relations
- Collaborative work with Eurecom;
- Participation in the GDR ALP and ARP;
- Participation in the cooperative research project Java Card;
- Contract NSF-INRIA-CNRS with USC, Los Angeles;
- Collaboration with the team of Andrew Wendelborn, University of Adelaide;
- Relations with Brazil (Recife, Sao Luis) and Portugal (Braga);
- Co-responsibility of the working group "Distributed applications" of the JavaGrande Forum;
- Contracts with SIMULOG, Sun Microsystems, BULL, TOG;
- Strong implication in Computer Science and RSD DEAs of UNSA.
Scientific leader
Denis CAROMEL
[homepage]
+33 4 92 38 76 31
Denis.Caromel@inria.fr
Secretary : +33 4 92 38 75 56
