Inria
|
Raweb
2014 | Exploratory Action
Section: Partnerships and Cooperations
Regional Initiatives
ESTASE
Participants : Axel Legay, Sean Sedwards.
ESTASE is a create project whose main objective was to initiate the creation of the plasma toolset as well as to propose new model checking algorithms for rare events.
Privacy
Participants : Axel Legay, Fabrizio Biondi, Jean Quilbeuf.
Privacy is a regional project whose objective is to quantify privacy of data. This includes, e.g., quantifying the anonymity of a voting protocol.
Variability
Participants : Axel Legay, Jin Hyun Kim, Louis-Marie Traonouez.
Variability is a regional project whose objective is to lift scheduling techniques to connected-objects. The main application of the project is Systems of Systems.