Inria
/
Raweb 2010
Presentation of the Project carte
Logo Inria
carte
Theoretical adverse computations, and safety
2010 Research Team Activity Report
Nancy - Grand Est
Field :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Introduction
Highlights
Scientific Foundations
Computer Virology
Computation over continuous structures
Rewriting
Application Domains
Computer Virology
Computations and Dynamical Systems
Software
Morphus/MMDEX
PYMS
TraceSurfer
Crême Brûlée
New Results
Termination and complexity with polynomial interpretation
Characterization of space complexity classes by KBO
Toward a theory of algorithms
Complexity of stream programs
A constructive version of Birkhoff's ergodic theorem
Computability of invariant measures
Setting up a large-scale malware experiment
Robust computations with dynamical systems
Computer virology: behavioral analysis
Computer virology: self-modifying programs
Type systems for complexity flow analysis
Contracts and Grants with Industry
Contracts with Industry
Other Grants and Activities
Regional Initiatives
National Initiatives
European Initiatives
International Initiatives
Dissemination
Animation of the scientific community
Teaching
Bibliography
Major publications
Publications of the year
References in notes
