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.
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.
OASIS is a joint
project with the CNRS I3S and the University of Nice Sophia Antipolis.
Scientific leader : Denis
Caromel
email : Denis.Caromel@sophia.inria.fr
email : Eric.Madelaine@inria.fr
Tel : 04 92 38 76 31
Fax : 04 92 38 76 44