Inria
/
Raweb 2009
Presentation of the Project Celtique
Logo Inria
Celtique
Semantic analysis for software certification
2009 Research Team Activity Report
Rennes - Bretagne-Atlantique
Area :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
Members
Overall Objectives
Project overview
Highlights of the year
Scientific Foundations
Static program analysis
Software certification
Software
Sawja: Static Analysis Workshop for Java Applications
Constraint-Based Testing of critical C programs
Timbuk: a tree automata library
New Results
Static Analysis of Object-Oriented Languages
Static analysis based on rewriting and tree automata
Certified Static Analysis and Compilation
Control-flow analysis
Constraint-based test case generation for critical C programs
Contracts and Grants with Industry
The JAVASEC project
The FRAE ASCERT project
ANR DECERT project
The CERTLOGS project
The RNTL CAT project
The ANR U3CAT project
European FET-Integrated project MOBIUS
The ANR SETIN RAVAJ
The ANR SETIN PARSEC
ANR SESUR 2007 CAVERN
The COST Action IC0701
Dissemination
Conferences: program committees, organization, invitations
PhD and habilitation theses defended
PhD and Habilitation committees
Teaching: university courses and summer schools
Administrative responsibilities
Bibliography
Major publications
Publications of the year
References in notes