[[Image(http://www-03.ibm.com/ibm/history/exhibits/logo/images/920911.jpg, nolink, right, width=240)]] [[Image(http://www.loiret.com/images/bandeau_h1_cg45.gif, nolink, right, width=240)]] [[Image(lifo.png, nolink, right, width=240)]] [[Image(inex.png, nolink, right, width=300)]] = INEx - __I__nformatique en __N__uage: __Ex__périmentations et vérification = = INEx - Cloud Computing: Experiments and Verification = = 2011-2013 = == Equipe / Team Members == * Eric Allain, IBM * Mostafa Bamha, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] * Yohan Boichut, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] * Jean-Michel Couvreur, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] * Nicolas Dugué, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] * !AbdelAli Ed-Dbali, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] * Sébastien Guibert, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] * Frédéric Loulergue (responsable/PI), [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] * Frédéric Moal, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] * Anthony Perez, [http://www.univ-orleans.fr/lifo LIFO], [http://www.univ-orleans.fr Université d'Orléans] Past members: Abdeljalil Abajjane == Events / Evénements == * 18 janvier 2013, deuxième [http://traclifo.univ-orleans.fr/INEX/wiki/JINO-2 Journée Informatique en Nuage à Orléans] * 10 juillet 2012, première [http://traclifo.univ-orleans.fr/INEX/wiki/JINO-1 Journée Informatique en Nuage à Orléans] == Publications == === Conferences / Colloques === * Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, and Zhenjiang Hu. [http://doi.acm.org/10.1145/2554850.2554912 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. [http://dx.doi.org/10.1109/CANDAR.2013.17 Powerlists in Coq: Programming and Reasoning]. In First International Symposium on Computing and Networking (CANDAR). IEEE Computer Society, 2013. * Nicolas Dugué, Anthony Perez, [http://link.springer.com/chapter/10.1007/978-3-642-36844-8_1 Detecting social capitalists on Twitter using similarity measures]. In Complex Networks IV, SCI 476, pages 1-12, Springer, 2013. * Nicolas Dugué, Anthony Perez, [http://editions-rnti.fr/?inprocid=1001852 Les capitalistes sociaux sur Twitter : détection via des mesures de similarité]. EGC'2013, "Revue des Nouvelles Technologies de l'Information", [http://www.editions-hermann.fr/ficheproduit.php?lang=fr&menu=11&prodid=1376 RNTI-E-24], pages 329-334, Hermann, 2013. * Yohan Boichut, Benoît Boyer, Thomas Genet, and Axel Legay. [http://dx.doi.org/10.1007/978-3-642-34281-3_22 Equational Abstraction Refinement for Certified Tree Regular Model Checking]. In ICFEM, number 7635 in LNCS, pages 299-315. Springer, 2012. * Nicolas Dugué, Anthony Perez, [http://lipn.univ-paris13.fr/marami12/actes/dugue.pdf 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. [http://dx.doi.org/10.1109/HPCSim.2012.6266896 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, [http://architects.dzone.com/articles/detecting-social-capitalists Detecting Social Capitalists on Twitter with Graph Databases] * Spasity technologies, [http://sparsity-technologies.com/blog/?p=634 Research with DEX: Detecting social capitalists on Twitter using similarity measures] * MIT Technology Review, [http://www.technologyreview.com/view/528746/the-emerging-threat-from-twitters-social-capitalists/ The Emerging Threat from Twitter's Social Capitalists] == [wiki:Livrables] == == Funding / Financement == The INEx project was a joint project with IBM. It was supported by the [http://www.loiret.com local government of Loiret]. [[BR]] Le projet INEx était un projet conjoint avec la société IBM et était subventionné par le [http://www.loiret.com Conseil Général du Loiret].