CARTE - 2011 - Annual activity report

CARTE

CARTE - 2011

Project Team Carte

Members

Overall Objectives

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

Resource analysis by quasi-interpretation
Characterization of programs based on embedding
Property proofs for adversary rewrite systems
Computer virology: behavioral analysis
Randomness and ergodicity: compressibility
Randomness and ergodicity: decomposition
Computability and measure theory
Randomness and ergodicity: limit frequencies
Randomness for a class of measures
Decidability in Perturbed Dynamical Systems
Complexity in Recursive Analysis
A soft linear logic characterization of polynomial space
From control flow analysis to complexity

Contracts and Grants with Industry

Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives

Dissemination

Animation of the scientific community
Teaching

Bibliography

Major publications
Publications of the year
References in notes

Home | Next next

2011 Team Activity Report

CARTE

Theoretical adverse computations, and safety

Research centre: Nancy - Grand Est

In partnership with: CNRS, Université de Lorraine

In collaboration with: Laboratoire lorrain de recherche en informatique et ses applications (LORIA)

Field: Algorithmics, Programming, Software and Architecture

Theme: Programs, Verification and Proofs

Keywords: Formal Methods, Security, Virology, Complexity, Model Of Computation, Real Numbers