Institut National des Sciences Appliquéees de Lyon CITI Laboratory Université de Lyon

Stages et thèses

Thèses

Septembre 2010 - Mars 2014

Yufang DAN
Titre : Ambient calculus for distributed, service oriented virtual machines
Sujet : pdf
Encadrants : Nicolas Stouls et Stéphane Frénot (HDR)

Stages

2016-2017

  • Sujet de stage pour étudiant en PFE : html.
    Titre : Hardened Golo : Donnez de la confiance en votre code Golo
    Encadrants : Nicolas Stouls, Oscar Carrillo
    Étudiant(e) accueilli(e) : Qifan ZHOU et Geoffrey GUETIER
  • Sujet de stage pour étudiant en PFE : html.
    Titre : Plateforme d'exercices auto-corrigés pour le premier cycle
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Alexandre CLAUDE
  • Sujet de stage pour étudiant en IST project : html.
    Titre : Hardened Golo : Giving some confidence into your Golo code
    Encadrants : Nicolas Stouls, Oscar Carrillo
    Stage non pourvu et abandonné

2015-2016

  • Sujet de stage pour étudiant en Master (2 R) d'informatique ou PFE : html.
    Titre : Hardened Golo : Donnez de la confiance en votre code Golo
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Raphael LAURENT
  • Sujet de stage pour étudiant en Master (2 R) d'informatique ou PFE : html.
    Titre : Hardened Golo : Donnez de la confiance en votre code Golo
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Bertrand CAYEUX

2014-2015

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : html.
    Titre : Hardened Golo : Donnez de la confiance en votre code Golo
    Encadrant : Nicolas Stouls
    Stage non pourvu et abandonné

2012-2013

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : .
    Titre : Intération de la génération de propriétés dédiées au monitorage de systèmes dynamiques dans la phase de conception
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Ala Eddine Abdellaoui

2011-2012

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : pdf.
    Titre : Étude de la délocalisation des services d'un puits vers les noeuds d'un réseau de capteurs
    Encadrants : Michel Courbon, Nicolas Stouls
    Étudiant(e) accueilli(e) : Shengcong Yang

2010-2011

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : pdf.
    Titre : Ambient calculus for distributed, service oriented virtual machines
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Herman Mekontso Tchinda

2009-2010

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : pdf.
    Titre : Étude énergétique de logiciels embarqués sur capteurs
    Encadrants : Nicolas Stouls, Guillaume Salagnac
    Étudiant(e) accueilli(e) : Manh Cuong NGUYEN
  • Sujet de stage pour étudiant en 4IF ou ÉNS : pdf.
    Titre : Assistance à la vérification automatique de propriétés dynamiques sur du code C
    Encadrant : Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Master (2 R) d'informatique, PFE ou ÉNS : pdf.
    Titre : Encodage de propriétés dynamiques dans des assertions de logique du premier ordre
    Encadrant : Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Master (2 R) d'informatique : pdf.
    Titre : Proof carrying code for service oriented systems
    Encadrants : Lionel Morel, mailto:Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Master (2 R) d'informatique ou PFE : pdf.
    Titre : Informatique de confiance en réseau ambiant
    Encadrants : Nicolas Stouls, Lionel Morel
    Stage non pourvu et abandonné

2008-2009

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : odt, pdf.
    Titre : extraction d'informations concernant la consommation d'énergie des protocoles cryptographique
    Encadrants : Nicolas Stouls, Lionel Morel
    Étudiant(e) accueilli(e) : Abdelouahab BELHADAD
  • Sujet de stage pour étudiant en Master (2 R) d'informatique : .
    Titre : Propositions théoriques et implantation d'optimisations fonctionnelles de l'outil d'analyse statique Aorai
    Encadrant : Nicolas Stouls
    Étudiant(e) accueilli(e) : Fabien CELLIER
  • Sujet de stage pour étudiant en Master (2 R) d'informatique : odt, pdf.
    Titre : Informatique de confiance en réseau ambiant
    Encadrants : Nicolas Stouls, Stéphane Ubéda
    Stage non pourvu et abandonné

2005-2006

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : html.
    Titre : Architecture de sécurité Java : Modèles et vérifications du contrôle d'accès
    Encadrants : Marie-Laure Potet, Nicolas Stouls
    Étudiant(e) accueilli(e) : Amal HADDAD

2004-2005

  • Sujet de stage pour étudiant en Master (2 R) d'informatique : html.
    Titre : Modélisation et vérification de politiques de sécurité
    Encadrants : Marie-Laure Potet, Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Magistère 1 ou 2 d'informatique : html.
    Titre : Intégration de Barvey à GénéSyst
    Encadrants : Didier Bert, Nicolas Stouls
    Stage non pourvu et abandonné
  • Sujet de stage pour étudiant en Magistère 1 ou 2 d'informatique : html.
    Titre : Détermination des états significatifs pour l'analyse de propriétés de sécurité.
    Encadrants : Didier Bert, Nicolas Stouls
    Stage non pourvu et abandonné

2003-2004

  • Sujet de stage pour étudiant en Master (1 ou 2) d'informatique : html.
    Titre : Extension de l'outil GénéSyst
    Encadrants : Didier Bert, Nicolas Stouls
    Étudiant(e) accueilli(e) : Hounayda MOHAMED
  • Sujet de stage pour étudiant en ENSIMAG 2ème année : html.
    Titre : Development of the tool GeneSyst in order to take into account security properties
    Encadrants : Marie-Laure Potet, Nicolas Stouls
    Étudiant(e) accueilli(e) : Evelyne ALTARIBA
  • Sujet de stage pour étudiant en Master 1 d'informatique : html.
    Titre : Vérification et optimisation de l'outil GénéSyst
    Encadrants : Didier Bert, Nicolas Stouls
    Étudiant(e) accueilli(e) : Xavier MORSELLI

Retour au plan

SHT75DHT22LM35
Température : °C  [°C .. °C]°C  [°C .. °C]°C
Humidité : %  [% .. %]%  [% .. %] 
Point de rosée : °C  [°C .. °C]  
Indice de chaleur :  °C  [°C .. °C] 

Up-time : 0j, 0h et 0m.

Ces données vous ont été généreusement offertes par Arduino (Yun), wikipedia, la DSI, le CISR et la direction du patrimoine.