Soutenances

Thèse - 
LCIS et LIG - 
21 Fev 2013
 

Test fonctionnel de propriétés hybrides

Yves Grasland

Les systèmes hybrides sont des systèmes informatiques combinant des comportements dicrets (similaires à ceux d’une machine à états finis), et continus (similaires à ceux d’un système dynamique). Lire la suite...

Thèse - 
LIG - 
21 Fev 2013
 

Robusta : Une approche pour la construction d’applications dynamiques

Walter Rudametkin

Les domaines de recherche actuels, tels que l’informatique ubiquitaire et l’informatique en nuage (cloud computing), considèrent que ces environnements d’exécution sont en changement continue. Lire la suite...

HDR - 
LJK - 
13 Dec 2012
 

Assimilation de données et méthodes adjointes pour la géophysique

Arthur Vidard
Thèse - 
LIG - 
12 Dec 2012
 

Déploiement d’applications patrimoniales en environnements de type informatique dans le nuage

Xavier Etchevers

L’informatique dans le nuage a pour principal objectif de rationaliser les coûts d’acquisition, de mise en oeuvre et d’exploitation des applications Lire la suite...

Thèse - 
LIG - 
10 Dec 2012
 

Gestion de flux de données pour l’observation de systèmes - Application à la gestion du réseau domestique

Loic Petit

La popularisation de la technologie a permis d’implanter des dispositifs et des applications de plus en plus développés à la portée d’utilisateurs non experts Lire la suite...

Thèse - 
LIG - 
04 Dec 2012
 

Débogage des systèmes embarqués multiprocesseur basé sur la ré-exécution déterministe et partielle

Kiril Georgiev

Les plates-formes MPSoC permettent de satisfaire les contraintes de performance, de flexibilité et de consommation énergétique requises par les systèmes embarqués émergents Lire la suite...

Thèse - 
LIG - 
26 Nov 2012
 

Classifying Application Flows and Intrusion Detection in Internet Traffic

Maciej Korczynski

Le sujet de la classi-fication de tra-fic réseau est d’une grande importance pour la plani-cation de réseau efficace, la gestion de trafi-c a base de règles, la gestion de priorité d’applications et le contrôle de sécurité. Lire la suite...

Thèse - 
LJK - 
15 Nov 2012
 

Analyse de sensibilité, réduction de dimension. Application à l'océanographie

Alexandre Janon

Les modèles mathématiques ont pour but de décrire le comportement d'un système Lire la suite...

HDR - 
VERIMAG - 
06 Nov 2012
 

Computer Aided Security for : Cryptographic Primitives, Voting protocols, and Wireless Sensor Networ

Pascal Lafourcade

Résumé :

La sécurité est une des préoccupations principales de l’informatique moderne Lire la suite...

Thèse - 
LIG - 
26 Oct 2012
 

Conception et Optimisation de Performance Inter-couches dans les Réseaux Maillés Radio Multi-Canal Multi-Interface

Carina Teixeira de Oliveira

Résumé :

Dans cette thèse, nous nous concentrons sur la conception et l’optimisation de performances inter-couches dans les réseaux maillés radio multi-canal multi-interface. Lire la suite...