Publications HAL de la structure stack;ascola

2014

Journal articles

titre
Adapting Transformations to Metamodel Changes via External Transformation Composition
auteur
Kelly Garces, Juan Vara, Frédéric Jouault, Esperanza Marcos
article
Software and Systems Modeling, Springer Verlag, 2014, pp.789-806. ⟨10.1007/s10270-012-0297-1⟩
Accès au bibtex
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, Elsevier, 2014, 80 (1), pp.311-342. ⟨10.1016/j.scico.2013.09.002⟩
Accès au bibtex
BibTex
titre
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
auteur
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
article
Transactions on Aspect-Oriented Software Development, LNCS, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00872782/file/TAOSD-EffectiveAspects.pdf BibTex
titre
Propagation Engine Prototyping with a Domain Specific Language
auteur
Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien
article
Constraints, Springer Verlag, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00867604/file/cons2013_propeng.pdf 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
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
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
https://hal.inria.fr/hal-01038053/file/main_sblp.pdf 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
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
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
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
Accès au bibtex
BibTex
titre
Universe Polymorphism in Coq
auteur
Matthieu Sozeau, Nicolas Tabareau
article
Interactive Theorem Proving, Jul 2014, Vienna, Austria
Accès au bibtex
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
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
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
Accès au bibtex
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
https://hal.inria.fr/hal-00872791/file/preprint.pdf 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
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
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
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
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
https://hal.inria.fr/hal-01067888/file/main.pdf 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
Accès au bibtex
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
https://hal.inria.fr/hal-01025633/file/RR-8569.pdf 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
https://tel.archives-ouvertes.fr/tel-01127487/file/2014EMNA0011.pdf 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
https://tel.archives-ouvertes.fr/tel-01126927/file/2014EMNA0124.pdf 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
https://tel.archives-ouvertes.fr/tel-01083286/file/Allam_D_07_2014.pdf BibTex
titre
Maîtrise énergétique des centres de données virtualisés : D'un scénario de charge à l'optimisation du placement des calculs
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
https://tel.archives-ouvertes.fr/tel-01044650/file/LeLouet_G_05_2014.pdf 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
https://tel.archives-ouvertes.fr/tel-01067730/file/Figueroa_I_04_2014.pdf BibTex
titre
Contrôle de la propagation et de la recherche dans un solveur de contraintes
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
https://tel.archives-ouvertes.fr/tel-01060921/file/Prudhomme_C_02_2014.pdf 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 (IJNGC), 2013, 4 (3), pp.250-262
Accès au bibtex
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, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00865381/file/1309.5141.pdf 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, Springer Verlag, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩
Accès au bibtex
BibTex
titre
Modular and Flexible Causality Control on the Web
auteur
Paul Leger, Éric Tanter, Rémi Douence
article
Science of Computer Programming, Elsevier, 2013
Accès au bibtex
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
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
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
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
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
https://hal.inria.fr/hal-00861886/file/paper-unico13.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00834149/file/rapport.pdf 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
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
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
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
https://hal.inria.fr/hal-00907888/file/grid5000-ttc.pdf 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
https://hal.archives-ouvertes.fr/hal-00835817/file/cloud-13.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00780000/file/IEEE-CCGrid-2013%281%29.pdf 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
https://hal.inria.fr/hal-00920094/file/main.pdf 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
https://hal.inria.fr/hal-00800153/file/main.pdf 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
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
https://hal.inria.fr/hal-00808983/file/main.pdf 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
https://hal.inria.fr/hal-00763695/file/main.pdf 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
https://hal.inria.fr/hal-00786258/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-00751304/file/CohenAjouli2013.pdf 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
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
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
https://hal.inria.fr/hal-00765862/file/main.pdf 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
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
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
https://hal.archives-ouvertes.fr/hal-00867713/file/jfpc2013-propengine_fr.pdf 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
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
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
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
BibTex

Reports

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
https://hal.archives-ouvertes.fr/hal-00652872/file/rapport.pdf BibTex
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
https://hal.inria.fr/hal-00854204/file/RR-8348.pdf 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
https://hal.inria.fr/hal-00864079/file/RR-8368.pdf BibTex

Theses

titre
Approche dirigée par les contrats de niveaux de service pour la gestion de l'élasticité du "nuage
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
https://tel.archives-ouvertes.fr/tel-00919900/file/Kouki_Y_12_2013.pdf BibTex
titre
Vues et transformations de programmes pour la modularité des évolutions
auteur
Akram Ajouli
article
Autre. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0112⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00866997/file/Ajouli_Ak_09_2013.pdf BibTex
titre
Multi Autonomic Management for Optimizing Energy Consumption in Cloud Infrastructures
auteur
Frederico 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
https://tel.archives-ouvertes.fr/tel-00853575/file/main.pdf BibTex
titre
Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancement
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
https://tel.archives-ouvertes.fr/tel-00821103/file/Quesnel_F_02_2013.pdf BibTex

Preprints, Working Papers, ...

titre
Univalence for free
auteur
Matthieu Sozeau, Nicolas Tabareau
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00786589/file/main.pdf 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, Wiley, 2012, pp.XX
Accès au bibtex
BibTex
titre
An Automatic Reversible Transformation from Composite to Visitor in Java
auteur
Akram Ajouli
article
CIEL 2012, P. Collet, P. Merle (eds.); Conférence en Ingénierie du Logiciel (CIEL), 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00733182/file/CIEL2012-Ajouli-paper13.pdf BibTex
titre
btrScript : a safe management system for virtualized data center
auteur
Jean-Marc Menaud, Rémy Pottier
article
The 8th International Conference on Autonomic and Autonomous Systems ( ICAS 2012 ), XPS, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00656091/file/document.pdf BibTex
titre
Self-management of cloud applications and infrastructure for energy optimization
auteur
Frederico Alvares de Oliveira Jr., Thomas Ledoux
article
Operating Systems Review, Association for Computing Machinery, 2012, 46 (2)
Accès au bibtex
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, Elsevier, 2012, 28 (1), pp.136-146. ⟨10.1016/j.future.2011.06.003⟩
Accès au bibtex
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), ACM, 2012, ⟨10.1145/2362389.2362391⟩
Accès au bibtex
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
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
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
https://hal.archives-ouvertes.fr/hal-00685150/file/forcing_lics.pdf 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
https://hal.inria.fr/hal-00682914/file/978-3-642-30829-1_3_Chapter.pdf 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
https://hal.inria.fr/hal-00726618/file/noye-COSMAL2012.pdf 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
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
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
https://hal.inria.fr/hal-00668975/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-00662777/file/CohenDouence.pdf 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
https://hal.inria.fr/inria-00592132/file/aspect_2_category_aosd_2012.pdf 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
https://hal.inria.fr/hal-00690706/file/main.pdf 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
https://hal.inria.fr/hal-00690717/file/main.pdf 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
https://hal.inria.fr/hal-00668999/file/aosd551p-allam.pdf 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
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
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
Accès au bibtex
BibTex

Other publications

titre
Forcing in Coq
auteur
Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber
article
2012
Accès au bibtex
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
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
https://hal.inria.fr/hal-00720910/file/RR-8026.pdf 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
https://hal.inria.fr/hal-00720739/file/RR-8028.pdf 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
https://hal.inria.fr/hal-00700570/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-01472052/file/RR-LIG-034_orig.pdf BibTex

Theses

titre
Un langage dédié à l'administration d'infrastructures virtualisées
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
https://tel.archives-ouvertes.fr/tel-01146418/file/Pottier_R_09_2012Diffusion.pdf 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
https://hal.archives-ouvertes.fr/hal-00676083/file/criojo_main.pdf BibTex

2011

Journal articles

titre
Aspects Preserving Properties
auteur
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
article
Science of Computer Programming, Elsevier, 2011, 77 (3), pp.393-422. ⟨10.1016/j.scico.2011.10.010⟩
Accès au bibtex
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, Iadis Press, 2011, 1, 6, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00583673/file/mejia-sudholt_iadisjournal.pdf BibTex
titre
Aspectizing Java Access Control
auteur
Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2011, 38 (1), pp.101-117. ⟨10.1109/TSE.2011.6⟩
Accès au bibtex
BibTex
titre
Energy-QoS Tradeoffs in J2EE Hosting Centers.
auteur
Aaiman Gadafi, Daniel Hagimont, Laurent Broto, Remi Sharrock, Noël de Palma
article
International Journal of Autonomic Computing, Inderscience, 2011
Accès au bibtex
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
BibTex
titre
Cross-layer SLA selection for Cloud services
auteur
Yousri Kouki, Thomas Ledoux, Remi Sharrock
article
IEEE International Symposium on Network Cloud Computing and Applications, NCCA 2011, Nov 2011, Toulouse, France. pp.143-147
Accès au bibtex
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
https://hal.archives-ouvertes.fr/hal-00606270/file/gpce2011-submission.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00606269/file/seaa2011-submission.pdf 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
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
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
https://hal.archives-ouvertes.fr/hal-00594386/file/lola2011.pdf 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
https://hal.archives-ouvertes.fr/hal-00670378/file/poster.pdf 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
https://hal.inria.fr/hal-00700737/file/main.pdf 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 troisimes journes nationales du Groupement De Recherche CNRS du Gnie de la Programmation et du Logiciel, Jun 2011, Lille, France
Accès au bibtex
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
https://hal.archives-ouvertes.fr/hal-00596372/file/DAIS_LouberryRD.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00593459/file/NotereLouberryCameraReady.pdf 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
https://hal.inria.fr/inria-00567604/file/mejia-sudholt_miss2011.pdf 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
https://hal.inria.fr/inria-00567598/file/mejia-sudholt-benavides_varicomp-AOSD2011.pdf 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
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
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
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
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
BibTex

Book sections

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
BibTex
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
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
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
BibTex

Directions of work or proceedings

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
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
https://hal.inria.fr/inria-00592133/file/RR-7739.pdf 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
https://hal.inria.fr/inria-00626363/file/RR-7742.pdf 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
https://hal.inria.fr/inria-00470400/file/RR7527.pdf 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
https://hal.inria.fr/inria-00567102/file/RR-7545.pdf 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
https://tel.archives-ouvertes.fr/tel-00657285/file/Hannousse_A_11_2011.pdf BibTex
titre
A Common Aspect Languages Interpreter
auteur
Ali Assaf
article
Software Engineering [cs.SE]. Université de Nantes, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00726510/file/Assaf-phd2011.pdf BibTex
titre
A VPA-based Aspect Language
auteur
Dong Ha Nguyen
article
Software Engineering [cs.SE]. Université de Nantes, 2011. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00642636/file/PhD-DongHaNGUYEN-abstract.txt 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
https://tel.archives-ouvertes.fr/tel-00656649/file/Nunez-phd2011.pdf 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
https://hal.archives-ouvertes.fr/hal-00585717/file/forcing.pdf 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
https://hal.archives-ouvertes.fr/hal-00481941/file/Cohen.pdf BibTex

2010

Journal articles

titre
Managing Virtual Resources: Fly through the Sky
auteur
Jérôme Gallard, Adrien Lebre
article
ERCIM News, ERCIM, 2010, Cloud Computing, Platforms, Software and Applications, pp.36--37
Accès au bibtex
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, Elsevier, 2010, 75 (12), pp.1235-1261. ⟨10.1016/j.scico.2010.06.011⟩
Accès au bibtex
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, IEEE Computer Society, 2010, 43 (2), pp.19-26. ⟨10.1109/MC.2010.30⟩
Accès au bibtex
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, Springer Verlag, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00668175/file/sosym-traceability-ATF.pdf BibTex
titre
How synchronization protects from noise.
auteur
Nicolas Tabareau, Jean-Jacques Slotine, Quang-Cuong Pham
article
PLoS Computational Biology, Public Library of Science, 2010, 6 (1), pp.e1000637. ⟨10.1371/journal.pcbi.1000637⟩
Accès au bibtex
BibTex

Conference papers

titre
Architecture for the Next Generation System Management Tools.
auteur
Jérôme Gallard, Christine Morin, Geoffroy Vallée, Thomas Naughton, Stephen Scott, Adrien Lebre
article
First International Conference on Utility and Cloud Computing (UCC 2010), Dec 2010, Chennai, India
Accès au bibtex
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
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
https://hal.inria.fr/inria-00511843/file/mejia-sudholt_iadis2010.pdf BibTex
titre
A Comparison of Model Migration Tools
auteur
Louis Rose, Markus Herrmannsdoerfer, James Williams, Dimitrios Kolovos, Kelly Garcés, Richard Paige, Fiona Polack
article
Proc. of Models 2010 Foundation Track, Oct 2010, Oslo, Norway. To appear
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00499395/file/rose-herrmannsdoerfer-williams-kolovos-garces-piage-polack_Models10.pdf 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
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
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
https://hal.inria.fr/inria-00493063/file/CREOLE_FOCLASA2010.pdf 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
https://hal.archives-ouvertes.fr/hal-00512377/file/proceedings.pdf 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
https://hal.archives-ouvertes.fr/hal-00475210/file/lola2010-jaber-tabareau.pdf 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
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
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
https://hal.inria.fr/inria-00476790/file/hermenier-etal-vtdc2010.pdf 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
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
https://hal.inria.fr/inria-00520296/file/beldiceanu.pdf 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
https://hal.inria.fr/hal-00474647/file/paper.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00466946/file/garces_kling_jouault_aisb2010.pdf 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
https://hal.inria.fr/inria-00423996/file/theory_of_distributed_aspects_fullversion.pdf 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
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
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
BibTex

Directions of work or proceedings

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
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
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
https://dumas.ccsd.cnrs.fr/dumas-00530710/file/JaberGuilhem.pdf 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
https://hal.inria.fr/inria-00536614/file/RR-7451.pdf 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
https://hal.inria.fr/inria-00494645/file/RR-7313.pdf BibTex
titre
Architecture for the Next Generation System Management Tools for Distributed Computing Platforms
auteur
Jérôme Gallard, Geoffroy Vallée, Thomas Naughton, Adrien Lebre, Stephen Scott, Christine Morin
article
[Research Report] RR-7325, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00494328/file/RR-7325.pdf BibTex

Theses

titre
Adaptation and evaluation of generic model matching strategies
auteur
Kelly Garces
article
Software Engineering [cs.SE]. Université de Nantes, 2010. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00532926/file/these_GARCES.pdf BibTex

Preprints, Working Papers, ...

titre
Proving Fixed Points
auteur
Hervé Grall
article
2010
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00507775/file/grall_fics2010.pdf 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
https://hal.inria.fr/inria-00473854/file/editioncalculus-fulltext.pdf 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, Génie industriel multimédia, 2009, pp.43-48
Accès au bibtex
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
https://hal.archives-ouvertes.fr/hal-00457219/file/paper-new.pdf 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
https://hal.archives-ouvertes.fr/hal-00474722/file/CIT2009.pdf 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
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
https://hal.inria.fr/inria-00403417/file/douence-al-sc09.pdf 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
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
https://hal.archives-ouvertes.fr/hal-00466940/file/garces-jouault-cointe-bezivin_ecmda09.pdf BibTex
titre
Refinement Proposal of the Goldberg's Theory
auteur
Jérôme Gallard, Adrien Lebre, Geoffroy Vallée, Christine Morin, Pascal Gallard, Stephen 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
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
https://hal.archives-ouvertes.fr/hal-00474721/file/ICSE2009_CLOUD_1310_NGUYENVAN_Hien.pdf 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
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
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
https://hal.archives-ouvertes.fr/hal-00466942/file/garces-jouault-cointe-bezivin_idm09.pdf 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
https://hal.archives-ouvertes.fr/hal-01102354/file/hermenier-vee09.pdf 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
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
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
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
https://hal.inria.fr/inria-00468517/file/Morin09b.pdf 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
https://hal.inria.fr/inria-00420355/file/cfse3.pdf 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
BibTex

Directions of work or 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
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
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
https://hal.inria.fr/inria-00449851/file/RR-7155.pdf 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
https://hal.inria.fr/inria-00422593/file/RR-7055.pdf 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
https://hal.inria.fr/inria-00383325/file/RR-6929.pdf BibTex

Theses

titre
Gestion dynamique des tâches dans les grappes, une approche à base de machines virtuelles
auteur
Fabien Hermenier
article
Réseaux et télécommunications [cs.NI]. Université de Nantes, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00476822/file/Thesis-Fabien_Hermenier.pdf 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00484779/file/HugoArboleda-PhDThesis.pdf BibTex
titre
Fiabilité des reconfigurations dynamiques dans les architectures à composants
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
https://pastel.archives-ouvertes.fr/tel-00485033/file/these-MarcLeger.pdf 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, Hermès-Lavoisier, 2008, 14 (3), pp.47--57
Accès au bibtex
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
Journal on Computer Communications, 2008, ⟨10.1016/j.comcom.2007.12.006⟩
Accès au texte intégral et bibtex
https://hal-ensta-paris.archives-ouvertes.fr//hal-01248385/file/11%20Computer%20Communications%202008.pdf 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
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 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
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
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
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
BibTex
titre
Cross-Document Dependency Analysis for System-of-System Integration
auteur
Asad 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
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
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
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
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
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
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
BibTex

2006

Journal articles

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
Transaction on Aspect-Oriented Software Development, LNCS, 2006, 1 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00442180/file/douence.taosd06.pdf BibTex
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, Institute of Electrical and Electronics Engineers, 2006, Special issue on Aspect-Oriented Programming, 23 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00442177/file/segura.ieeesoft06.pdf BibTex

Conference papers

titre
Implementation of a neurophysiological model of saccadic eye movements on an anthropomorphic robotic head
auteur
Luigi Manfredi, Eliseo Stefano Maini, Paolo Dario, Cecilia Laschi, Benoît Girard, Nicolas Tabareau, Alain Berthoz
article
6th IEEE-RAS International Conference on Humanoid Robots, Dec 2006, Gênes, Italy. pp.438-443, ⟨10.1109/ICHR.2006.321309⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01525198/file/04115639.pdf BibTex
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
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
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
https://hal.inria.fr/inria-00468018/file/Douence-al-splat2006.pdf 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
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
BibTex