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
- 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
- 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
- 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
- Complex event processing domain-specific language and modelling of usages for sensors networks
- 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
- Extending interpreters by diverting, or how to extend interpreters without modifying their source code
- 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
- A Compositional Language of Security Techniques for Information Privacy in the Cloud
- 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 to massively distributed Cloud Computing infrastructures
- 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
- Analysis and recommendations for virtualized datacenters
- 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
- Crosslayer elasticity management for Cloud : towards an efficient usage of Cloud resources and services
- 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
-
2015
Journal articles
- titre
- SimGrid VM: Virtual Machine Support for a Simulation Framework of Distributed Systems
- auteur
- Laurent Pouilloux, Takahiro Hirofuchi, Adrien Lebre
- article
- IEEE Transactions on Cloud Computing, 2015, ⟨10.1109/TCC.2015.2481422⟩
- Accès au texte intégral et bibtex
-
- titre
- A Taxonomy of Domain-Specific Aspect Languages
- auteur
- Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter
- article
- ACM Computing Surveys, 2015, 47 (3), pp.44. ⟨10.1145/2685028⟩
- Accès au bibtex
-
Conference papers
- titre
- Opportunistic Scheduling in Clouds Partially Powered by Green Energy
- auteur
- Yunbo Li, Anne-Cécile Orgerie, Jean-Marc Menaud
- article
- IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia
- Accès au texte intégral et bibtex
-
- titre
- Energy-Aware Massively Distributed Cloud Facilities: The DISCOVERY Initiative
- auteur
- Frédéric Desprez, Shadi Ibrahim, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Anthony Simonet
- article
- IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia. pp.476 - 477, ⟨10.1109/DSDIS.2015.58⟩
- Accès au texte intégral et bibtex
-
- titre
- Abstract Accountability Language: Translation, Compliance and Application
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
- article
- ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
- Accès au bibtex
-
- titre
- Gradual Certified Programming in Coq
- auteur
- Éric Tanter, Nicolas Tabareau
- article
- 11th ACM Dynamic Languages Symposium (DLS 2015), Oct 2015, Pittsburgh, United States. ⟨10.1145/2816707.2816710⟩
- Accès au bibtex
-
- titre
- Experimental Analysis on Autonomic Strategies for Cloud Elasticity
- auteur
- Simon Dupont, Jonathan Lejeune, Frederico Alvares, Thomas Ledoux
- article
- 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2015, Cambridge, United States. ⟨10.1109/ICCAC.2015.22⟩
- Accès au texte intégral et bibtex
-
- titre
- Reducing synchronization cost in distributed multi-resource allocation problem
- auteur
- Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
- article
- ICPP 2015 - 44th International Conference on Parallel Processing, Sep 2015, Beijing, China. pp.540-549, ⟨10.1109/ICPP.2015.63⟩
- Accès au texte intégral et bibtex
-
- titre
- Lazy Evaluation for OCL
- auteur
- Massimo Tisi, Rémi Douence, Dennis Wagelaar
- article
- Models 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
- Accès au bibtex
-
- titre
- VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms
- auteur
- Adrien Lebre, Jonathan Pastor, Mario Südholt
- article
- Europar 2015, Aug 2015, Vienne, Austria
- Accès au texte intégral et bibtex
-
- titre
- Virtual Machine Introspection: Techniques and Applications
- auteur
- Yacine Hebbal, Sylvie Laniepce, Jean-Marc Menaud
- article
- International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France
- Accès au bibtex
-
- titre
- SensorScript: a Domain-Specific Language for Sensor Networks
- auteur
- Alexandre Garnier, Rémy Pottier, Jean-Marc Menaud
- article
- International Conference on Future Internet of Things and Cloud (FiCloud-2015), Aug 2015, Rome, Italy
- Accès au bibtex
-
- titre
- A Language for the Composition of Privacy-Enforcement Techniques
- auteur
- Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt
- article
- IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, Aug 2015, Helsinki, Finland. pp.1037 - 1044, ⟨10.1109/Trustcom.2015.480⟩
- Accès au texte intégral et bibtex
-
- titre
- SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteurs
- auteur
- Alexandre Garnier, Jean-Marc Menaud, Rémy Pottier
- article
- Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
- Accès au bibtex
-
- titre
- Monitoring de l’utilisation mémoire et CPU par processus, basé sur l’introspection de machines virtuelles
- auteur
- Frédéric Dumont, Jean-Marc Menaud, Sylvie Laniepce
- article
- Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
- Accès au bibtex
-
- titre
- Checking Accountability with a Prover
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
- article
- 39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩
- Accès au bibtex
-
- titre
- Delta Scaling: How Resources Scalability/Termination Can Be Taken Place Economically?
- auteur
- Yousri Kouki, Md Sabbir Hasan, Thomas Ledoux
- article
- 11th World Congress on Services (SERVICES), IEEE, Jun 2015, New York, United States. pp.55-62, ⟨10.1109/SERVICES.2015.17⟩
- Accès au texte intégral et bibtex
-
- titre
- Synthesizing Realistic Cloud Workload Traces for Studying Dynamic Ressource System Management
- auteur
- Jean-Marc Menaud, Frederic Dumont
- article
- International Conference on Cloud Computing and Big Data, Jun 2015, Huangshan, China
- Accès au bibtex
-
- titre
- The EPOC project: Energy Proportional and Opportunistic Computing system
- auteur
- Nicolas Beldiceanu, Bárbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier Roux, Ammar Sharaiha
- article
- International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
- Accès au texte intégral et bibtex
-
- titre
- Adding Storage Simulation Capacities to the SimGrid Toolkit: Concepts, Models, and API
- auteur
- Adrien Lebre, Arnaud Legrand, Frédéric Suter, Pierre Veyre
- article
- CCGrid 2015 - Proceedings of the 15th IEEE/ACM Symposium on Cluster, Cloud and Grid Computing, May 2015, Shenzhen, China. pp.251-260, ⟨10.1109/CCGrid.2015.134⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Modular Instrumentation of Interpreters in JavaScript
- auteur
- Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
- article
- FOAL - Foundations of Aspect-Oriented Languages, Mar 2015, Fort Collins, United States. ⟨10.1145/2735386.2736753⟩
- Accès au texte intégral et bibtex
-
- titre
- Wild omega-Categories for the Homotopy Hypothesis in Type Theory
- auteur
- André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
- article
- Typed Lambda Calculi and Applications, 2015, Varsovie, Poland. pp.226-240, ⟨10.4230/LIPIcs.TLCA.2015.226⟩
- Accès au bibtex
-
Book sections
- titre
- From Regulatory Obligations to Enforceable Accountability Policies in the Cloud
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Sanatan de Oliveira, Karin Bernsmed
- article
- Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
- Accès au bibtex
-
Habilitation à diriger des recherches
- titre
- Modular non-modular composition
- auteur
- Rémi Douence
- article
- Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015
- Accès au texte intégral et bibtex
-
Master thesis
- titre
- Ensembles nominaux dans Coq/SSreflect
- auteur
- Gabriel Lewertowski
- article
- Langage de programmation [cs.PL]. 2015
- Accès au texte intégral et bibtex
-
Reports
- titre
- A Correct Refactoring Operation to Rename Global Variables in C Programs
- auteur
- Julien Cohen
- article
- [Research Report] LINA-University of Nantes. 2015
- Accès au texte intégral et bibtex
-
- titre
- The DISCOVERY Initiative - Overcoming Major Limitations of Traditional Server-Centric Clouds by Operating Massively Distributed IaaS Facilities
- auteur
- Adrien Lebre, Jonathan Pastor, . The Discovery Consortium
- article
- [Research Report] RR-8779, Inria. 2015, pp.14
- Accès au texte intégral et bibtex
-
- titre
- A Language for the Composition of Privacy-Enforcement Techniques
- auteur
- Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt
- article
- [Research Report] RR-8720, Inria Rennes; École des Mines de Nantes; INRIA. 2015
- Accès au texte intégral et bibtex
-
- titre
- Reducing synchronization cost in distributed multi-resource allocation problem
- auteur
- Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
- article
- [Research Report] RR-8689, Ecole des Mines de Nantes, Inria, LINA; Sorbonne Universités, UPMC, CNRS, Inria, LIP6; INRIA. 2015
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation
- auteur
- Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
- article
- 2015
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Adapting Transformations to Metamodel Changes via External Transformation Composition
- auteur
- Kelly Garces, Juan M. Vara, Frédéric Jouault, Esperanza Marcos
- article
- Software and Systems Modeling, 2014, pp.789-806. ⟨10.1007/s10270-012-0297-1⟩
- Accès au bibtex
-
- titre
- Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications
- auteur
- Éric Tanter, Ismael Figueroa, Nicolas Tabareau
- article
- Science of Computer Programming, 2014, 80 (1), pp.311-342. ⟨10.1016/j.scico.2013.09.002⟩
- Accès au bibtex
-
- titre
- Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
- auteur
- Ismael Figueroa, Nicolas Tabareau, Éric Tanter
- article
- LNCS Transactions on Aspect-Oriented Software Development, 2014
- Accès au texte intégral et bibtex
-
- titre
- Propagation Engine Prototyping with a Domain Specific Language
- auteur
- Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien
- article
- Constraints, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Accountability for Data Protection
- auteur
- Mohamed Sellami, Jean-Claude Royer, Walid Benghabrit
- article
- International Workshop on Computational Intelligence for Multimedia Understanding, Nov 2014, Paris, France
- Accès au bibtex
-
- titre
- GBFS: Efficient Data-Sharing on Hybrid Platforms. Towards adding WAN-Wide elasticity to DFSes.
- auteur
- Adrien Lebre, Gustavo Bervian Brand
- article
- WPBA Workshop in Proceedings of 26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France
- Accès au bibtex
-
- titre
- Effect Capabilities For Haskell
- auteur
- Ismael Figueroa, Nicolas Tabareau, Éric Tanter
- article
- Brazilian Symposium on Programming Languages (SBLP), Sep 2014, Maceio, Brazil
- Accès au texte intégral et bibtex
-
- titre
- Lazier Imperative Programming
- auteur
- Rémi Douence, Nicolas Tabareau
- article
- Principles and Practice of Declarative Programming (PPDP), Sep 2014, Canterbury, United Kingdom
- Accès au bibtex
-
- titre
- Accountability for Abstract Component Design
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
- article
- EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩
- Accès au bibtex
-
- titre
- Locality-aware Cooperation for VM Scheduling in Distributed Clouds
- auteur
- Jonathan Pastor, Marin Bertier, Frédéric Desprez, Adrien Lebre, Flavien Quesnel, Cédric Tedeschi
- article
- Euro-Par 2014, Aug 2014, Porto, Portugal
- Accès au bibtex
-
- titre
- Cloud Energy Broker: Towards SLA-driven Green Energy Planning for IaaS Providers
- auteur
- Md Sabbir Hasan, Yousri Kouki, Thomas Ledoux, Jean-Louis Pazat
- article
- IEEE Internatonal Conference on High Performance Computing and Communications, HPCC 2014, Aug 2014, Paris, France. pp.1-8, ⟨10.1109/HPCC.2014.44⟩
- Accès au bibtex
-
- titre
- Universe Polymorphism in Coq
- auteur
- Matthieu Sozeau, Nicolas Tabareau
- article
- Interactive Theorem Proving, Jul 2014, Vienna, Austria
- Accès au bibtex
-
- titre
- Abstract Accountability Language
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, Anderson Santana de Oliveira
- article
- IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236
- Accès au bibtex
-
- titre
- Enforcing Expressive Accountability Policies
- auteur
- Ronan-Alexandre Cherrueau, Mario Südholt
- article
- WETICE - IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Sumitra Reddy, Jun 2014, Parma, Italy. pp.333--338, ⟨10.1109/WETICE.2014.71⟩
- Accès au bibtex
-
- titre
- A Language Support for Cloud Elasticity Management
- auteur
- Yousri Kouki, Frederico Alvares de Oliveira Jr., Simon Dupont, Thomas Ledoux
- article
- IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2014, May 2014, Chicago, United States. pp.1-8, ⟨10.1109/CCGrid.2014.17⟩
- Accès au bibtex
-
- titre
- Aspectual Session Types
- auteur
- Nicolas Tabareau, Mario Südholt, Éric Tanter
- article
- Modularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. ⟨10.1145/2577080.2577085⟩
- Accès au texte intégral et bibtex
-
- titre
- Compositional Reasoning About Aspect Interference
- auteur
- Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
- article
- 13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland
- Accès au bibtex
-
- titre
- A Cloud Accountability Policy Representation Framework
- auteur
- Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana de Oliveira, Karin Bernsmed
- article
- CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain
- Accès au bibtex
-
- titre
- JEScala: Modular Coordination with Declarative Events and Joins
- auteur
- Jurgen Michael van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé
- article
- Modularity '14 - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland
- Accès au bibtex
-
- titre
- PASCS 2014: Privacy and Accountability for Software and Cloud Services
- auteur
- Mohamed Sellami, Jean-Claude Royer, Anderson Santana de Oliveira
- article
- 2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, Parma, Italy. pp.332
- Accès au bibtex
-
Book sections
- titre
- Beyond The Clouds, How Should Next Generation Utility Computing Infrastructures Be Designed?
- auteur
- Marin Bertier, Frédéric Desprez, Gilles Fedak, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Flavien Quesnel, Jonathan Rouzaud-Cornabas, Cédric Tedeschi
- article
- Mahmood, Zaigham. Cloud Computing: Challenges, Limitations and R&D Solutions, Springer, 2014, ISBN 978-3-319-10529-1
- Accès au texte intégral et bibtex
-
- titre
- Software Architecture for Product Lines
- auteur
- Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, Jean-Claude Royer
- article
- Mourad Oussalah. Software Architecture 1, Wiley-ISTE, pp.171-210, 2014, 978-1-84821-600-6. ⟨10.1002/9781118930960.ch5⟩
- Accès au bibtex
-
Reports
- titre
- Lazier Imperative Programming
- auteur
- Rémi Douence, Nicolas Tabareau
- article
- [Research Report] RR-8569, INRIA. 2014
- Accès au texte intégral et bibtex
-
Theses
- titre
- A chemical programming language for orchestrating services : Application to interoperability problems
- auteur
- Mayleen Lacouture
- article
- Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0011⟩
- Accès au texte intégral et bibtex
-
- titre
- A logical study of program equivalence
- auteur
- Guilhem Jaber
- article
- Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0124⟩
- Accès au texte intégral et bibtex
-
- titre
- Loose coupling and substitution principle in objet-oriented frameworks for web services
- auteur
- Diana Allam
- article
- Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0115⟩
- Accès au texte intégral et bibtex
-
- titre
- Power management in virtualized data centers : Form a load scenario to the optimization of the tasks placement
- auteur
- Guillaume Le Louët
- article
- Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0119⟩
- Accès au texte intégral et bibtex
-
- titre
- Effective aspects : A typed monadic model to control and reason about aspect interference
- auteur
- Ismael Figueroa
- article
- Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0220⟩
- Accès au texte intégral et bibtex
-
- titre
- Controlling propagation and search within a constraint solver
- auteur
- Charles Prud'Homme
- article
- Intelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- RightCapacity: SLA-driven Cross-Layer Cloud Elasticity Management
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- International Journal of Next-Generation Computing, 2013, 4 (3), pp.250-262. ⟨10.47164/ijngc.v4i3.56⟩
- Accès au bibtex
-
- titre
- Denotational Semantics of A User-Oriented, Domain-Specific Language
- auteur
- Julien Mercadal, Zoé Drey, Charles Consel
- article
- Electronic Proceedings in Theoretical Computer Science, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
- Accès au texte intégral et bibtex
-
- titre
- Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses
- auteur
- Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
- article
- Automated Software Engineering, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩
- Accès au bibtex
-
- titre
- Modular and Flexible Causality Control on the Web
- auteur
- Paul Leger, Éric Tanter, Rémi Douence
- article
- Science of Computer Programming, 2013
- Accès au bibtex
-
Conference papers
- titre
- OptiPlace: designing cloud management with flexible power models through constraint programing
- auteur
- Guillaume Le Louët, Jean-Marc Menaud
- article
- International Conference on Utility and Cloud Computing, Dec 2013, Dresden, Germany
- Accès au bibtex
-
- titre
- Adapting workflows using generic schemas: application to the security of business processes
- auteur
- Ronan-Alexandre Cherrueau, Mario Südholt, Omar Chebaro
- article
- CloudCom - 5th IEEE International Conference on Cloud Computing Technology and Science - 2013, Dec 2013, Bristol, United Kingdom. pp.519-524
- Accès au bibtex
-
- titre
- The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success
- auteur
- Diana Allam, Hervé Grall, Jean-Claude Royer
- article
- The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria
- Accès au bibtex
-
- titre
- Using the EXECO toolbox to perform automatic and reproducible cloud experiments
- auteur
- Matthieu Imbert, Laurent Pouilloux, Jonathan Rouzaud-Cornabas, Adrien Lebre, Takahiro Hirofuchi
- article
- 1st International Workshop on UsiNg and building ClOud Testbeds (UNICO, collocated with IEEE CloudCom 2013, Dec 2013, Bristol, United Kingdom. ⟨10.1109/CloudCom.2013.119⟩
- Accès au texte intégral et bibtex
-
- titre
- Adding a Live Migration Model Into SimGrid, One More Step Toward the Simulation of Infrastructure-as-a-Service Concerns
- auteur
- Takahiro Hirofuchi, Adrien Lebre, Laurent Pouilloux
- article
- 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2013), Dec 2013, Bristol, United Kingdom
- Accès au bibtex
-
- titre
- Adding Virtual Machine Abstractions Into SimGrid, A First Step Toward the Simulation of Infrastructure-as-a-Service Concerns
- auteur
- Takahiro Hirofuchi, Adrien Lebre
- article
- Third International Conference on Cloud and Green Computing (CGC 2013), Sep 2013, Karlsruhe, Germany
- Accès au bibtex
-
- titre
- Transformations between Composite and Visitor implementations in Java
- auteur
- Akram Ajouli, Julien Cohen, Jean-Claude Royer
- article
- 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain. 8 p
- Accès au texte intégral et bibtex
-
- titre
- Reference monitors for security and interoperability in OAuth 2.0
- auteur
- Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico
- article
- SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
- Accès au bibtex
-
- titre
- Estimating the Power Consumption of an Idle Virtual Machine
- auteur
- Flavien Quesnel, Hemant Kumar Mehta, Jean-Marc Menaud
- article
- The 2013 IEEE International Conference on Green Computing and Communications (GreenCom 2013), Aug 2013, Beijing, China
- Accès au bibtex
-
- titre
- Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling
- auteur
- Flavien Quesnel, Adrien Lebre, Jonathan Pastor, Mario Südholt, Daniel Balouek
- article
- ISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, Jul 2013, Melbourne, Australia
- Accès au bibtex
-
- titre
- Enabling Large-Scale Testing of IaaS Cloud Platforms on the Grid'5000 Testbed
- auteur
- Sébastien Badia, Alexandra Carpen-Amarie, Adrien Lebre, Lucas Nussbaum
- article
- TTC - 1st International Workshop on Testing The Cloud, co-located with ISSTA 2013, ACM - SGIPLAN, Jul 2013, Lugano, Switzerland. pp.7-12, ⟨10.1145/2489295.2489298⟩
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Scalability of a Consolidation Service
- auteur
- Ahmed El Rheddane, Noel de Palma, Fabienne Boyer, Frédéric Dumont, Jean-Marc Menaud, Alain Tchana
- article
- International Conference on Cloud Computing, Indus Track, Jun 2013, Santa Clara Marriott, United States. pp.01-09
- Accès au texte intégral et bibtex
-
- titre
- A framework for the coordination of multiple autonomic managers in cloud environments
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux, Remi Sharrock
- article
- IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2013, Philadelphia (PA), United States. pp.179-188
- Accès au bibtex
-
- titre
- Flauncher and DVMS -- Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically
- auteur
- Daniel Balouek, Adrien Lebre, Flavien Quesnel
- article
- IEEE International Scalable Computing Challenge (SCALE 2013), held in conjunction with CCGrid'2013, May 2013, Delft, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- Towards QoS-Oriented SLA Guarantees for Online Cloud Services
- auteur
- Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
- article
- The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), May 2013, Delft, Netherlands. pp.50-57, ⟨10.1109/CCGrid.2013.66⟩
- Accès au texte intégral et bibtex
-
- titre
- From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping
- auteur
- Diana Allam, Hervé Grall, Jean-Claude Royer
- article
- WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
- Accès au texte intégral et bibtex
-
- titre
- StressCloud: An infrastructure stresser for Virtual Machine Managers
- auteur
- Guillaume Le Louët, Jean-Marc Menaud
- article
- Energy Efficiency in Large Scale Distributed Systems conference, Apr 2013, Austria. pp.01-08
- Accès au bibtex
-
- titre
- Taming aspects with monads and membranes
- auteur
- Ismael Figueroa, Nicolas Tabareau, Éric Tanter
- article
- FOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩
- Accès au texte intégral et bibtex
-
- titre
- Aspectizing JavaScript Security
- auteur
- Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
- article
- MISS - 3rd Workshop on Modularity In Systems Software, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451613.2451616⟩
- Accès au texte intégral et bibtex
-
- titre
- A Typed Monadic Embedding of Aspects
- auteur
- Nicolas Tabareau, Ismael Figueroa, Éric Tanter
- article
- 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan
- Accès au texte intégral et bibtex
-
- titre
- SCAling : SLA-driven Cloud Auto-scaling
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- ACM Symposium on Applied Computing, SAC 2013, Mar 2013, Coimbra, Portugal. pp.411-414
- Accès au bibtex
-
- titre
- Practical use of static composition of refactoring operations
- auteur
- Julien Cohen, Akram Ajouli
- article
- ACM Symposium on Applied Computing (SAC), Mar 2013, Coimbra, Portugal. pp.1700-1705, ⟨10.1145/2480362.2480684⟩
- Accès au texte intégral et bibtex
-
- titre
- Flexible and expressive aspect-based control over service compositions in the Cloud
- auteur
- Ronan-Alexandre Cherrueau, Omar Chebaro, Mario Südholt
- article
- 4th International Workshop on Variability & Composition, Mar 2013, Fukuoka, Japan
- Accès au bibtex
-
- titre
- Anti-Unification with Type Classes
- auteur
- Nicolas Tabareau, Éric Tanter, Ismael Figueroa
- article
- Journées Francophones des Langages Applicatifs (JFLA), Feb 2013, Aussois, France
- Accès au texte intégral et bibtex
-
- titre
- StressCloud, un outils d'évaluation pour les gestionnaires d'infrastructure virtualisée
- auteur
- Guillaume Le Louët, Jean-Marc Menaud
- article
- Conférence Française en Systèmes d'Exploitation, Jan 2013, Grenoble, France. pp.01-12
- Accès au bibtex
-
- titre
- SLA et qualité de service pour le Cloud Computing
- auteur
- Yousri Kouki, Thomas Ledoux, Damián Serrano, Sara Bouchenak, Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
- article
- Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11
- Accès au bibtex
-
- titre
- A Server Consolidation Problem: Definition and Model
- auteur
- Lionel Eyraud-Dubois, Adrien Lebre, Patrick Martineau, Ameur Soukhal, Vincent t'Kindt, Denis Trystram
- article
- Proceedings of the 14th conference ROADEF, 2013, Troyes, France
- Accès au bibtex
-
- titre
- Prototyper des Moteurs de Propagation avec un DSL
- auteur
- Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien
- article
- Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Architectures logicielles pour les lignes de produits
- auteur
- Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, Jean-Claude Royer
- article
- Architectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4
- Accès au bibtex
-
- titre
- Adding Virtualization Capabilities to the Grid'5000 Testbed
- auteur
- Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot, Emmanuel Jeanvoine, Adrien Lebre, David Margery, Nicolas Niclausse, Lucas Nussbaum, Olivier Richard, Christian Pérez, Flavien Quesnel, Cyril Rohr, Luc Sarzyniec
- article
- Ivanov, IvanI. and Sinderen, Marten and Leymann, Frank and Shan, Tony. Cloud Computing and Services Science, 367, Springer International Publishing, pp.3-20, 2013, Communications in Computer and Information Science, 978-3-319-04518-4. ⟨10.1007/978-3-319-04519-1_1⟩
- Accès au bibtex
-
Other publications
- titre
- Accountability for Cloud and Other Future Internet Services
- auteur
- Siani Pearson, Vasilis Tountopoulos, Daniele Catteddu, Mario Südholt, Refik Molva, Christoph Reich
- article
- 2013
- Accès au bibtex
-
Reports
- titre
- Beyond The Cloud, How Should Next Generation Utility Computing Infrastructures Be Designed?
- auteur
- Adrien Lebre, Jonathan Pastor, Marin Bertier, Frédéric Desprez, Jonathan Rouzaud-Cornabas, Cédric Tedeschi, Paolo Anedda, Gianluigi Zanetti, Ramon Nou, Toni Cortes, Etienne Rivière, Thomas Ropars
- article
- [Research Report] RR-8348, INRIA. 2013
- Accès au texte intégral et bibtex
-
- titre
- Refactoring Composite to Visitor and Inverse Transformation in Java
- auteur
- Akram Ajouli, Julien Cohen
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Contraction analysis of nonlinear random dynamical systems
- auteur
- Nicolas Tabareau, Jean-Jacques Slotine
- article
- [Research Report] RR-8368, INRIA. 2013, pp.17
- Accès au texte intégral et bibtex
-
Theses
- titre
- SLA-driven cloud elasticity anagement approach
- auteur
- Yousri Kouki
- article
- Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0134⟩
- Accès au texte intégral et bibtex
-
- titre
- Views and program transformations for modular maintenances
- auteur
- Akram Ajouli
- article
- Autre. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0112⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi Autonomic Management for Optimizing Energy Consumption in Cloud Infrastructures
- auteur
- Frederico Guilherme Alvares de Oliveira Junior
- article
- Software Engineering [cs.SE]. Université de Nantes, 2013. English. ⟨NNT : ED 503-186⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward cooperative management of large-scale virtualized infrastructures : the case of scheduling
- auteur
- Flavien Quesnel
- article
- Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2013. Français. ⟨NNT : 2013EMNA0046⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Univalence for free
- auteur
- Matthieu Sozeau, Nicolas Tabareau
- article
- 2013
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS
- auteur
- Flavien Quesnel, Adrien Lebre, Mario Südholt
- article
- Concurrency and Computation: Practice and Experience, 2012, pp.XX
- Accès au bibtex
-
- titre
- Essential AOP: The A Calculus
- auteur
- Bruno de Fraine, Erik Ernst, Mario Südholt
- article
- ACM Transactions on Programming Languages and Systems (TOPLAS), 2012, ⟨10.1145/2362389.2362391⟩
- Accès au bibtex
-
- titre
- Self-management of cloud applications and infrastructure for energy optimization
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux
- article
- Operating Systems Review, 2012, 46 (2), pp.10-18. ⟨10.1145/2331576.2331579⟩
- Accès au bibtex
-
- titre
- Architecture for the next generation system management tools
- auteur
- Jérôme Gallard, Adrien Lebre, Christine Morin, Thomas Naughton, Stephen L. Scott, Geoffroy Vallée
- article
- Future Generation Computer Systems, 2012, 28 (1), pp.136-146. ⟨10.1016/j.future.2011.06.003⟩
- Accès au bibtex
-
Conference papers
- titre
- SLA-driven Capacity Planning for Cloud applications
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2012, Dec 2012, Taipei, Taiwan. pp.135-140
- Accès au bibtex
-
- titre
- Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
- auteur
- Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov
- article
- ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
- Accès au bibtex
-
- titre
- Extending Type Theory with Forcing
- auteur
- Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau
- article
- LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
- Accès au texte intégral et bibtex
-
- titre
- An Automatic Reversible Transformation from Composite to Visitor in Java
- auteur
- Akram Ajouli
- article
- CIEL 2012 - Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
- auteur
- Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux
- article
- 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
- Accès au texte intégral et bibtex
-
- titre
- E\{Java, CaesarJ, Scala\} : un exercice d'intégration de la programmation par objets, par aspects et par évènements
- auteur
- Jacques Noyé
- article
- Quatrièmes journées nationales du GDR GPL, Jun 2012, Rennes, France. pp.85-86
- Accès au texte intégral et bibtex
-
- titre
- A lesson on structural testing with PathCrawler-online.com
- auteur
- Omar Chebaro, Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger
- article
- 6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp.0-0
- Accès au bibtex
-
- titre
- A Message-Passing Model for Service Oriented Computing
- auteur
- Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
- article
- WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
- Accès au texte intégral et bibtex
-
- titre
- CSLA : a Language for improving Cloud SLA Management
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- International Conference on Cloud Computing and Services Science, CLOSER 2012, Apr 2012, Porto, Portugal. pp.586-591
- Accès au bibtex
-
- titre
- Invertible Program Restructurings for Continuing Modular Maintenance
- auteur
- Julien Cohen, Rémi Douence, Akram Ajouli
- article
- 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Mar 2012, Szeged, Hungary. pp.347-352, ⟨10.1109/CSMR.2012.42⟩
- Accès au texte intégral et bibtex
-
- titre
- A Practical Monadic Aspect Weaver
- auteur
- Ismael Figueroa, Éric Tanter, Nicolas Tabareau
- article
- Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
- Accès au texte intégral et bibtex
-
- titre
- A Monadic Interpretation of Execution Levels and Exceptions for AOP
- auteur
- Nicolas Tabareau
- article
- Modularity: AOSD'12, Mar 2012, Postdam, Germany
- Accès au texte intégral et bibtex
-
- titre
- Taming Aspects with Membranes
- auteur
- Éric Tanter, Nicolas Tabareau, Rémi Douence
- article
- Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
- Accès au texte intégral et bibtex
-
- titre
- A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
- auteur
- Diana Allam
- article
- AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩
- Accès au texte intégral et bibtex
-
- titre
- btrScript : a safe management system for virtualized data center
- auteur
- Jean-Marc Menaud, Rémy Pottier
- article
- ICAS 2012 - The Eighth International Conference on Autonomic and Autonomous Systems, Mar 2012, St. Maarten, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- Adding high-level concurrency to EScala
- auteur
- Jurgen Michael van Ham
- article
- Aspect-oriented software development, Mar 2012, Potsdam, Germany. pp.19-20, ⟨10.1145/2162110.2162125⟩
- Accès au bibtex
-
- titre
- Proceedings of the seventh workshop on Domain-Specific Aspect Languages (DSAL 2012)
- auteur
- Tom Dinkelaker, Johan Fabry, Jacques Noyé
- article
- AOSD - Aspect-Oriented Software Development - 2012, Mar 2012, Potsdam, Germany
- Accès au bibtex
-
Book sections
- titre
- Self-management of applications and systems to optimize energy in data centers
- auteur
- Frederico Alvares de Oliveira Jr., Adrien Lebre, Thomas Ledoux, Jean-Marc Menaud
- article
- Ivona Brandic and Massimo Villari and Francesco Tusa. Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice, IGI Global, 2012, ⟨10.4018/978-1-4666-1631-8.ch019⟩
- Accès au bibtex
-
Other publications
- titre
- Forcing in Coq
- auteur
- Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber
- article
- 2012
- Accès au bibtex
-
Books
- titre
- Model-Driven and Software Product Line Engineering
- auteur
- Hugo Arboleda, Jean-Claude Royer
- article
- ISTE LTd and John Wiley & Sons, Inc., pp.288, 2012, 978-1-84821-427-9
- Accès au bibtex
-
Reports
- titre
- Adding Virtualization Capabilities to Grid'5000
- auteur
- Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot, Emmanuel Jeanvoine, Adrien Lebre, David Margery, Nicolas Niclausse, Lucas Nussbaum, Olivier Richard, Christian Pérez, Flavien Quesnel, Cyril Rohr, Luc Sarzyniec
- article
- [Research Report] RR-8026, INRIA. 2012, pp.18
- Accès au texte intégral et bibtex
-
- titre
- From Implicit to Explicit Pavings
- auteur
- Gilles Chabert, Rémi Douence
- article
- [Research Report] RR-8028, INRIA. 2012
- Accès au texte intégral et bibtex
-
- titre
- Well-Typed Services Cannot Go Wrong
- auteur
- Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
- article
- [Research Report] RR-7899, INRIA. 2012
- Accès au texte intégral et bibtex
-
- titre
- Towards QoS-Oriented SLA Guarantees for Online Cloud Services
- auteur
- Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
- article
- [Research Report] RR-LIG-034, LIG. 2012
- Accès au texte intégral et bibtex
-
Theses
- titre
- A domain specific language for virtualized infrastructures
- auteur
- Rémy Pottier
- article
- Langage de programmation [cs.PL]. Ecole des Mines de Nantes, 2012. Français. ⟨NNT : 2012EMNA0017⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine
- auteur
- Hervé Grall, Mayleen Lacouture
- article
- 2012
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- Aspects Preserving Properties
- auteur
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
- article
- Science of Computer Programming, 2011, 77 (3), pp.393-422. ⟨10.1016/j.scico.2011.10.010⟩
- Accès au bibtex
-
- titre
- Structured and flexible gray-box composition using invasive distributed patterns
- auteur
- Ismael Mejia, Mario Südholt
- article
- IADIS International Journal on Computer Science and Information Systems, 2011, 1, 6, pp.13
- Accès au texte intégral et bibtex
-
- titre
- Aspectizing Java Access Control
- auteur
- Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé
- article
- IEEE Transactions on Software Engineering, 2011, 38 (1), pp.101-117. ⟨10.1109/TSE.2011.6⟩
- Accès au bibtex
-
Conference papers
- titre
- Self-management of applications QoS for energy optimization in datacenters
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux
- article
- 2nd International Workshop on Green Computing Middleware (GCM'2011), Dec 2011, Portugal. pp.0-0
- Accès au bibtex
-
- titre
- Cross-layer SLA selection for Cloud services
- auteur
- Yousri Kouki, Thomas Ledoux, Rémi Sharrock
- article
- IEEE International Symposium on Network Cloud Computing and Applications, NCCA 2011, Nov 2011, Toulouse, France. pp.143-147
- Accès au bibtex
-
- titre
- Static Analysis of Aspect Interaction and Composition in Component Models
- auteur
- Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
- article
- the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Oct 2011, Portland, Oregon, United States. pp.18
- Accès au texte intégral et bibtex
-
- titre
- Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures
- auteur
- Muhammed Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, Mario Südholt
- article
- 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
- Accès au bibtex
-
- titre
- Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems
- auteur
- Flavien Quesnel, Adrien Lebre
- article
- 6th Workshop on Virtualization in High-Performance Cloud Computing, Aug 2011, Bordeaux, France. pp.457-466
- Accès au bibtex
-
- titre
- Composable Controllers in Fractal: Implementation and Interference Analysis
- auteur
- Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
- article
- the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Aug 2011, Oulu, Finland. pp.99
- Accès au texte intégral et bibtex
-
- titre
- DISCOVERY, Beyond the Clouds - DIStributed and COoperative framework to manage Virtual EnviRonments autonomicallY: a prospective study
- auteur
- Adrien Lebre, Paolo Anedda, Massimo Gaggero, Flavien Quesnel
- article
- Virtualization for High Performance Cloud Computing workshop (colocated with EUROPAR 2011), Aug 2011, Bordeaux, France
- Accès au bibtex
-
- titre
- The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada
- Accès au texte intégral et bibtex
-
- titre
- Program Transformation based Views for Modular Maintenance
- auteur
- Akram Ajouli, Julien Cohen, Rémi Douence
- article
- Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219
- Accès au texte intégral et bibtex
-
- titre
- Towards a Unified Formal Model for Service Orchestration and Choreography
- auteur
- Diana Allam, Hervé Grall, Jean-Claude Royer
- article
- Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- The Synthesis Problem for Trusted Service-based Collaborations
- auteur
- Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
- article
- Actes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
- Accès au bibtex
-
- titre
- Kalimucho: Contextual Deployment for QoS Management
- auteur
- Christine Louberry, Philippe Roose, Marc Dalmau
- article
- 11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.43-56, ⟨10.1007/978-3-642-21387-8_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Consolidation dynamique d'applications Web haute-disponibilité
- auteur
- Fabien Hermenier, Julia L. Lawall, Jean-Marc Menaud, Gilles Muller
- article
- CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France
- Accès au bibtex
-
- titre
- Kalimucho : Plateforme d'Adaptation des Applications Mobiles
- auteur
- Christine Louberry, Philippe Roose, Marc Dalmau
- article
- NOTERE 201- Conférence Internationale sur les NOuvelles Technologies de la REpartition, May 2011, Paris, France. pp.83-90
- Accès au texte intégral et bibtex
-
- titre
- Aspect oriented programming: a language for 2-categories
- auteur
- Nicolas Tabareau
- article
- Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, Mar 2011, Porto de Galinhas, Brazil. pp.13--17, ⟨10.1145/1960510.1960514⟩
- Accès au bibtex
-
- titre
- Towards a robust model for distributed aspects
- auteur
- Ismael Mejia, Mario Südholt
- article
- 1st Workshop In Modularity in Systems Software (MISS), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1960518.1960523⟩
- Accès au texte intégral et bibtex
-
- titre
- Invasive composition for the evolution of a health information system
- auteur
- Ismael Mejia, Mario Südholt, Luis Daniel Benavides Navarro
- article
- 2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1961359.1961362⟩
- Accès au texte intégral et bibtex
-
- titre
- EScala: Modular Event-Driven Object Interactions in Scala
- auteur
- Vaidas Gasiūnas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé
- article
- 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Mar 2011, Porto de Galinhas, Brazil. ⟨10.1145/1960275.1960303⟩
- Accès au bibtex
-
- titre
- Proceedings of the sixth annual workshop on Domain-specific aspect languages (DSAL 2011)
- auteur
- Tom Dinkelaker, Jacques Noyé, Éric Tanter
- article
- AOSD - Aspect-Oriented Software Development - 2011, Mar 2011, Porto de Galinhas, Brazil
- Accès au bibtex
-
- titre
- Component types qualification in Java legacy code driven by communication integrity rules
- auteur
- Hugo Arboleda, Jean-Claude Royer
- article
- ISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, ⟨10.1145/1953355.1953377⟩
- Accès au bibtex
-
- titre
- Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities
- auteur
- Flavien Quesnel, Adrien Lebre
- article
- 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, Feb 2011, Ayia Napa, Cyprus. pp.495
- Accès au bibtex
-
Book sections
- titre
- Introduction
- auteur
- Awais Rashid, Jean-Claude Royer, Andreas Rummler
- article
- Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011
- Accès au bibtex
-
- titre
- Managing Information Flow in SPL Development Processes
- auteur
- Nicolas Anquetil, Uira Kulesza, Ricardo Mateus, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler
- article
- Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011
- Accès au bibtex
-
- titre
- Product line implementation with ECaesarJ
- auteur
- Vaidas Gasiūnas, Angel Núñez, Jacques Noyé, Mira Mezini
- article
- Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way, Cambridge University Press, 2011, ISBN-13: 9780521767224
- Accès au bibtex
-
- titre
- Empirical research in software product line engineering
- auteur
- Phil Greenwood, Vander Alves, John Hutchinson, Christa Schwanninger, Nicolas Anquetil
- article
- Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines -- The AMPLE way, Cambridge University Press, pp.411--443, 2011, 978-0-521-76722-4. ⟨10.1017/CBO9781139003629.014⟩
- Accès au bibtex
-
Books
- titre
- Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way
- auteur
- Awais Rashid, Jean-Claude Royer, Andreas Rummler
- article
- Cambridge University Press, pp.470, 2011
- Accès au bibtex
-
Reports
- titre
- Exploring Membranes for Controlling Aspects
- auteur
- Éric Tanter, Nicolas Tabareau, Rémi Douence
- article
- [Research Report] RR-7739, INRIA. 2011, pp.33
- Accès au texte intégral et bibtex
-
- titre
- Modular and Flexible Causality Control on the Web
- auteur
- Paul Leger, Éric Tanter, Rémi Douence
- article
- [Research Report] RR-7742, INRIA. 2011
- Accès au texte intégral et bibtex
-
- titre
- Aspect Oriented Programming: a language for 2-categories
- auteur
- Nicolas Tabareau
- article
- [Research Report] RR-7527, INRIA. 2011, pp.30
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Consolidation of Highly Available Web Applications
- auteur
- Fabien Hermenier, Julia Lawall, Jean-Marc Menaud, Gilles Muller
- article
- [Research Report] RR-7545, INRIA. 2011, pp.26
- Accès au texte intégral et bibtex
-
Theses
- titre
- Aspectualizing Component Models : implementation and Interferences Analysis
- auteur
- Abdelhakim Hannousse
- article
- Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2011. English. ⟨NNT : 2011EMNA0009⟩
- Accès au texte intégral et bibtex
-
- titre
- A Common Aspect Languages Interpreter
- auteur
- Ali Assaf
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A VPA-based Aspect Language
- auteur
- Dong Ha Nguyen
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A Programming Model Integrating Classes, Events and Aspects
- auteur
- Angel Núñez
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Decomposing Logical Relations with Forcing
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Views, Program Transformations, and the Evolutivity Problem in a Functional Language
- auteur
- Julien Cohen, Rémi Douence
- article
- 2011
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Managing Virtual Resources: Fly through the Sky
- auteur
- Jérôme Gallard, Adrien Lebre
- article
- ERCIM News, 2010, Cloud Computing, Platforms, Software and Applications, pp.36--37
- Accès au bibtex
-
- titre
- Scoping strategies for distributed aspects
- auteur
- Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
- article
- Science of Computer Programming, 2010, 75 (12), pp.1235-1261. ⟨10.1016/j.scico.2010.06.011⟩
- Accès au bibtex
-
- titre
- Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe
- auteur
- Awais Rashid, Thomas Cottenier, Phil Greenwood, Ruzanna Chitchyan, Meunier Regine, Coelho Roberta, Mario Südholt, Wouter Joosen
- article
- Computer, 2010, 43 (2), pp.19-26. ⟨10.1109/MC.2010.30⟩
- Accès au bibtex
-
- titre
- A model-driven traceability framework for software product lines
- auteur
- Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa
- article
- Software and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
- Accès au texte intégral et bibtex
-
- titre
- How synchronization protects from noise.
- auteur
- Nicolas Tabareau, Jean-Jacques Slotine, Quang-Cuong Pham
- article
- PLoS Computational Biology, 2010, 6 (1), pp.e1000637. ⟨10.1371/journal.pcbi.1000637⟩
- Accès au bibtex
-
Conference papers
- titre
- Architecture for the Next Generation System Management Tools.
- auteur
- Jérôme Gallard, Christine Morin, Geoffroy Vallée, Thomas J. Naughton, Stephen L. Scott, Adrien Lebre
- article
- First International Conference on Utility and Cloud Computing (UCC 2010), Dec 2010, Chennai, India
- Accès au bibtex
-
- titre
- Self-optimisation of the energy footprint in Service-Oriented Architectures
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux
- article
- 1st International Workshop on Green Computing Middleware, Nov 2010, India. pp.4-9, ⟨10.1145/1925013.1925014⟩
- Accès au bibtex
-
- titre
- Structured and flexible gray-box composition: Application to task rescheduling for grid benchmarking
- auteur
- Ismael Mejia, Mario Südholt
- article
- IADIS International Conference APPLIED COMPUTING 2010, International Association for Development of the Information Society and "Politehnica" University of Timisoara, Romania, Oct 2010, Timisoara, Romania
- Accès au texte intégral et bibtex
-
- titre
- A Comparison of Model Migration Tools
- auteur
- Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitris Kolovos, Kelly Garcés, Richard F. Paige, Fiona A.C. Polack
- article
- Proc. of Models 2010 Foundation Track, Oct 2010, Oslo, Norway. To appear
- Accès au texte intégral et bibtex
-
- titre
- Fiesta Toolkit: Model-Driven Software Product Lines in Practice
- auteur
- Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer
- article
- Brazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66
- Accès au bibtex
-
- titre
- Automated Reasoning for Derivation of Model-Driven SPLs
- auteur
- Hugo Arboleda, Victor Vargas, Francisco Diaz Juan, Jean-Claude Royer
- article
- 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. pp.181--188
- Accès au bibtex
-
- titre
- CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
- auteur
- Mayleen Lacouture, Hervé Grall, Thomas Ledoux
- article
- International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France
- Accès au texte intégral et bibtex
-
- titre
- FICS 2010
- auteur
- Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, Hervé Grall, Paul Levy, Matteo Mio, Keiko Nakata, Andrei Romashchenko, Jan Schwinghammer, Kristian Støvring, Tarmo Uustalu, Pawel Waszkiewicz
- article
- 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89
- Accès au texte intégral et bibtex
-
- titre
- Krivine realizability for compiler correctness
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Jul 2010, Edinburgh, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Performance and Power Management for Cloud Infrastructures
- auteur
- Jean-Marc Menaud, Hien Nguyen Van, Frédéric Dang Tran
- article
- Cloud 2010, Jul 2010, Miami - Florida, United States. pp.329-336, ⟨10.1109/CLOUD.2010.25⟩
- Accès au bibtex
-
- titre
- Reliable Dynamic Reconfiguration in a Reflective Component Model
- auteur
- Marc Léger, Thomas Ledoux, Thierry Coupaye
- article
- CBSE 2010, Jun 2010, Prague, Czech Republic. pp.74-92
- Accès au bibtex
-
- titre
- Cluster-Wide Context Switch of Virtualized Jobs
- auteur
- Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
- article
- VTDC10 - The 4th International Workshop on Virtualization Technologies in Distributed Computing, Jun 2010, Chicago, United States
- Accès au texte intégral et bibtex
-
- titre
- The Increasing Nvalue Constraint
- auteur
- Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
- article
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. ⟨10.1007/978-3-642-13520-0_5⟩
- Accès au bibtex
-
- titre
- La contrainte Increasing NValue
- auteur
- Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
- article
- JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70
- Accès au texte intégral et bibtex
-
- titre
- A Reconfiguration Language for Virtualized Grid Infrastructures
- auteur
- Rémy Pottier, Marc Léger, Jean-Marc Menaud
- article
- 10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.42-55, ⟨10.1007/978-3-642-13645-0_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Essential AOP: The A Calculus
- auteur
- Bruno de Fraine, Erik Ernst, Mario Südholt
- article
- European Conference on Object-Oriented Programming, Jun 2010, Maribor, Slovenia. pp.000
- Accès au bibtex
-
- titre
- Automatizing the Evaluation of Model Matching Systems
- auteur
- Kelly Garcés, Wolfgang Kling, Frédéric Jouault
- article
- Workshop on matching and meaning 2010, Mar 2010, Leicester, United Kingdom. To appear
- Accès au texte intégral et bibtex
-
- titre
- Views for Aspectualizing Component Models
- auteur
- Abdelhakim Hannousse, Gilles Ardourel, Rémi Douence
- article
- the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), Mar 2010, St-Malo, France. acp4is10
- Accès au bibtex
-
- titre
- A theory of distributed aspects
- auteur
- Nicolas Tabareau
- article
- 9th International Conference on Aspect-Oriented Software Development (AOSD '10), Mar 2010, Rennes, Saint-Malo, France. pp.133--144, ⟨10.1145/1739230.1739246⟩
- Accès au texte intégral et bibtex
-
- titre
- Vers une réification de l'énergie dans le domaine du logiciel
- auteur
- Jean-Marc Menaud, Adrien Lebre, Thomas Ledoux, Jacques Noyé, Pierre Cointe, Rémi Douence, Mario Südholt
- article
- Journées du GDR Génie de la Programmation et du Logiciel, Mar 2010, Pau, France. pp.000
- Accès au bibtex
-
- titre
- Saline: Improving Best-Effort Job Management in Grids
- auteur
- Jérôme Gallard, Adrien Lebre, Christine Morin
- article
- PDP 2010: The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing -- Special Session: Virtualization in Distributed Systems, 2010, Pisa, Italy
- Accès au bibtex
-
Master thesis
- titre
- Krivine Realizability for Compiler Correctness
- auteur
- Guilhem Jaber
- article
- Symbolic Computation [cs.SC]. 2010
- Accès au texte intégral et bibtex
-
Books
- titre
- Langages et Modèles à Objets
- auteur
- Eric Cariou, Jean-Claude Royer
- article
- Université de Pau et des pays de l'adour, pp.100, 2010
- Accès au bibtex
-
- titre
- Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development
- auteur
- Mario Südholt, Uwe Hohenstein, Jean-Marc Jézéquel, Benoit Baudry
- article
- ACM, pp.230, 2010
- Accès au bibtex
-
Reports
- titre
- Controlling Contractors with Monads for Hybrid Dynamical Systems
- auteur
- Gilles Chabert, Rémi Douence
- article
- [Research Report] RR-7451, INRIA. 2010, pp.20
- Accès au texte intégral et bibtex
-
- titre
- Architecture for the Next Generation System Management Tools for Distributed Computing Platforms
- auteur
- Jérôme Gallard, Geoffroy Vallée, Thomas J. Naughton, Adrien Lebre, Stephen L. Scott, Christine Morin
- article
- [Research Report] RR-7325, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Declarative Events for Object-Oriented Programming
- auteur
- Vaidas Gasiūnas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé
- article
- [Research Report] RR-7313, INRIA. 2010, pp.38
- Accès au texte intégral et bibtex
-
Theses
- titre
- Adaptation and evaluation of generic model matching strategies
- auteur
- Kelly Garces
- article
- Software Engineering [cs.SE]. Université de Nantes, 2010. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Proving Fixed Points
- auteur
- Hervé Grall
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Linear logic as a foundation for service-oriented computing
- auteur
- Hervé Grall, Nicolas Tabareau
- article
- 2010
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- The Ample Project, Traceability of Software Product Line Development: Models and Uncertainty
- auteur
- Joost Noppen, Jean-Claude Royer
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 85, pp.43-48
- Accès au bibtex
-
Conference papers
- titre
- JavaCompExt: Extracting Architectural Elements from Java Source Code
- auteur
- Pascal André, Nicolas Anquetil, Gilles Ardourel, Jean-Claude Royer, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu
- article
- WCRE, Oct 2009, Lille, France. pp.317-318, ⟨10.1109/WCRE.2009.53⟩
- Accès au texte intégral et bibtex
-
- titre
- SLA-aware virtual resource management for cloud infrastructures
- auteur
- Hien Nguyen Van, Frederic Dang Tran, Jean-Marc Menaud
- article
- 9th IEEE International Conference on Computer and Information Technology (CIT'09), Oct 2009, Xiamen, China. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Dealing with Fine-Grained Configurations in Model-Driven SPLs
- auteur
- Hugo Arboleda, Rubby Casallas, Jean-Claude Royer
- article
- SPLC, Aug 2009, United States. pp.1-10
- Accès au bibtex
-
- titre
- Lazy Composition of Representations in Java
- auteur
- Rémi Douence, Xavier Lorca, Nicolas Loriant
- article
- SC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71
- Accès au texte intégral et bibtex
-
- titre
- Declarative Definition of Contexts with Polymorphic Events
- auteur
- Angel Núñez, Jacques Noyé, Vaidas Gasiūnas
- article
- International Workshop on Context-Oriented Programming at ECOOP '09 (COP '09), Jul 2009, Genova, Italy. ⟨10.1145/1562112.1562114⟩
- Accès au bibtex
-
- titre
- Managing Model Adaptation by Precise Detection of Metamodel Changes
- auteur
- Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin
- article
- In Proc. of ECMDA 2009, Jun 2009, Enschede,, Netherlands. pp.34-49, ⟨10.1007/978-3-642-02674-4⟩
- Accès au texte intégral et bibtex
-
- titre
- Refinement Proposal of the Goldberg's Theory
- auteur
- Jérôme Gallard, Adrien Lebre, Geoffroy Vallée, Christine Morin, Pascal Gallard, Stephen L. Scott
- article
- ICA3PP'09: International Conference on Algorithms and Architectures for Parallel Processing, Jun 2009, Tapei, Taiwan. pp.853-865, ⟨10.1007/978-3-642-03095-6_80⟩
- Accès au bibtex
-
- titre
- Autonomic virtual resource management for service hosting platforms
- auteur
- Hien Nguyen Van, Frédéric Dang Tran, Jean-Marc Menaud
- article
- Workshop on Software Engineering Challenges in Cloud Computing, May 2009, Vancouver, Canada, Canada. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Handling Persistent States in Process Checkpoint/Restart Mechanisms for HPC Systems
- auteur
- Pierre Riteau, Adrien Lebre, Christine Morin
- article
- 9th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID '09), May 2009, Shanghai, China. ⟨10.1109/CCGRID.2009.29⟩
- Accès au bibtex
-
- titre
- Product Derivation in a Model-Driven Software Product Line using Decision Models
- auteur
- Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer
- article
- IDEAS, Apr 2009, Colombia. pp.59--72
- Accès au bibtex
-
- titre
- A Domain Specific Language for Expressing Model Matching
- auteur
- Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin
- article
- Proceedings of the 5ère Journée sur l'Ingénierie Dirigée par les Modèles (IDM09), Mar 2009, Nancy, France, France. pp.33-48
- Accès au texte intégral et bibtex
-
- titre
- Entropy: a Consolidation Manager for Clusters
- auteur
- Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall
- article
- VEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
- Accès au texte intégral et bibtex
-
- titre
- Expressive Scoping of Distributed Aspects
- auteur
- Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
- article
- AOSD 2009, Mar 2009, Charlottesville, Virginia, United States. pp.27-38, ⟨10.1145/1509239.1509245⟩
- Accès au bibtex
-
- titre
- Flexible Pointcut Implementation: An Interpreted Approach
- auteur
- Ali Assaf, Jacques Noyé
- article
- Langages et Modèles à Objets (LMO 2009), Olivier Zendra, Mar 2009, Nancy, France. pp.45-60
- Accès au bibtex
-
- titre
- Event Strictness for Components with Complex Bindings
- auteur
- Fabricio Fernandes, Jean-Claude Royer, Robin Passama
- article
- ISEC, Feb 2009, India. pp.47--56
- Accès au bibtex
-
- titre
- Changement de contexte pour tâches virtualisées à l'échelle des grappes
- auteur
- Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
- article
- 7ème Conférence Francophone sur les Systèmes d'Exploitation (CFSE09), 2009, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Unifying Runtime Adaptation and Design Evolution
- auteur
- Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, Franck Chauvel, Olivier Barais, Jean-Marc Jézéquel
- article
- IEEE 9th International Conference on Computer and Information Technology (CIT'09), 2009, Xiamen, China, China
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Designing Open-Ended Languages: An Historical Perspective
- auteur
- Pierre Cointe
- article
- Gerard Assayag and Andrez Gerzso. New Computational Paradigms for Computer Music, Delatour France / IRCAM Centre Georges Pompidou, pp.49-64, 2009, Musique/Sciences
- Accès au bibtex
-
Books
- titre
- Proceedings of the 8th Int. Workshop on Foundations of Aspect-Oriented Languages (FOAL'09)
- auteur
- Mario Südholt
- article
- ACM, pp.0, 2009, 978-1-60558-452-2
- Accès au bibtex
-
Proceedings
- titre
- Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL 2009)
- auteur
- Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter
- article
- Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter. Aspect-oriented software development, Mar 2009, Charlottesville, Virginia, United States. ACM Press, 24 p., 2009, 978-1-60558-455-3
- Accès au bibtex
-
Reports
- titre
- Aspects Preserving Properties
- auteur
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
- article
- [Research Report] RR-7155, INRIA. 2009
- Accès au texte intégral et bibtex
-
- titre
- Cluster-Wide Context Switch of Virtualized Jobs
- auteur
- Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
- article
- [Research Report] RR-6929, INRIA. 2009
- Accès au texte intégral et bibtex
-
- titre
- Saline: Improving Best-Effort Job Management in Grids
- auteur
- Jérôme Gallard, Adrien Lebre, Christine Morin
- article
- [Research Report] RR-7055, INRIA. 2009
- Accès au texte intégral et bibtex
-
Theses
- titre
- Online Management of Jobs in Clusters using Virtual Machines
- auteur
- Fabien Hermenier
- article
- Réseaux et télécommunications [cs.NI]. Université de Nantes, 2009. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product Lines
- auteur
- Hugo Arboleda
- article
- Software Engineering [cs.SE]. Université de Nantes; Universidad Los Andès, Bogota, 2009. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Reliability of dynamic reconfigurations in component-based architectures
- auteur
- Marc Léger
- article
- Génie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2009. Français. ⟨NNT : 2009ENMP1618⟩
- Accès au texte intégral et bibtex
-
2008
Journal articles
- titre
- La traçabilité dans les lignes de produits logiciels
- auteur
- Nicolas Anquetil, Ismenia Galvão, Joost Noppen
- article
- Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2008, 14 (3), pp.47--57
- Accès au bibtex
-
- titre
- Cross-layer rate control, medium access control and routing design in cooperative VANET
- auteur
- Liang Zhou, Baoyu Zheng, Benoit Geller, Anne Wei, Shan Xu, Yajun Li
- article
- Computer Communications, 2008, ⟨10.1016/j.comcom.2007.12.006⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Aspect-based patterns for grid programming
- auteur
- Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Südholt
- article
- 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), Oct 2008, Brazil. pp.141-148, ⟨10.1109/SBAC-PAD.2008.22⟩
- Accès au bibtex
-
- titre
- Complementarity between Virtualization and Single System Image Technologies
- auteur
- Jérôme Gallard, Geoffroy Vallée, Adrien Lebre, Christine Morin, Pascal Gallard, Stephen L. Scott
- article
- Euro-Par 2008 Workshops - Parallel Processing: VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Aug 2008, Las Palmas de Gran Canaria, Spain. ⟨10.1007/978-3-642-00955-6_6⟩
- Accès au bibtex
-
- titre
- LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns
- auteur
- Luis Daniel Benavides Navarro, Rémi Douence, Angel Núñez, Mario Südholt
- article
- Workshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. pp.36-45, ⟨10.1007/978-3-642-02047-6⟩
- Accès au bibtex
-
- titre
- Traceability for Model Driven, Software Product Line Engineering
- auteur
- Nicolas Anquetil, Birgit Grammel, Ismenia Galvão, Joost Noppen, Soffora Shakil Khan, Hugo Arboleda, Awais Rashid
- article
- ECMDA Traceability Workshop, Jun 2008, Germany. pp.77--86
- Accès au bibtex
-
- titre
- Summary of the third workshop on Domain-Specific Aspect Languages
- auteur
- Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Le Meur, Éric Tanter
- article
- DSAL '08: Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, Thomas Cleenewerck and Jacques Noyé and Johan Fabry and Anne-Françoise Lemeur and Éric Tanter, Mar 2008, Bruxelles, Belgium. pp.1-5, ⟨10.1145/1404927.1404928⟩
- Accès au bibtex
-
- titre
- Debugging and testing middleware with aspect-based control-flow and causal patterns
- auteur
- Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt
- article
- ACM/IFIP/USENIX 9th International Middleware Conference, 2008, Leuven, Belgium. ⟨10.1007/978-3-540-89856-6_10⟩
- Accès au bibtex
-
- titre
- Cross-Document Dependency Analysis for System-of-System Integration
- auteur
- Asad Syed Ali Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, Mario Südholt
- article
- 15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), 2008, France. pp.0
- Accès au bibtex
-
- titre
- Aspect Preserving Properties
- auteur
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
- article
- ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, 2008, San Francisco, United States. ⟨10.1145/1328408.1328429⟩
- Accès au bibtex
-
- titre
- Specialized aspect languages preserving classes of properties
- auteur
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
- article
- IEEE International Conference on Software Engineering and Formal Methods, 2008, Cape Town, South Africa. ⟨10.1109/SEFM.2008.21⟩
- Accès au bibtex
-
- titre
- Industrial characterization of scatterometry for advanced APC of 65 nm CMOS logic gate patterning
- auteur
- Karen Dabertrand, Mathieu Touchet, Stéphanie Kremer, Catherine Chaton, Maxime Gatefait, Enrique Aparicio, Marco Polli, Jean-Claude Royer
- article
- SPIE Advanced Lithography, 2008, San Jose, United States. ⟨10.1117/12.771614⟩
- Accès au texte intégral et bibtex
-
2007
Conference papers
- titre
- Invasive Patterns for Distributed Programs
- auteur
- Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud
- article
- Distributed Objects, Middleware, and Applications, Nov 2007, Portugal. pp.772-789
- Accès au bibtex
-
- titre
- Invasive Patterns: Aspect-Based Adaptation of Distributed Applications
- auteur
- Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud
- article
- Workshop on Coordination and Adaptation Techniques for Software Entities, Jul 2007, Germany
- Accès au bibtex
-
Other publications
- titre
- Proof of correctness of aspect transformations in the CASB
- auteur
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
- article
- 2007
- Accès au bibtex
-
2006
Journal articles
- titre
- Dynamic Adaptation of the Squid web cache with Arachne
- auteur
- Marc Ségura-Devillechaise, Jean-Marc Menaud, Nicolas Loriant, Thomas Fritz, Rémi Douence, Mario Südholt, Egon Wuchner
- article
- IEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1)
- Accès au texte intégral et bibtex
-
- titre
- An expressive aspect language for system applications with Arachne
- auteur
- Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, Mario Südholt
- article
- LNCS Transactions on Aspect-Oriented Software Development, 2006, 1 (1)
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Concurrent Aspects
- auteur
- Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
- article
- 5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩
- Accès au bibtex
-
- titre
- Automatic Speech Recognition and Intrinsic Speech Variation
- auteur
- M Benzeguiba, Renato de Mori, O Deroo, Simon Dupont, T Erbes, Denis Jouvet, L Fissore, P Laface, A Mertins, C Ris, R Rose, V Tyagi, C Wellekens
- article
- IEEE International Conference on Acoustics, Speech and Signal Processing, May 2006, Toulouse, France. ⟨10.1109/ICASSP.2006.1661452⟩
- Accès au bibtex
-
- titre
- Towards a model of concurrent AOP
- auteur
- Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
- article
- SPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD 2006, Mar 2006, Bonn, Germany
- Accès au texte intégral et bibtex
-
- titre
- Relational Aspects for Context Passing Beyond Stack Inspection
- auteur
- Rémi Douence
- article
- Software Engineering Properties of Languages and Aspect Technologies, Mar 2006, Germany
- Accès au bibtex
-
Other publications
- titre
- Towards a Common Aspect Semantic Base (CASB), Deliverable 54
- auteur
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet, Didier Le Botlan
- article
- 2006
- Accès au bibtex
-