INEx - Informatique en Nuage: Expérimentations et vérification

INEx - Cloud Computing: Experiments and Verification

Equipe / Team Members

• Eric Allain, IBM
• Mostafa Bamha,  LIFO,  Université d'Orléans
• Yohan Boichut,  LIFO,  Université d'Orléans
• Jean-Michel Couvreur,  LIFO,  Université d'Orléans
• Frédéric Loulergue (responsable/PI),  LIFO,  Université d'Orléans
• Frédéric Moal,  LIFO,  Université d'Orléans
• Nicolas Dugué,  LIFO,  Université d'Orléans
• Abdeljalil Abajjane,  LIFO,  Université d'Orléans

Jobs

• Financement de thèse  Contrôle d'accès pour le ''Cloud computing'' / PhD Grant  Access Control for Cloud Computing
• Financement de thèse  Vérification formelle de composants critiques de systèmes d'exploitation et d'hyperviseurs pour le Cloud

Events / Evénements

• September 4-7, 2012, the 1st workshop on Formal Methods and Automated Software Engineering for Cloud Computing ( ForMASECC2012) affiliated to  ICA3PP-12

Publications

• Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, and Matthieu Lemerre. Towards Verified Cloud Computing Environments. In International Conference on High Performance Computing and Simulation (HPCS). IEEE, 2012. (à paraître / to appear)

Funding / Financement

The INEx project is a joint project with IBM. It is supported by the  local government of Loiret.
Le projet INEx est un projet conjoint avec la société IBM et est subventionné par le  Conseil Général du Loiret.