Academic year 2016-2017
These are examples of the master projects performed by the HECS students:
- A unifying framework for comparing and implementing probabilistic models
(INRIA/LIG, Grenoble, France) - Evaluation of online video rate adaptation algorithms in AMuSe system
(Wimnet Lab, Columbia University, USA) - Formal modelling and automated verification of workflow models
(INRIA/LIG, Grenoble, France) - Formal verification of a new cache coherence protocol
(TIMA, Grenoble, France) - Improving code coverage in Vuzzer using symbolic execution for security vulnerability analysis
(Vrije Universiteit Amsterdam, The Netherlands) - L’injection de fautes sur les données au sein de l’exécution concolique
(Verimag, Grenoble, France) - Portage et certification de sous‐systèmes d’EGNOS
(Capgemini Technology Services/Aerospace & Public, Bayonne, France) - Using symbolic allocators to analyse heap memory vulnerabilities
(Verimag, Grenoble, France)