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
• Nicolas Dugué, ​LIFO, ​Université d'Orléans
• AbdelAli Ed-Dbali, ​LIFO, ​Université d'Orléans
• Sébastien Guibert, ​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
• Anthony Perez, ​LIFO, ​Université d'Orléans

Past members: Abdeljalil Abajjane

Events / Evénements

• 18 janvier 2013, deuxième Journée Informatique en Nuage à Orléans
• 10 juillet 2012, première Journée Informatique en Nuage à Orléans

Publications

Conferences / Colloques

• Nicolas Dugué, Anthony Perez, ​Detecting social capitalists on Twitter using similarity measures. In Complex Networks IV, SCI 476, pages 1-12, Springer, 2013.
• Nicolas Dugué, Anthony Perez, Les capitalistes sociaux sur Twitter : détection via des mesures de similarité. EGC'2013, "Revue des Nouvelles Technologies de l'Information", ​RNTI-E-24, pages 329-334, Hermann, 2013.
• Yohan Boichut, Benoît Boyer, Thomas Genet, and Axel Legay. ​Equational Abstraction Refinement for Certified Tree Regular Model Checking. In ICFEM, number 7635 in LNCS, pages 299-315. Springer, 2012.
• Nicolas Dugué, Anthony Perez, Les capitalistes sociaux sur Twitter : détection via mesures de similarité, 3ième Journée thématique : Fouille de grands graphes, Villetaneuse, octobre 2012
• 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). pages 91-97, IEEE, 2012

Blog Posts about our Work

• DZone - Detecting Social Capitalists on Twitter with Graph Databases ​http://architects.dzone.com/articles/detecting-social-capitalists
• Spasity technologies - Research with DEX: Detecting social capitalists on Twitter using similarity measures ​http://sparsity-technologies.com/blog/?p=634

Livrables

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.