Last modified 5 days ago
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.
![(please configure the [header_logo] section in trac.ini)](/INEX/chrome/site/your_project_logo.png)
