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.
