2021
Journal articles
- titre
- Defragmenting the 6LoWPAN Fragmentation Landscape: A Performance Evaluation
- auteur
- Amaury Bruniaux, Remous-Aris Koutsiamanis, Georgios Papadopoulos, Nicolas Montavont
- article
- Sensors, 2021, 21 (5), pp.1-20. ⟨10.3390/s21051711⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward Safe and Efficient Reconfiguration with Concerto
- auteur
- Maverick Chardet, Hélène Coullon, Simon Robillard
- article
- Science of Computer Programming, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩
- Accès au texte intégral et bibtex
-
- titre
- Decentralized SDN Control Plane for a Distributed Cloud-Edge Infrastructure: A Survey
- auteur
- David Espinel Sarmiento, Adrien Lebre, Lucas Nussbaum, Abdelhadi Chari
- article
- Communications Surveys and Tutorials, IEEE Communications Society, 2021, IEEE Communications Surveys & Tutorials, 23 (1), pp.256-281. ⟨10.1109/COMST.2021.3050297⟩
- Accès au texte intégral et bibtex
-
- titre
- ODeSe: On-Demand Selection for multi-path RPL networks
- auteur
- Tomas Lagos Jenschke, Remous-Aris Koutsiamanis, Georgios Papadopoulos, Nicolas Montavont
- article
- Ad Hoc Networks, 2021, 114, pp.102431. ⟨10.1016/j.adhoc.2021.102431⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Hybrid Cloud Deployment Architecture For Privacy-preserving Collaborative Genome-Wide Association Studies
- auteur
- Fatima-Zahra Boujdad, David Niyitegeka, Reda Bellafqira, Gouenou Coatrieux, Emmanuelle Génin, Mario Südholt
- article
- EAI ICDF2C 2021: 12th EAI International Conference on Digital Forensics & Cyber Crime, Dec 2021, Singapour, Singapore. pp.342-359, ⟨10.1007/978-3-031-06365-7_21⟩
- Accès au bibtex
-
- titre
- Executing Certified Model Transformations on Apache Spark
- auteur
- Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé
- article
- SLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, Illinois, United States. pp.36-48, ⟨10.1145/3486608.3486901⟩
- Accès au texte intégral et bibtex
-
- titre
- Digital Twin-Driven Approach for Smart City Logistics: The Case of Freight Parking Management
- auteur
- Yu Liu, Pauline Folz, Shenle Pan, Fano Ramparany, Sébastien Bolle, Eric Ballot, Thierry Coupaye
- article
- IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.237-246, ⟨10.1007/978-3-030-85910-7_25⟩
- Accès au texte intégral et bibtex
-
- titre
- The cost of immortality: A Time To Live for smart contracts
- auteur
- Dimitri Saingre, Thomas Ledoux, Jean-Marc Menaud
- article
- ISCC 2021 - 26th IEEE Symposium on Computers and Communications, Sep 2021, Athènes, Greece. ⟨10.1109/ISCC53001.2021.9631513⟩
- Accès au texte intégral et bibtex
-
- titre
- Geo-Distribute Cloud Applications at the Edge
- auteur
- Ronan-Alexandre Cherrueau, Marie Delavergne, Adrien Lebre
- article
- EURO-PAR 2021 - 27th International European Conference on Parallel and Distributed Computing, Aug 2021, Lisbon, Portugal. pp.1-14, ⟨10.1007/978-3-030-85665-6_19⟩
- Accès au texte intégral et bibtex
-
- titre
- A service mesh for collaboration between geo-distributed services: the replication case
- auteur
- Marie Delavergne, Ronan-Alexandre Cherrueau, Adrien Lebre
- article
- AMP 2021: 2nd International Workshop on Agility with Microservices Programming, Jun 2021, Online, France. pp.176-185, ⟨10.1007/978-3-030-88583-0_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Secure distribution of Factor Analysis of Mixed Data (FAMD) and its application to personalized medicine of transplanted patients
- auteur
- Sirine Sayadi, Estelle Geffard, Mario Südholt, Nicolas Vince, Pierre-Antoine Gourraud
- article
- AINA 2021: 35th International Conference on Advanced Information Networking and Applications, May 2021, Toronto, Canada. ⟨10.1007/978-3-030-75100-5_44⟩
- Accès au texte intégral et bibtex
-
- titre
- SNAPPY: Programmable Kernel-Level Policies for Containers
- auteur
- Maxime Belair, Sylvie Laniepce, Jean-Marc Menaud
- article
- SAC 2021: 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. pp.1636-1645, ⟨10.1145/3412841.3442037⟩
- Accès au texte intégral et bibtex
-
- titre
- Kubernetes WANWide: a Deployment Scenario to Expose and Use Edge Computing Resources?
- auteur
- Karim Manaouil, Adrien Lebre
- article
- PDP 2021 - 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Mar 2021, Valladolid, Spain. pp.193-197, ⟨10.1109/PDP52278.2021.00038⟩
- Accès au bibtex
-
Book sections
- titre
- Potential of Deep Learning Algorithms in Mitigating the Spread of COVID-19
- auteur
- Oluwafemi Sarumi, Ons Aouedi, Lawan Muhammad
- article
- Understanding COVID-19: The Role of Computational Intelligence, 963, Springer International Publishing, pp.225-244, 2021, Studies in Computational Intelligence, ⟨10.1007/978-3-030-74761-9_10⟩
- Accès au bibtex
-
Theses
- titre
- Understanding the energy consumption of blockchain technologies : a focus on smart contracts
- auteur
- Dimitri Saingre
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0280⟩
- Accès au texte intégral et bibtex
-
- titre
- Defense against attacks with regard to new virtualisation kinds
- auteur
- Maxime Bélair
- article
- Cryptographie et sécurité [cs.CR]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. Français. ⟨NNT : 2021IMTA0279⟩
- Accès au texte intégral et bibtex
-
- titre
- Distributing connectivity management in Cloud-Edge infrastructures using SDN-based approaches
- auteur
- David Espinel Sarmiento
- article
- Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0250⟩
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- Performance Analysis and Optimality Results for Data-Locality Aware Tasks Scheduling with Replicated Inputs
- auteur
- Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
- article
- Future Generation Computer Systems, 2020, 111, pp.582-598. ⟨10.1016/j.future.2019.08.024⟩
- Accès au texte intégral et bibtex
-
- titre
- An overview of service placement problem in Fog and Edge Computing
- auteur
- Farah Ait Salaht, Frédéric Desprez, Adrien Lebre
- article
- ACM Computing Surveys, 2020, 53 (3), Article 65, 35 p. ⟨10.1145/3391196⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Centralized Controller for Reliable and Available Wireless Schedules in Industrial Networks
- auteur
- Remous-Aris Koutsiamanis, Georgios Papadopoulos, Bruno Quoitin, Nicolas Montavont
- article
- MSN 2020 : 16th International Conference on Mobility, Sensing and Networking, Dec 2020, Virtual, Japan. pp.1-9, ⟨10.1109/MSN50589.2020.00018⟩
- Accès au texte intégral et bibtex
-
- titre
- Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy Optimization
- auteur
- Emile Cadorel, Hélène Coullon, Jean-Marc Menaud
- article
- CCGrid2020 : 20th International Symposium on Cluster, Cloud and Internet Computing, Nov 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-36⟩
- Accès au texte intégral et bibtex
-
- titre
- BCTMark: a framework for benchmarking blockchain technologies
- auteur
- Dimitri Saingre, Thomas Ledoux, Jean-Marc Menaud
- article
- AICCSA 2020 - 17th IEEE/ACS International Conference on Computer Systems and Applications, Nov 2020, Antalya, Turkey. pp.1-8, ⟨10.1109/AICCSA50499.2020.9316536⟩
- Accès au texte intégral et bibtex
-
- titre
- Distributed Contextualization of Biomedical Data: a case study in precision medicine
- auteur
- Sirine Sayadi, Estelle Geffard, Mario Südholt, Nicolas Vince, Pierre-Antoine Gourraud
- article
- AICCSA 2020 - 17th IEEE/ACS International Conference on Computer Systems and Applications, Nov 2020, Antalya, Turkey. pp.1-6, ⟨10.1109/AICCSA50499.2020.9316502⟩
- Accès au texte intégral et bibtex
-
- titre
- Rethinking Operators Placement of Stream Data Application in the Edge
- auteur
- Thomas Lambert, David Guyon, Shadi Ibrahim
- article
- CIKM 2020- 29th ACM International Conference on Information and Knowledge Management, Oct 2020, Dublin, Ireland. ⟨10.1145/3340531.3412116⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms
- auteur
- Jolan Philippe, Hélène Coullon, Massimo Tisi, Gerson Sunyé
- article
- 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Oct 2020, Montreal (Virtually), Canada. ⟨10.1145/3417990.3420206⟩
- Accès au texte intégral et bibtex
-
- titre
- Stratégies d'ancêtre commun pour les réseaux RPL multi-chemins
- auteur
- Tomas Lagos Jenschke, Georgios Papadopoulos, Remous-Aris Koutsiamanis, Nicolas Montavont
- article
- CORES 2020 - 5ème Rencontres Francophones sur la Conception de Protocoles, l’Evaluation de Performance et l’EXpérimentation des Réseaux de Communication, Sep 2020, Lyon, France. pp.1-4
- Accès au texte intégral et bibtex
-
- titre
- Evaluating Computation and Data Placements in Edge Infrastructures through a Common Simulator
- auteur
- Anderson Andrei da Silva, Clément Mommessin, Pierre Neyron, Denis Trystram, Adwait Bauskar, Adrien Lebre, Alexandre Van Kempen, Yanik Ngoko, Yoann Ricordel
- article
- SBAC-PAD 2020 - IEEE 32nd International Symposium on Computer Architecture and High Performance Computing, Sep 2020, Porto, Portugal. pp.1-8, ⟨10.1109/SBAC-PAD49847.2020.00020⟩
- Accès au texte intégral et bibtex
-
- titre
- RFC 6550: On Minimizing the Control Plane Traffic of RPL-based Industrial Networks
- auteur
- Dimitrios Sourailidis, Remous-Aris Koutsiamanis, Georgios Papadopoulos, Dominique Barthel, Nicolas Montavont
- article
- WoWMoM 2020 - IEEE 21st International Symposium on "A World of Wireless, Mobile and Multimedia Networks", Aug 2020, Cork, Ireland. pp.439-444, ⟨10.1109/WoWMoM49955.2020.00080⟩
- Accès au texte intégral et bibtex
-
- titre
- Pushing 6TiSCH Minimal Scheduling Function (MSF) to the Limits
- auteur
- David Hauweele, Remous-Aris Koutsiamanis, Bruno Quoitin, Georgios Papadopoulos
- article
- ISCC 2020 - IEEE Symposium on Computers and Communications, Jul 2020, Rennes, France. pp.1-7, ⟨10.1109/ISCC50000.2020.9219692⟩
- Accès au texte intégral et bibtex
-
- titre
- Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto
- auteur
- Maverick Chardet, Hélène Coullon, Christian Pérez
- article
- CCGrid 2020 : 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, May 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-59⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi-site Connectivity for Edge Infrastructures DIMINET:DIstributed Module for Inter-site NETworking
- auteur
- David Espinel Sarmiento, Adrien Lebre, Lucas Nussbaum, Abdelhadi Chari
- article
- CCGRID 2020: 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, IEEE; The University of Melbourne, May 2020, Melbourne, Australia. pp.1-10, ⟨10.1109/CCGrid49817.2020.00-81⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- A Fog storage software architecture for the Internet of Things
- auteur
- Bastien Confais, Adrien Lebre, Benoît Parrein
- article
- Advances in Edge Computing: Massive Parallel Processing and Applications, 35, IOS Press, pp.61-105, 2020, Advances in Parallel Computing, 978-1-64368-062-0. ⟨10.3233/APC200004⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Kubernetes and the Edge?
- auteur
- Karim Manaouil, Adrien Lebre
- article
- [Research Report] RR-9370, Inria Rennes - Bretagne Atlantique. 2020, pp.19
- Accès au texte intégral et bibtex
-
- titre
- Decentralized SDN Control Plane for a Distributed Cloud-Edge Infrastructure: A Survey
- auteur
- David Espinel Sarmiento, Adrien Lebre, Lucas Nussbaum, Abdelhadi Chari
- article
- [Research Report] RR-9352, INRIA. 2020, pp.40
- Accès au texte intégral et bibtex
-
- titre
- Investigating Placement Challenges in Edge Infrastructures through a Common Simulator (extended version)
- auteur
- Adwait Bauskar, Anderson da Silva, Adrien Lebre, Clement Mommessin, Pierre Neyron, Yanik Ngoko, Yoann Ricordel, Denis Trystram, Alexandre van Kempen
- article
- [Research Report] RR-9282, INRIA. 2020, pp.21
- Accès au texte intégral et bibtex
-
- titre
- Edge Computing Resource Management System: Two Years Later!
- auteur
- Ronan-Alexandre Cherrueau, Marie Delavergne, Adrien Lebre, Javier Rojas Balderrama, Matthieu Simonin
- article
- [Research Report] RR-9336, Inria Rennes Bretagne Atlantique. 2020
- Accès au texte intégral et bibtex
-
Theses
- titre
- Reconciling parallelism expressivity and separation of concerns in reconfiguration of distributed systems
- auteur
- Maverick Chardet
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0194⟩
- Accès au texte intégral et bibtex
-
- titre
- Energy-aware management of scientific workflows in the Cloud : a Cloud provider-centric vision
- auteur
- Emile Cadorel
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0195⟩
- Accès au texte intégral et bibtex
-
- titre
- Evaluating and modeling the energy impacts of data centers, in terms of hardware / software architecture and associated environment
- auteur
- Yewan Wang
- article
- Operating Systems [cs.OS]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0175⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus
- auteur
- Maverick Chardet, Hélène Coullon, Christian Pérez, Dimitri Pertin, Charlène Servantie, Simon Robillard
- article
- 2020
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- Cost-Aware Partitioning for Efficient Large Graph Processing in Geo-Distributed Datacenters
- auteur
- Amelie Chi Zhou, Bingkun Shen, Yao Xiao, Shadi Ibrahim, Bingsheng He
- article
- IEEE Transactions on Parallel and Distributed Systems, 2019, pp.1707-1723. ⟨10.1109/TPDS.2019.2955494⟩
- Accès au texte intégral et bibtex
-
- titre
- Shadow: Exploiting the Power of Choice for Efficient Shuffling in MapReduce
- auteur
- Sijie Wu, Hanhua Chen, Hai Jin, Shadi Ibrahim
- article
- IEEE Transactions on Big Data, 2019, pp.1-15. ⟨10.1109/TBDATA.2019.2943473⟩
- Accès au texte intégral et bibtex
-
- titre
- Data Location Management Protocol for Object Stores in a Fog Computing Infrastructure
- auteur
- Bastien Confais, Benoît Parrein, Adrien Lebre
- article
- IEEE Transactions on Network and Service Management, 2019, pp.1-14. ⟨10.1109/TNSM.2019.2929823⟩
- Accès au texte intégral et bibtex
-
- titre
- A New Framework for Evaluating Straggler Detection Mechanisms in MapReduce
- auteur
- Tien-Dat Phan, Guillaume Pallez, Shadi Ibrahim, Padma Raghavan
- article
- ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2019, X, pp.1-22. ⟨10.1145/3328740⟩
- Accès au texte intégral et bibtex
-
- titre
- Isolation in Cloud Computing Infrastructures: New Security Challenges
- auteur
- Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud
- article
- Annals of Telecommunications - annales des télécommunications, 2019, ⟨10.1007/s12243-019-00703-z⟩
- Accès au bibtex
-
Conference papers
- titre
- Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning
- auteur
- Hélène Coullon, Claude Jard, Didier Lime
- article
- IFM 2019 : 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137, ⟨10.1007/978-3-030-34968-4_7⟩
- Accès au texte intégral et bibtex
-
- titre
- Is it time to revisit Erasure Coding in Data-intensive clusters?
- auteur
- Jad Darrous, Shadi Ibrahim, Christian Pérez
- article
- MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.165-178, ⟨10.1109/MASCOTS.2019.00026⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling Self-Adaptive Fog Systems Using Bigraphs
- auteur
- Hamza Sahli, Thomas Ledoux, Éric Rutten
- article
- SEFM 2019 : 17th International Conference on Software Engineering and Formal Methods, Sep 2019, Oslo, Norway. pp.252-268, ⟨10.1007/978-3-030-57506-9_19⟩
- Accès au texte intégral et bibtex
-
- titre
- Leveraging Kernel Security Mechanisms to Improve Container Security: a Survey
- auteur
- Maxime Belair, Sylvie Laniepce, Jean-Marc Menaud
- article
- IWSECC 2019 - 2nd International Workshop on Security Engineering for Cloud Computing, Aug 2019, Canterbury, United Kingdom. pp.1-6, ⟨10.1145/3339252.3340502⟩
- Accès au texte intégral et bibtex
-
- titre
- YOLO: Speeding up VM and Docker Boot Time by reducing I/O operations
- auteur
- Thuy Linh Nguyen, Ramon Nou, Adrien Lebre
- article
- EURO-PAR 2019 - European Conference on Parallel Processing, Aug 2019, Göttingen, Germany. pp.273-287, ⟨10.1007/978-3-030-29400-7_20⟩
- Accès au texte intégral et bibtex
-
- titre
- Incorporating Probabilistic Optimizations for Resource Provisioning of Data Processing Workflows
- auteur
- Amelie Chi Zhou, Yao Xiao, Bingsheng He, Shadi Ibrahim, Reynold Cheng
- article
- ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1-10, ⟨10.1145/3337821.3337847⟩
- Accès au texte intégral et bibtex
-
- titre
- On the Importance of Container Image Placement for Service Provisioning in the Edge
- auteur
- Jad Darrous, Thomas Lambert, Shadi Ibrahim
- article
- ICCCN 2019 - 28th International Conference on Computer Communication and Networks, Jul 2019, Valencia, Spain. ⟨10.1109/ICCCN.2019.8846920⟩
- Accès au texte intégral et bibtex
-
- titre
- A workflow scheduling deadline-based heuristic for energy optimization in Cloud
- auteur
- Emile Cadorel, Hélène Coullon, Jean-Marc Menaud
- article
- GreenCom 2019 : 15th IEEE International Conference on Green Computing and Communications, Jul 2019, Atlanta, United States. pp.1-10, ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00135⟩
- Accès au texte intégral et bibtex
-
- titre
- Experimental Characterization of Variation in Power Consumption for Processors of Different generations
- auteur
- Yewan Wang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
- article
- GreenCom 2019 : 15th IEEE International Conference on Green Computing and Communications, Jul 2019, Atlanta, United States. pp.1-9, ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00133⟩
- Accès au texte intégral et bibtex
-
- titre
- Service Placement in Fog Computing Using Constraint Programming
- auteur
- Farah Ait Salaht, Frédéric Desprez, Adrien Lebre, Charles Prud'Homme, Mohamed Abderrahim
- article
- SCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩
- Accès au texte intégral et bibtex
-
- titre
- When FPGA-Accelerator Meets Stream Data Processing in the Edge
- auteur
- Song Wu, Die Hu, Shadi Ibrahim, Hai Jin, Jiang Xiao, Fei Chen, Haikun Liu
- article
- ICDCS'19 - 39th IEEE International Conference on Distributed Computing Systems, Jul 2019, Dallas, United States. pp.1818-1829, ⟨10.1109/ICDCS.2019.00180⟩
- Accès au texte intégral et bibtex
-
- titre
- Container interaction with host OS for enhanced security: a survey
- auteur
- Maxime Belair, Sylvie Laniepce, Jean-Marc Menaud
- article
- COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
- Accès au bibtex
-
- titre
- BCTMark - Vers un outil pour l’évaluation des performances et du coût énergétique des technologies blockchain
- auteur
- Dimitri Saingre, Thomas Ledoux, Jean-Marc Menaud
- article
- COMPAS 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
- Accès au bibtex
-
- titre
- Distributing connectivity management in Cloud-Edge infrastructures : Challenges and approaches
- auteur
- David Espinel Sarmiento, Adrien Lebre, Lucas Nussbaum, Abdelhadi Chari
- article
- COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France. pp.1-7
- Accès au texte intégral et bibtex
-
- titre
- An Empirical Study of Power Characterization Approaches for Servers
- auteur
- Yewan Wang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
- article
- ENERGY 2019 - The Ninth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, Jun 2019, Athens, Greece. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- NCQ-Aware I/O Scheduling for Conventional Solid State Drives
- auteur
- Hao Fan, Song Wu, Shadi Ibrahim, Ximing Chen, Hai Jin, Jiang Xiao, Haibing Guan
- article
- IPDPS 2019 - 33rd IEEE International Parallel & Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.523-532, ⟨10.1109/IPDPS.2019.00062⟩
- Accès au texte intégral et bibtex
-
- titre
- On distributed collaboration for biomedical analyses
- auteur
- Fatima-Zahra Boujdad, Alban Gaignard, Mario Südholt, Wilmer Garzón-Alfonso, Luis Daniel Benavides Navarro, Richard Redon
- article
- CCGrid-Life 2019 Workshop on Clusters, Clouds and Grids for Life Sciences, May 2019, Larnaca, Cyprus. pp.1-10, ⟨10.1109/CCGRID.2019.00079⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures
- auteur
- Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Adrien Lebre, Charles Prud'Homme, Xavier Lorca
- article
- PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
- Accès au texte intégral et bibtex
-
Books
- titre
- Logiciel et Industrie du Futur
- auteur
- Jean-Christophe Bach, Antoine Beugnard, Hugo Bruneliere, Hélène Coullon, Fabien Lehuédé, Guillaume Massonnet, Jacques Noyé, Gilles Simonin
- article
- Hélène Coullon. Presse des Mines, pp.62, 2019, Mathématiques et Informatique, 9782356715760
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Enabling Data Processing under Erasure Coding in the Fog
- auteur
- Jad Darrous, Shadi Ibrahim
- article
- ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1
- Accès au texte intégral et bibtex
-
Reports
- titre
- An overview of service placement problem in Fog and Edge Computing
- auteur
- Farah Ait Salaht, Frédéric Desprez, Adrien Lebre
- article
- [Research Report] RR-9295, Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP, LYON, France. 2019, pp.1-43
- Accès au texte intégral et bibtex
-
- titre
- YOLO: Speeding up VM Boot Time by reducing I/O operations
- auteur
- Thuy Linh Nguyen, Ramon Nou, Adrien Lebre
- article
- [Research Report] RR-9245, Inria. 2019, pp.1-18
- Accès au texte intégral et bibtex
-
Theses
- titre
- Scalable and Efficient Data Management in Distributed Clouds : Service Provisioning and Data Processing
- auteur
- Jad Darrous
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lyon, 2019. English. ⟨NNT : 2019LYSEN077⟩
- Accès au texte intégral et bibtex
-
- titre
- Fast delivery of virtual machines and containers : understanding and optimizing the boot operation
- auteur
- Thuy Linh Nguyen
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0147⟩
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- End-to-end Energy Models for Edge Cloud-based IoT Platforms: Application to Data Stream Analysis in IoT
- auteur
- Yunbo Li, Anne-Cécile Orgerie, Ivan Rodero, Betsegaw Lemma Amersho, Manish Parashar, Jean-Marc Menaud
- article
- Future Generation Computer Systems, 2018, 87, pp.667-678. ⟨10.1016/j.future.2017.12.048⟩
- Accès au texte intégral et bibtex
-
- titre
- CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems
- auteur
- Zakarea Al-Shara, Frederico Alvares, Hugo Bruneliere, Jonathan Lejeune, Charles Prud'Homme, Thomas Ledoux
- article
- Future Generation Computer Systems, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩
- Accès au texte intégral et bibtex
-
- titre
- Putting the Next 500 VM Placement Algorithms to the Acid Test
- auteur
- Adrien Lebre, Jonathan Pastor, Anthony Simonet, Mario Südholt
- article
- IEEE Transactions on Parallel and Distributed Systems, 2018, pp.1-14. ⟨10.1109/TPDS.2018.2855158⟩
- Accès au texte intégral et bibtex
-
- titre
- Improving the Effectiveness of Burst Buffers for Big Data Processing in HPC Systems with Eley
- auteur
- Orcun Yildiz, Amelie Chi Zhou, Shadi Ibrahim
- article
- Future Generation Computer Systems, 2018, 86, pp.308-318. ⟨10.1016/j.future.2018.03.029⟩
- Accès au bibtex
-
Conference papers
- titre
- Combining Heuristics to Optimize and Scale the Placement of IoT Applications in the Fog
- auteur
- Ye Xia, Xavier Etchevers, Loic Letondeur, Adrien Lebre, Thierry Coupaye, Frédéric Desprez
- article
- UCC 2018 : 11th IEEE/ACM Conference on Utility and Cloud Computing, Dec 2018, Zurich, Switzerland. pp.1-11, ⟨10.1109/UCC.2018.00024⟩
- Accès au texte intégral et bibtex
-
- titre
- Automatic Energy Efficient HPC Programming: A Case Study
- auteur
- Issam Raïs, Hélène Coullon, Laurent Lefèvre, Christian Pérez
- article
- ISPA 2018 : 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, Dec 2018, Melbourne, Australia. ⟨10.1109/BDCloud.2018.00145⟩
- Accès au texte intégral et bibtex
-
- titre
- Secure Distributed Computing on Untrusted Fog Infrastructures Using Trusted Linux Containers
- auteur
- Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud
- article
- CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.239-242, ⟨10.1109/CloudCom2018.2018.00053⟩
- Accès au texte intégral et bibtex
-
- titre
- Combining Separation of Concerns and Performance in Distributed Software Reconfiguration
- auteur
- Maverick Chardet
- article
- Doctoral symposium @ Middleware 2018 - ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- Scalability and Locality Awareness of Remote Procedure Calls: An Experimental Study in Edge Infrastructures
- auteur
- Javier Rojas Balderrama, Matthieu Simonin
- article
- CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.40-47, ⟨10.1109/CloudCom2018.2018.00023⟩
- Accès au texte intégral et bibtex
-
- titre
- A Tree-Based Approach to locate Object Replicas in a Fog Storage Infrastructure
- auteur
- Bastien Confais, Adrien Lebre, Benoît Parrein
- article
- GLOBECOM 2018 : IEEE Global Communications Conference, Dec 2018, Abu Dhabi, United Arab Emirates. pp.1-6, ⟨10.1109/GLOCOM.2018.8647470⟩
- Accès au texte intégral et bibtex
-
- titre
- SeDuCe: a Testbed for Research on Thermal and Power Management in Datacenters
- auteur
- Jonathan Pastor, Jean-Marc Menaud
- article
- GREEN 2018 : Third International Conference on Green Communications, Computing and Technologies, Sep 2018, Venise, Italy. pp.1-6, ⟨10.23919/SOFTCOM.2018.8555773⟩
- Accès au texte intégral et bibtex
-
- titre
- SeDuCe: a Testbed for Research on Thermal and Power Management in Datacenters
- auteur
- Jonathan Pastor, Jean-Marc Menaud
- article
- SoftCom 2018 - 26th International Conference on Software, Telecommunications and Computer Networks, Sep 2018, Split, Croatia. pp.1-6, ⟨10.23919/SOFTCOM.2018.8555773⟩
- Accès au texte intégral et bibtex
-
- titre
- Potential effects on server power metering and modeling
- auteur
- Yewan Wang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
- article
- CloudComp 2018 : 8th EAI International Conference on Cloud Computing, Sep 2018, Exeter, United Kingdom. pp.1-12, ⟨10.1007/s11276-018-1882-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Dual-Paradigm Stream Processing
- auteur
- Song Wu, Zhiyi Liu, Shadi Ibrahim, Lin Gu, Hai Jin, Fei Chen
- article
- ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.Article No. 83, ⟨10.1145/3225058.3225120⟩
- Accès au texte intégral et bibtex
-
- titre
- Energy-Efficient Speculative Execution using Advanced Reservation for Heterogeneous Clusters
- auteur
- Amelie Chi Zhou, Tien-Dat Phan, Shadi Ibrahim, Bingsheng He
- article
- ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.article n°8, ⟨10.1145/3225058.3225084⟩
- Accès au texte intégral et bibtex
-
- titre
- Madeus: A formal deployment model
- auteur
- Maverick Chardet, Hélène Coullon, Dimitri Pertin, Christian Pérez
- article
- 4PAD 2018 : 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), HPCS 2018 : International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.1-8, ⟨10.1109/HPCS.2018.00118⟩
- Accès au texte intégral et bibtex
-
- titre
- Edge Computing Resource Management System: a Critical Building Block! Initiating the debate via OpenStack
- auteur
- Ronan-Alexandre Cherrueau, Adrien Lebre, Dimitri Pertin, Fetahi Wuhib, João Monteiro Soares
- article
- HotEdge 2018 - USENIX Workshop on Hot Topics in Edge Computing, Jul 2018, Boston, MA, United States. pp.1-6
- Accès au texte intégral et bibtex
-
- titre
- Etude de l'influence de la température du processeur sur la consommation des serveurs
- auteur
- Yewan Wang, David Nörtershäuser, Stéphane Masson, Jean-Marc Menaud
- article
- ComPAS 2018 - Conférence d'informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Behavioral interfaces for reconfiguration of component models
- auteur
- Maverick Chardet, Hélène Coullon, Christian Pérez
- article
- Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Ordonnancement multi-objectifs de workflows dans un Cloud privé
- auteur
- Emile Cadorel, Hélène Coullon, Jean-Marc Menaud
- article
- ComPAS 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- TurboSream: Towards Low-Latency Data Stream Processing
- auteur
- Song Wu, Mi Liu, Shadi Ibrahim, Hai Jin, Lin Gu, Fei Chen, Zhiyi Liu
- article
- ICDCS 2018 - 38th IEEE International Conference on Distributed Computing Systems, Jul 2018, Vienna, Austria. pp.1-11, ⟨10.1109/ICDCS.2018.00099⟩
- Accès au texte intégral et bibtex
-
- titre
- SeDuCe: Toward a testbed for research on thermal and power management in datacenters
- auteur
- Jonathan Pastor, Jean-Marc Menaud
- article
- E2DC 2018 - 7th International Workshop on Energy-Efficient Data Centres, Jun 2018, Karlsruhe, Germany. pp.513-518, ⟨10.1145/3208903.3213523⟩
- Accès au texte intégral et bibtex
-
- titre
- Etude de l'influence des aspects thermiques sur la consommation et l'efficacité énergétique des serveurs
- auteur
- Yewan Wang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
- article
- SFT 2018 - 26ème Congrès Français de Thermique, May 2018, Pau, France. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Nitro: Network-Aware Virtual Machine Image Management in Geo-Distributed Clouds
- auteur
- Jad Darrous, Shadi Ibrahim, Amelie Chi Zhou, Christian Pérez
- article
- CCGrid 2018 - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2018, Washington D.C., United States. pp.553-562, ⟨10.1109/CCGRID.2018.00082⟩
- Accès au texte intégral et bibtex
-
- titre
- Cache-Based Side-Channel Attacks Detection through Intel Cache Monitoring Technology and Hardware Performance Counters
- auteur
- Mohammad-Mahdi Bazm, Thibaut Sautereau, Marc Lacoste, Mario Südholt, Jean-Marc Menaud
- article
- FMEC 2018 - Third IEEE International Conference on Fog and Mobile Edge Computing, Apr 2018, Barcelona, Spain. pp.1-6, ⟨10.1109/FMEC.2018.8364038⟩
- Accès au texte intégral et bibtex
-
- titre
- EnosStack: A LAMP-like stack for the experimenter
- auteur
- Ronan-Alexandre Cherrueau, Matthieu Simonin, Alexandre van Kempen
- article
- INFOCOM WKSHPS 2018 - IEEE International Conference on Computer Communications, Apr 2018, Honolulu, United States. pp.336-341, ⟨10.1109/INFCOMW.2018.8407024⟩
- Accès au texte intégral et bibtex
-
- titre
- Improving locality of an object store working in a Fog environment
- auteur
- Bastien Confais, Adrien Lebre, Benoît Parrein
- article
- 1st Grid’5000-FIT school, Apr 2018, Nice, France. pp.1-2
- Accès au texte intégral et bibtex
-
- titre
- On the Performance of Spark on HPC Systems: Towards a Complete Picture
- auteur
- Orcun Yildiz, Shadi Ibrahim
- article
- SCA 2018 - SupercomputingAsia, Mar 2018, Singapore, Singapore. pp.70-89, ⟨10.1007/978-3-319-69953-0_5⟩
- Accès au texte intégral et bibtex
-
- titre
- A Model-based Architecture for Autonomic and Heterogeneous Cloud Systems
- auteur
- Hugo Bruneliere, Zakarea Al-Shara, Frederico Alvares, Jonathan Lejeune, Thomas Ledoux
- article
- CLOSER 2018 - 8h International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Portugal. pp.201-212, ⟨10.5220/0006773002010212⟩
- Accès au texte intégral et bibtex
-
- titre
- Constructive Privacy for Shared Genetic Data
- auteur
- Fatima-Zahra Boujdad, Mario Südholt
- article
- CLOSER 2018 : 8th International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Madeira, Portugal. pp.1-8, ⟨10.5220/0006765804890496⟩
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Dynamic reconfiguration of software architectures: from metaclasses to "green Clouds
- auteur
- Thomas Ledoux
- article
- Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques, 2018
- Accès au texte intégral et bibtex
-
Reports
- titre
- Conducting Thousands of Experiments to Analyze VMs, Dockers and Nested Dockers Boot Time
- auteur
- Thuy Linh Nguyen, Adrien Lebre
- article
- [Research Report] RR-9221, INRIA. 2018, pp.1-13
- Accès au texte intégral et bibtex
-
- titre
- A Framework for Edge Infrastructures Monitoring
- auteur
- Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Xavier Lorca, Charles Prud'Homme, Adrien Lebre
- article
- [Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
- Accès au texte intégral et bibtex
-
- titre
- EnosStack: A LAMP-like stack for the experimenter
- auteur
- Ronan-Alexandre Cherrueau, Matthieu Simonin, Alexandre van Kempen
- article
- [Research Report] RR-9146, INRIA Rennes - Bretagne Atlantique. 2018, pp.1-14
- Accès au texte intégral et bibtex
-
Theses
- titre
- Toward a programmable and reconfigurable monitoring system for an edge infrastructure
- auteur
- Mohamed Abderrahim
- article
- Autre [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0119⟩
- Accès au texte intégral et bibtex
-
- titre
- A sharing data system adapted to a Fog Computing environment
- auteur
- Bastien Confais
- article
- Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes, 2018. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2017
Journal articles
- titre
- Extensibility and Composability of a Multi-Stencil Domain Specific Framework
- auteur
- Hélène Coullon, Julien Bigot, Christian Pérez
- article
- International Journal of Parallel Programming, 2017, ⟨10.1007/s10766-017-0539-5⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Virtual Machine Placement for Hybrid Cloud using Constraint Programming
- auteur
- Hélène Coullon, Guillaume Le Louët, Jean-Marc Menaud
- article
- 23rd International Conference on Parallel and Distributed Systems (ICPADS 2017), Dec 2017, Shenzhen, China. ⟨10.1109/ICPADS.2017.00051⟩
- Accès au texte intégral et bibtex
-
- titre
- Green energy aware scheduling problem in virtualized datacenters
- auteur
- Gilles Madi Wamba, Yunbo Li, Anne-Cécile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud
- article
- ICPADS 2017 : IEEE 23rd International Conference on Parallel and Distributed Systems, Dec 2017, Shenzen, China. pp.648-655, ⟨10.1109/ICPADS.2017.00089⟩
- Accès au texte intégral et bibtex
-
- titre
- GPaaScaler: Green Energy aware Platform Scaler for Interactive Cloud Application
- auteur
- Md Sabbir Hasan, Frederico Alvares de Oliveira Jr., Thomas Ledoux
- article
- UCC 2017 : 10th International Conference on Utility and Cloud Computing, Dec 2017, Austin, United States. pp.79-89, ⟨10.1145/3147213.3147227⟩
- Accès au bibtex
-
- titre
- Virtual Machine Boot Time Model
- auteur
- Thuy Linh Nguyen, Adrien Lebre
- article
- PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Mar 2017, St Peterbourg, Russia. pp.430 - 437, ⟨10.1109/PDP.2017.58⟩
- Accès au texte intégral et bibtex
-
Proceedings
- titre
- Algorithms and Architectures for Parallel Processing
- auteur
- Shadi Ibrahim, Kim-Kwang Raymond Choo, Zheng Yan, Witold Pedrycz
- article
- Lecture Notes in Computer Science, 2017, 978-3-319-65481-2
- Accès au bibtex
-
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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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 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 7th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2013, Philadelphia (PA), United States. pp.179-188, ⟨10.1109/SASO.2013.27⟩
- Accès au 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
- 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
- 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, Vienne, Austria. pp.01-08, ⟨10.1007/978-3-642-40517-4_7⟩
- 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
- 28th Annual ACM Symposium on Applied Computing (SAC 2013), Mar 2013, Coimbra, Portugal. pp.411-414, ⟨10.1145/2480362.2480445⟩
- 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
- 4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2012), Dec 2012, Taipei, Taiwan. pp.135-140, ⟨10.1109/CloudCom.2012.6427519⟩
- 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
- 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, ⟨10.5220/0003956405860591⟩
- 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
- 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, Lisbon, Portugal. pp.1-6, ⟨10.1145/2088996.2088999⟩
- 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, ⟨10.1109/NCCA.2011.30⟩
- 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
- Component-Based Software Engineering (CBSE 2010), Jun 2010, Prague, Czech Republic. pp.74-92, ⟨10.1007/978-3-642-13238-4_5⟩
- 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
- 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
- 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
- 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
- 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
- Reliable Dynamic Reconfigurations in the Fractal Component Model
- auteur
- Marc Léger, Thomas Ledoux, Thierry Coupaye
- article
- The 6th Workshop on Adaptive and Reflective Middleware, Held at the ACM/IFIP/USENIX International Middleware Conference, Nov 2007, Newport Beach, CA, United States. pp.1-6, ⟨10.1145/1376780.1376783⟩
- 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
-