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

INEx - Cloud Computing: Experiments and Verification

2011-2013

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

• Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. ​Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. In ACM Symposium on Applied Computing (SAC), pages 1577-1584. ACM Press, 2014
• Frédéric Loulergue, Virginia Niculescu, and Simon Robillard. ​Powerlists in Coq: Programming and Reasoning. In First International Symposium on Computing and Networking (CANDAR). IEEE Computer Society, 2013.
• 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
• Spasity technologies, ​Research with DEX: Detecting social capitalists on Twitter using similarity measures
• MIT Technology Review, ​The Emerging Threat from Twitter's Social Capitalists

Livrables

Funding / Financement

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