Inria
/
Raweb 2006
Presentation of the Project Lande
Logo Inria
Lande
Logiciel : ANalyse et DEveloppement
2006 Research Team Activity Report
Rennes - Bretagne-Atlantique
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Project overview
Scientific Foundations
Static program analysis
Program testing
Reachability analysis over term rewriting systems
Software
A Coq library of lattices
Timbuk: a tree automata library
Protocol Animator
Automatic functional test case generation
New Results
Access control model for interactive devices
From certified abstract interpretation to proof-carrying code
Certificates checkers for arithmetics invariants
Resource-oriented analysis
Trace reconstruction for rewriting approximations
Path-oriented random testing
A semi-empirical model of test quality in symmetric testing
Testing of Java Card software
Dynamic and static information flow analysis
Contracts and Grants with Industry
The CASTLES RNTL project
The RNTL CAT project
Static analysis of Java Midlets with rewriting and reachability analysis
The MEFORSE collaborative research contract with France Télécom R&D
European FET-Integrated project MOBIUS
Other Grants and Activities
The ACI Sécurité Informatique project DISPO
The ACI Sécurité Informatique project V3F
The ACI Sécurité Informatique project SATIN
Dissemination
Conferences: program committees, organization, invitations
PhD theses defended
PhD and Habilitation committees
Teaching: university courses and summer schools
Administrative responsibilities
Bibliography
Major publications
Publications of the year
References in notes