2016
Journal articles
- titre
- Effect capabilities for Haskell: Taming effect interference in monadic programming
- auteur
- Ismael Figueroa, Nicolas Tabareau, Éric Tanter
- article
- Science of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
- Accès au bibtex
-
- titre
- Using finite transducers for describing and synthesising structural time-series constraints
- auteur
- Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
- article
- Constraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩
- Accès au texte intégral et bibtex
-
- titre
- SLA guarantees for cloud services
- auteur
- Damián Serrano, Sara Bouchenak, Yousri Kouki, Frederico Alvares de Oliveira Jr., Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
- article
- Future Generation Computer Systems, 2016, 54, pp.233-246. ⟨10.1016/j.future.2015.03.018⟩
- Accès au bibtex
-
- titre
- Lawvere-Tierney sheafification in Homotopy Type Theory
- auteur
- Kevin Quirin, Nicolas Tabareau
- article
- Journal of Formalized Reasoning, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Performance Analysis of Object Store Systems in a Fog/Edge Computing Infrastructures
- auteur
- Bastien Confais, Adrien Lebre, Benoît Parrein
- article
- CloudCom, Dec 2016, Luxembourg, Luxembourg
- Accès au texte intégral et bibtex
-
- titre
- Enabling Green Energy awareness in Interactive Cloud Application
- auteur
- Md Sabbir Hasan, Frederico Alvares de Oliveira, Thomas Ledoux, Jean-Louis Pazat
- article
- CloudCom 2016: IEEE International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. ⟨10.1109/CloudCom.2016.0071⟩
- Accès au texte intégral et bibtex
-
- titre
- AAL and Static Conflict Detection in Policy
- auteur
- Jean-Claude Royer, Anderson Santana de Oliveira
- article
- 15th International Conference on Cryptology and Network Security, Nov 2016, Milan, Italy. pp.362-382, ⟨10.1007/978-3-319-48965-0_22⟩
- Accès au bibtex
-
- titre
- Partial Type Equivalences for Verified Dependent Interoperability
- auteur
- Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter
- article
- ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
- Accès au texte intégral et bibtex
-
- titre
- Quel système de stockage pour les architectures Fog ?
- auteur
- Bastien Confais, Adrien Lebre, Benoît Parrein
- article
- Compas'2016, Jul 2016, Lorient, France
- Accès au texte intégral et bibtex
-
- titre
- TrustyDrive: a Multi-Cloud Storage Service that Protects Your Privacy
- auteur
- Rémy Pottier, Jean-Marc Menaud
- article
- IEEE 9th International Conference on Cloud Computing, Jun 2016, San Francisco, United States
- Accès au bibtex
-
- titre
- Time-Series Constraints: Improvements and Application in CP and MIP Contexts
- auteur
- Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
- article
- CPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, May 2016, Banff, Canada. pp.18-34, ⟨10.1007/978-3-319-33954-2⟩
- Accès au texte intégral et bibtex
-
- titre
- The Definitional Side of the Forcing
- auteur
- Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau
- article
- Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩
- Accès au texte intégral et bibtex
-
- titre
- Deploying Distributed Cloud Infrastructures: Who and at What Cost?
- auteur
- Adrien Lebre, Anthony Simonet, Anne-Cécile Orgerie
- article
- Proceedings of the fifth IEEE International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability, Apr 2016, Berlin, Germany. pp.6, ⟨10.1109/IC2EW.2016.48⟩
- Accès au texte intégral et bibtex
-
- titre
- Renaming Global Variables in C Mechanically Proved Correct
- auteur
- Julien Cohen
- article
- Fourth International Workshop on Verification and Program Transformation, Apr 2016, Eindhoven, Netherlands
- Accès au bibtex
-
Book sections
- titre
- Cloud Capacity Planning and Management
- auteur
- Yousri Kouki, Frederico Alvares de Oliveira, Thomas Ledoux
- article
- Encyclopedia of Cloud Computing, Wiley-IEEE Press, 2016, 978-1-118-82197-8. ⟨10.1002/9781118821930.ch23⟩
- Accès au bibtex
-
Habilitation à diriger des recherches
- titre
- Managing Logical and Computational Complexity using Program Transformations
- auteur
- Nicolas Tabareau
- article
- Category Theory [math.CT]. université de nantes, 2016
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Monitoring accountability policies with AccMon framework
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer
- article
- GDR-GPL, Jun 2016, Besançon, France
- Accès au texte intégral et bibtex
-
- titre
- Extensible Modules for JavaScript
- auteur
- Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
- article
- ACM Press. SAC '16 - 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. , Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp.3, 2016, ⟨10.1145/2851613.2851958⟩
- Accès au bibtex
-
Reports
- titre
- ENOS: a Holistic Framework for Conducting Scientific Evaluations of OpenStack
- auteur
- Ronan-Alexandre Cherrueau, Adrien Lebre, Dimitri Pertin, Anthony Simonet, Matthieu Simonin
- article
- [Technical Report] RT-0485, Inria Rennes Bretagne Atlantique; Nantes. 2016
- Accès au texte intégral et bibtex
-
- titre
- A Ring to Rule Them All - Revising OpenStack Internals to Operate Massively Distributed Clouds
- auteur
- Adrien Lebre, Jonathan Pastor, Frédéric Desprez
- article
- [Technical Report] RT-0480, INRIA. 2016, pp.1-24
- Accès au texte intégral et bibtex
-
Theses
- titre
- Langage dédié au traitement des événements complexes et modélisation des usages pour les réseaux de capteurs
- auteur
- Alexandre Garnier
- article
- Informatique et langage [cs.CL]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0287⟩
- Accès au texte intégral et bibtex
-
- titre
- Lawvere-Tierney sheafification in Homotopy Type Theory
- auteur
- Kevin Quirin
- article
- Logic in Computer Science [cs.LO]. Ecole des Mines de Nantes, 2016. English. ⟨NNT : 2016EMNA0298⟩
- Accès au texte intégral et bibtex
-
- titre
- Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript
- auteur
- Florent Marchand de Kerchove
- article
- Langage de programmation [cs.PL]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0223⟩
- Accès au texte intégral et bibtex
-
- titre
- Un langage de composition des techniques de sécurité pour préserver la vie privée dans le nuage
- auteur
- Ronan-Alexandre Cherrueau
- article
- Cryptographie et sécurité [cs.CR]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0233⟩
- Accès au texte intégral et bibtex
-
- titre
- Contributions à la mise en place d'une infrastructure de Cloud Computing à large échelle
- auteur
- Jonathan Pastor
- article
- Autre [cs.OH]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0240⟩
- Accès au texte intégral et bibtex
-
- titre
- Analyses et préconisations pour les centres de données virtualisés
- auteur
- Frédéric Dumont
- article
- Calcul parallèle, distribué et partagé [cs.DC]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0249⟩
- Accès au texte intégral et bibtex
-
- titre
- Gestion autonomique de l'élasticité multi-couche des applications dans le Cloud : vers une utilisation efficiente des ressources et des services du Cloud
- auteur
- Simon Dupont
- article
- Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0239⟩
- Accès au texte intégral et bibtex
-