OASIS Research team

Active objects, semantics, Internet and security

Team presentation

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.

Keywords: Distributed object-oriented programming Semantics and environments Program analysis Security.

Research teams of the same theme :

Inria Headquarters and research centres

Direct links

Social