2025
Journal articles
- titre
- Classification and evaluation of the algorithms for vector bin packing
- auteur
- Clément Mommessin, Thomas Erlebach, Natalia Shakhlevich
- article
- Computers and Operations Research, 2025, 173, pp.106860. ⟨10.1016/j.cor.2024.106860⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time
- auteur
- Hiba Awad, Thomas Ledoux, Hugo Bruneliere, Jonathan Rivalan
- article
- SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. ⟨10.1145/3672608.3707854⟩
- Accès au texte intégral et bibtex
-
- titre
- TUNE-FL: adapTive semi-synchronoUs semi-deceNtralizEd Federated Learning
- auteur
- Houssem Jmal, Kandaraj Piamrat, Ons Aouedi
- article
- IEEE Consumer Communications & Networking Conference (CCNC), Jan 2025, Las Vegas (Nevada), United States
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Journée thématique du GDR RSD : Pratiques expérimentales de la communauté systèmes et réseaux
- auteur
- Mathieu Bacou, David Beserra, Eugen Dedu, Loïc Desgeorges, Didier Donsez, Alexandre Guitton, Baptiste Jonglez, Arnaud Legrand, Georgios Papadopoulos, Olivier Richard, Samir Si-Mohammed, Nina Tamdrari, Fabrice Theoleyre
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- ReDOSN a customizable Decentralised Social Network
- auteur
- Divi De Lacour, Adam Gautier
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- D-ECS: Towards decentralising video games
- auteur
- Divi De Lacour
- article
- 2025
- Accès au texte intégral et bibtex
-
- titre
- Towards Volunteer Deep Learning: Security Challenges and Solutions
- auteur
- Divi De Lacour, Marc Lacoste, Mario Südholt, Jacques Traoré
- article
- 2025
- Accès au texte intégral et bibtex
-
2024
Journal articles
- titre
- Federated Learning in Mobile Networks: A Comprehensive Case Study on Traffic Forecasting
- auteur
- Nikolaos Pavlidis, Vasileios Perifanis, Selim Yilmaz, Francesc Wilhelmi, Marco Miozzo, Pavlos Efraimidis, Remous-Aris Koutsiamanis, Pavol Mulinka, Paolo Dini
- article
- IEEE Transactions on Sustainable Computing, 2024, 2377-3782, pp.1-12. ⟨10.1109/TSUSC.2024.3504242⟩
- Accès au bibtex
-
- titre
- Deep Learning on Network Traffic Prediction: Recent Advances, Analysis, and Future Directions
- auteur
- Ons Aouedi, Le van An, Kandaraj Piamrat, Yusheng Ji
- article
- ACM Computing Surveys, 2024, pp.1-35
- Accès au texte intégral et bibtex
-
- titre
- VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time and Generating Deployment Configurations
- auteur
- Hiba Awad, Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Jonathan Rivalan
- article
- ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, 2024, 24 (3), pp.18 - 36. ⟨10.1145/3699839.3699841⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward a Scalable and Energy-Efficient Framework for Industrial Cloud-Edge-IoT Continuum
- auteur
- Ons Aouedi, Kandaraj Piamrat
- article
- IEEE Internet of Things Magazine, 2024, 7 (5), pp.14-20. ⟨10.1109/IOTM.001.2300229⟩
- Accès au bibtex
-
- titre
- Description and first insights on a large genomic biobank of lung transplantation
- auteur
- Simon Brocard, Martin Morin, Nayane dos Santos Brito Silva, Benjamin Renaud-Picard, Benjamin Coiffard, Xavier Demant, Loïc Falque, Jérome Le Pavec, Antoine Roux, Thomas Villeneuve, Christiane Knoop, Jean-François Mornex, Mathilde Salpin, Véronique Boussaud, Olivia Rousseau, Vincent Mauduit, Axelle Durand, Antoine Magnan, Pierre-Antoine Gourraud, Nicolas Vince, Mario Südholt, Adrien Tissot, Sophie Limou
- article
- European Journal of Human Genetics, 2024, pp.1-8. ⟨10.1038/s41431-024-01683-y⟩
- Accès au bibtex
-
- titre
- Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
- auteur
- Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
- article
- ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩
- Accès au texte intégral et bibtex
-
- titre
- ScroogeVM: Boosting Cloud Resource Utilization with Dynamic Oversubscription
- auteur
- Pierre Jacquet, Thomas Ledoux, Romain Rouvoy
- article
- IEEE Transactions on Sustainable Computing, 2024, pp.1-13. ⟨10.1109/TSUSC.2024.3369333⟩
- Accès au texte intégral et bibtex
-
- titre
- A Survey on Intelligent Internet of Things: Applications, Security, Privacy, and Future Directions
- auteur
- Ons Aouedi, Thai-Hoc Vu, Alessio Sacco, Dinh Nguyen, Kandaraj Piamrat, Guido Marchetto, Quoc-Viet Pham
- article
- Communications Surveys and Tutorials, IEEE Communications Society, 2024, pp.1-1. ⟨10.1109/COMST.2024.3430368⟩
- Accès au bibtex
-
- titre
- A Digital Twin use cases classification and definition framework based on Industrial feedback
- auteur
- Emmanuelle Abisset-Chavanne, Thierry Coupaye, Fahad Golra, Damien Lamy, Ariane Piel, Olivier Scart, Pascale Vicat-Blanc
- article
- Computers in Industry, 2024, 161, pp.104113. ⟨10.1016/j.compind.2024.104113⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Ti-skol: A Modular Federated Learning Framework Supporting Security Countermeasure Composition
- auteur
- Divi De Lacour, Marc Antoine Lacoste, Mario Südholt, Jacques Traoré
- article
- Big Data 2024 - Special Session on Federated Learning on Big Data, IEEE BigData 2024, Dec 2024, Washington DC, United States
- Accès au texte intégral et bibtex
-
- titre
- SLACKVM: Packing Virtual Machines in Oversubscribed Cloud Infrastructures
- auteur
- Pierre Jacquet, Thomas Ledoux, Romain Rouvoy
- article
- 2024 CLUSTER - IEEE International Conference on Cluster Computing, Sep 2024, Kobe, Japan. pp.1-12, ⟨10.1109/CLUSTER59578.2024.00024⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Digital Sustainability: Involving Cloud Users as Key Players
- auteur
- Anas Mokhtari, Baptiste Jonglez, Thomas Ledoux
- article
- IC2E 2024 - 12th IEEE International Conference on Cloud Engineering, Sep 2024, Paphos, Cyprus. pp.126-132, ⟨10.1109/IC2E61754.2024.00021⟩
- Accès au texte intégral et bibtex
-
- titre
- FLEXIBLE: Forecasting Cellular Traffic by Leveraging Explicit Inductive Graph-Based Learning
- auteur
- Duc-Thinh Ngo, Kandaraj Piamrat, Ons Aouedi, Thomas Hassan, Philippe Raipin
- article
- IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Sep 2024, Valencia (Espagne), Spain. ⟨10.1109/PIMRC59610.2024.10817182⟩
- Accès au texte intégral et bibtex
-
- titre
- Performance-cost trade-offs in service orchestration for edge computing
- auteur
- Daniel Balouek
- article
- SSDBM 2024 - 36th International Conference on Scientific and Statistical Database Management, Edge Computing; Resource Management; Computing Continuum; Trade-offs; Urgent Computing, Jul 2024, Rennes, France. pp.1-4, ⟨10.1145/3676288.3676307⟩
- Accès au texte intégral et bibtex
-
- titre
- METALS : seMi-supervised fEderaTed Active Learning for intrusion detection Systems
- auteur
- Ons Aouedi, Gautam Jajoo, Kandaraj Piamrat
- article
- ISCC 2024 - 29th IEEE Symposium on Computers and Communications, Jun 2024, Paris, France. pp.1-5, ⟨10.1109/ISCC61673.2024.10733565⟩
- Accès au texte intégral et bibtex
-
- titre
- StreamBed: Capacity Planning for Stream Processing
- auteur
- Guillaume Rosinosky, Donatien Schmitz, Etienne Rivière
- article
- DEBS 2024 - 18th ACM International Conference on Distributed and Event-based Systems, Jun 2024, Lyon, France. pp.90-102, ⟨10.1145/3629104.3666034⟩
- Accès au texte intégral et bibtex
-
- titre
- An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
- auteur
- Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard
- article
- ICE 2024 - 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. pp.1-18
- Accès au texte intégral et bibtex
-
- titre
- SURFS: Sustainable IntrUsion Detection with HieraRchical Federated Spiking Neural Networks
- auteur
- Ons Aouedi, Kandaraj Piamrat
- article
- ICC 2024 - IEEE International Conference on Communications, Jun 2024, Denver, United States. pp.2173-2178, ⟨10.1109/ICC51166.2024.10622560⟩
- Accès au texte intégral et bibtex
-
- titre
- Proteus: Towards Intent-driven Automated Resource Management Framework for Edge Sensor Nodes
- auteur
- Shashikant Ilager, Daniel Balouek, Sidi Mohammed Kaddour, Ivona Brandic
- article
- FlexScience'24: Proceedings of the 14th Workshop on AI and Scientific Computing at Scale using Flexible Computing Infrastructures, Jun 2024, Pisa, Italy. pp.1 - 8, ⟨10.1145/3659995.3660037⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications
- auteur
- Yasmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek
- article
- CCGrid 2024 - IEEE 24th International Symposium on Cluster, Cloud and Internet Computing, May 2024, Philadelphia, United States. pp.347-356, ⟨10.1109/CCGrid59990.2024.00047⟩
- Accès au texte intégral et bibtex
-
- titre
- Collaborative services for Crowd Safety systems across the Edge-Cloud Computing Continuum
- auteur
- Daniel Balouek, Julien Pettré
- article
- CCGridW 2024 - IEEE 24th International Symposium on Cluster, Cloud and Internet Computing Workshops, May 2024, Philadelphia, France. pp.92 - 97, ⟨10.1109/ccgridw63211.2024.00017⟩
- Accès au texte intégral et bibtex
-
- titre
- Thinking out of replication for geo-distributing applications: the sharding case
- auteur
- Geo Johns Antony, Marie Delavergne, Adrien Lebre, Matthieu Rakotojaona Rainimangavelo
- article
- ICFEC 2024 - 8th IEEE International Conference on Fog and Edge Computing, May 2024, Philadelphia, United States. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- SweetspotVM: Oversubscribing CPU without Sacrificing VM Performance
- auteur
- Pierre Jacquet, Thomas Ledoux, Romain Rouvoy
- article
- CCGrid'24 - 24th IEEE/ACM international Symposium on Cluster, Cloud and Internet Computing, May 2024, Philadelphia, United States. pp.1-10, ⟨10.1109/CCGrid59990.2024.00026⟩
- Accès au texte intégral et bibtex
-
- titre
- Optimizing Cloud Application Scheduling: A Dual-Stage Heuristic Approach
- auteur
- Ye Xia, Xavier Etchevers, Loïc Letondeur, Thierry Coupaye, Frédéric Desprez
- article
- ICCCBDA 2024 - 9th International Conference on Cloud Computing and Big Data Analytics, Apr 2024, Chengdu, China. pp.134-140, ⟨10.1109/ICCCBDA61447.2024.10569682⟩
- Accès au texte intégral et bibtex
-
- titre
- VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time
- auteur
- Hiba Awad, Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Etienne Leclerq, Jonathan Rivalan
- article
- SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, Apr 2024, Avila, Spain. pp.1252-1261, ⟨10.1145/3605098.3635973⟩
- Accès au texte intégral et bibtex
-
- titre
- Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study
- auteur
- Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud'Homme, Issam Raïs
- article
- SANER 2024 - IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2024, Rovaniemi, Finland. pp.1-11, ⟨10.1109/SANER60148.2024.00007⟩
- Accès au texte intégral et bibtex
-
- titre
- Ordonnancement de Tâches avec Précédences sur Plateforme Edge-Cloud Alimentée par des Sources d'Energie Verte
- auteur
- Remous-Aris Koutsiamanis, Jean-Marc Menaud, Clément Mommessin
- article
- ROADEF 2024 - 25ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Mar 2024, Amiens, France. pp.1-2
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Disaggregation Patterns for Secure AI Systems
- auteur
- Mohamed Islam Ghamri, Marc Lacoste, Divi De Lacour
- article
- HPEC 2024 - 28th Annual IEEE High Performance Extreme Computing Virtual Conference, Sep 2024, Boston (MA), United States. pp.1-2, 2024
- Accès au texte intégral et bibtex
-
Reports
- titre
- An update on Cheops: new implementation report
- auteur
- Geo Johns Antony, Marie Delavergne, Matthieu Rakotojaona Rainimangavelo, Baptiste Jonglez
- article
- RT-0524, Inria. 2024
- Accès au texte intégral et bibtex
-
Software
- titre
- Concerto-D in Maude
- auteur
- Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard
- article
- 2024, ⟨swh:1:dir:32a2fe14ad750c01d73d2bd101ef0c2f2e440f62;origin=https://hal.archives-ouvertes.fr/hal-04654817;visit=swh:1:snp:ad21f1e90f6cf2549821eb2142ab6657817241f1;anchor=swh:1:rel:9689c8ed0577d56bfb7885c6ed94e9ce0020eca3;path=/⟩
- Accès au bibtex
-
Theses
- titre
- Cheops reloaded, further steps in decoupling geo-distribution from application business logic : a focus on externalised sharding collaboration, consistency and dependency
- auteur
- Geo Johns Antony
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2024. English. ⟨NNT : 2024IMTA0441⟩
- Accès au texte intégral et bibtex
-
- titre
- Enhancing IaaS Consolidation with Resource Oversubscription
- auteur
- Pierre Jacquet
- article
- Systems and Control [cs.SY]. Université de Lille, 2024. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- D-Lambda: a fully decentralised serverless model
- auteur
- Divi De Lacour
- article
- 2024
- Accès au texte intégral et bibtex
-
- titre
- Graph Neural Network-based Models for Mobile Network Traffic Prediction
- auteur
- Duc-Thinh Ngo, Ons Aouedi, Kandaraj Piamrat, Thomas Hassan, Philippe Raipin-Parvédy
- article
- 2024
- Accès au texte intégral et bibtex
-
2023
Journal articles
- titre
- Empowering Digital Twin for Future Networks with Graph Neural Networks: Overview, Enabling Technologies, Challenges, and Opportunities
- auteur
- Duc-Thinh Ngo, Ons Aouedi, Kandaraj Piamrat, Thomas Hassan, Philippe Raipin-Parvédy
- article
- Future internet, 2023, 15 (12), pp.377. ⟨10.3390/fi15120377⟩
- Accès au bibtex
-
- titre
- Federated learning for 5G base station traffic forecasting
- auteur
- Vasileios Perifanis, Nikolaos Pavlidis, Remous-Aris Koutsiamanis, Pavlos Efraimidis
- article
- Computer Networks, 2023, 235 (1389-1286), pp.109950. ⟨10.1016/j.comnet.2023.109950⟩
- Accès au bibtex
-
- titre
- Integrating request replication into FaaS platforms: an experimental evaluation
- auteur
- Yasmina Bouizem, Djawida Dib, Nikos Parlavantzas, Christine Morin
- article
- Journal of Cloud Computing: Advances, Systems and Applications, 2023, 12 (1), pp.1-20. ⟨10.1186/s13677-023-00457-z⟩
- Accès au texte intégral et bibtex
-
- titre
- La chasse au gaspillage dans le cloud et les data centers
- auteur
- Pierre Jacquet, Romain Rouvoy, Thomas Ledoux
- article
- The Conversation France, 2023
- Accès au bibtex
-
- titre
- A feature-based survey of Fog modeling languages
- auteur
- Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux
- article
- Future Generation Computer Systems, 2023, 138, pp.104-119. ⟨10.1016/j.future.2022.08.010⟩
- Accès au texte intégral et bibtex
-
- titre
- F-BIDS: Federated-Blending based Intrusion Detection System
- auteur
- Ons Aouedi, Kandaraj Piamrat
- article
- Pervasive and Mobile Computing, 2023, 89, pp.101750. ⟨10.1016/j.pmcj.2023.101750⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Leveraging Relay Nodes to Deploy and Update Services in a CPS with Sleeping Nodes
- auteur
- Antoine Omond, Hélène Coullon, Issam Raïs, Otto Anshus
- article
- CPSCom 2023: 16th IEEE International Conference on Cyber, Physical and Social Computing, Dec 2023, Danzhou, China. pp.1-8, ⟨10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics60724.2023.00102⟩
- Accès au texte intégral et bibtex
-
- titre
- Evaluating the energy consumption of adaptation tasks for a CPS in the Arctic Tundra
- auteur
- Antoine Omond, Issam Raïs, Hélène Coullon
- article
- GreenCom 2023: 19th IEEE International Conference on Green Computing and Communications, Dec 2023, Danzhou, China. pp.1-8, ⟨10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics60724.2023.00122⟩
- Accès au texte intégral et bibtex
-
- titre
- Articulating Data and Control Planes for the Composition and Synchronization of Digital Twins
- auteur
- Dan Freeman Mahoro, Thomas Ledoux, Thomas Hassan, Thierry Coupaye
- article
- Midd4DT 2023: 1st International Workshop on Middleware for Digital Twin, ACM/IFIP, Dec 2023, Bologna (ITALY), Italy. pp.13-18, ⟨10.1145/3631319.3632300⟩
- Accès au texte intégral et bibtex
-
- titre
- Event-Driven FaaS Workflows for Enabling IoT Data Processing at the Cloud Edge Continuum
- auteur
- Christian Sicari, Daniel Balouek, Massimo Villari, Manish Parashar
- article
- UCC 2023: 16th International Conference on Utility and Cloud Computing, Dec 2023, Taormina, Italy. pp.1-10, ⟨10.1145/3603166.3632125⟩
- Accès au texte intégral et bibtex
-
- titre
- An urgent computing oriented architecture for dynamic climate risk management framework
- auteur
- Shahrzad Pour, Daniel Balouek, Amir Masoumi, Martin Brynskov
- article
- UCC '23: IEEE/ACM 16th International Conference on Utility and Cloud Computing, Dec 2023, Taormina, Italy. pp.1-4, ⟨10.1145/3603166.3632539⟩
- Accès au texte intégral et bibtex
-
- titre
- HFedSNN: Efficient Hierarchical Federated Learning using Spiking Neural Networks
- auteur
- Ons Aouedi, Kandaraj Piamrat, Mario Südholt
- article
- MobiWac 2023: 21st ACM International Symposium on Mobility Management and Wireless Access, Oct 2023, Montréal, Canada. ⟨10.1145/3616390.3618288⟩
- Accès au texte intégral et bibtex
-
- titre
- CloudFactory: An Open Toolkit to Generate Production-like Workloads for Cloud Infrastructures
- auteur
- Pierre Jacquet, Thomas Ledoux, Romain Rouvoy
- article
- IC2E 2023 - 11th IEEE International Conference on Cloud Engineering, Sep 2023, Boston, Massachusetts, United States. pp.11, ⟨10.1109/IC2E59103.2023.00017⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Energy-Aware Federated Traffic Prediction for Cellular Networks
- auteur
- Vasileios Perifanis, Nikolaos Pavlidis, Selim Yilmaz, Francesc Wilhelmi, Elia Guerra, Marco Miozzo, Pavlos Efraimidis, Paolo Dini, Remous-Aris Koutsiamanis
- article
- FMEC 2023 - Eighth International Conference on Fog and Mobile Edge Computing (FMEC), Sep 2023, Tartu, Estonia. pp.93-100, ⟨10.1109/FMEC59375.2023.10306017⟩
- Accès au bibtex
-
- titre
- Dynamic Adaptation of Urgent Applications in the Edge-to-Cloud Continuum
- auteur
- Daniel Balouek, Hélène Coullon
- article
- Euro-Par 2023: International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus. pp.189-201, ⟨10.1007/978-3-031-50684-0_15⟩
- Accès au texte intégral et bibtex
-
- titre
- TEMA: Event Driven Serverless Workflows Platform for Natural Disaster Management
- auteur
- Christian Sicari, Alessio Catalfamo, Lorenzo Carnevale, Antonino Galletta, Daniel Balouek, Manish Parashar, Massimo Villari
- article
- ISCC 2023 - IEEE Symposium on Computers and Communications, Jul 2023, Gammarth, Tunisia. pp.1-6, ⟨10.1109/iscc58397.2023.10217920⟩
- Accès au texte intégral et bibtex
-
- titre
- SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers
- auteur
- Abdelghani Alidra, Hugo Bruneliere, Hélène Coullon, Thomas Ledoux, Charles Prud'Homme, Jonathan Lejeune, Pierre Sens, Julien Sopena, Jonathan Rivalan
- article
- SEAMS 2023 - IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia. pp.25-31, ⟨10.1109/SEAMS59076.2023.00014⟩
- Accès au texte intégral et bibtex
-
- titre
- Mobile Edge Slice Broker: Mobile Edge Slices Deployment in Multi-Cloud Environments
- auteur
- Samia Boutalbi, Nizar Kheir, Remous Aris Koutsiamanis, Mario Südholt, Yann Dan Moussa
- article
- ICFEC 2023: 7th IEEE International Conference on Fog and Edge Computing, May 2023, Bangalore, India. pp.1-6, ⟨10.1109/ICFEC57925.2023.00016⟩
- Accès au texte intégral et bibtex
-
- titre
- Keynote Talk: Leveraging the Edge-Cloud Continuum to Manage the Impact of Wildfires on Air Quality
- auteur
- Daniel Balouek, Ismael Perez, Sam D Faulstich, Heather A Holmes, Ilkay Altintas, Manish Parashar
- article
- PerCom 2023 - IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, Mar 2023, Atlanta, United States. pp.27-31, ⟨10.1109/PerComWorkshops56833.2023.10150251⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards Scalable Resilient Federated Learning: A Fully Decentralised Approach
- auteur
- Divi De Lacour, Marc Lacoste, Mario Südholt, Jacques Traoré
- article
- PeRConAI 2023: 2nd IEEE Workshop on Pervasive and Resource-constrained Artificial Intelligence, IEEE International Conference on Pervasive Computing and Communications (PerCom Workshops), Mar 2023, Atlanta (GA), United States. pp.621-627, ⟨10.1109/PerComWorkshops56833.2023.10150295⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- The LIFE of CUE
- auteur
- Eloi Perdereau, Jacques Noyé
- article
- 2023
- Accès au bibtex
-
Theses
- titre
- Secure distributed workflows for biomedical data analytics
- auteur
- Wilmer Garzón-Alfonso
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique; Escuela Colombiana de Ingeniería Julio Garavito, 2023. English. ⟨NNT : 2023IMTA0351⟩
- Accès au texte intégral et bibtex
-
- titre
- Cheops, a service-mesh to geo-distribute micro-service applications at the Edge
- auteur
- Marie Delavergne
- article
- Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2023. English. ⟨NNT : 2023IMTA0347⟩
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Distributing human leukocyte antigen HLA database in histocompatibility: a shift in HLA data governance
- auteur
- Sirine Sayadi, Venceslas Douillard, Nicolas Vince, Mario Südholt, Pierre-Antoine Gourraud
- article
- Exploration of Immunology, 2022, 2, pp.749-759. ⟨10.37349/ei.2022.00080⟩
- Accès au texte intégral et bibtex
-
- titre
- Federated Learning for intrusion detection system: Concepts, challenges and future directions
- auteur
- Shaashwat Agrawal, Sagnik Sarkar, Ons Aouedi, Gokul Yenduri, Kandaraj Piamrat, Mamoun Alazab, Sweta Bhattacharya, Praveen Kumar Reddy Maddikunta, Thippa Reddy Gadekallu
- article
- Computer Communications, 2022, pp.1-19. ⟨10.1016/j.comcom.2022.09.012⟩
- Accès au bibtex
-
- titre
- Ensemble-based Deep Learning model for network traffic classification
- auteur
- Ons Aouedi, Kandaraj Piamrat, Benoît Parrein
- article
- IEEE Transactions on Network and Service Management, 2022, pp.1-12. ⟨10.1109/TNSM.2022.3193748⟩
- Accès au texte intégral et bibtex
-
- titre
- Incentive techniques for the Internet of Things: A survey
- auteur
- Praveen Kumar Reddy Maddikunta, Quoc-Viet Pham, Dinh Cong Nguyen, Thien Huynh-The, Ons Aouedi, Gokul Yenduri, Sweta Bhattacharya, Thippa Reddy Gadekallu
- article
- Journal of Network and Computer Applications (JNCA), 2022, pp.1-25. ⟨10.1016/j.jnca.2022.103464⟩
- Accès au texte intégral et bibtex
-
- titre
- Handling Privacy-Sensitive Medical Data With Federated Learning: Challenges and Future Directions
- auteur
- Ons Aouedi, Alessio Sacco, Kandaraj Piamrat, Guido Marchetto
- article
- IEEE Journal of Biomedical and Health Informatics, 2022, pp.1-14. ⟨10.1109/JBHI.2022.3185673⟩
- Accès au bibtex
-
- titre
- EnosLib: A Library for Experiment-Driven Research in Distributed Computing
- auteur
- Ronan-Alexandre Cherrueau, Marie Delavergne, Alexandre van Kempen, Adrien Lebre, Dimitri Pertin, Javier Rojas Balderrama, Anthony Simonet, Matthieu Simonin
- article
- IEEE Transactions on Parallel and Distributed Systems, 2022, 33 (6), pp.1464-1477. ⟨10.1109/TPDS.2021.3111159⟩
- Accès au texte intégral et bibtex
-
- titre
- Handling partially labeled network data: a semi-supervised approach using stacked sparse autoencoder
- auteur
- Ons Aouedi, Kandaraj Piamrat, Dhruvjyoti Bagadthey
- article
- Computer Networks, 2022, 207, pp.1-12. ⟨10.1016/j.comnet.2021.108742⟩
- Accès au texte intégral et bibtex
-
- titre
- Scheduling UWB Ranging and Backbone Communications in a Pure Wireless Indoor Positioning System
- auteur
- Maximilien Charlier, Remous-Aris Koutsiamanis, Bruno Quoitin
- article
- IoT, 2022, 3 (1), pp.219 - 258. ⟨10.3390/iot3010013⟩
- Accès au texte intégral et bibtex
-
- titre
- Intelligent Traffic Management in Next-Generation Networks
- auteur
- Ons Aouedi, Kandaraj Piamrat, Benoît Parrein
- article
- Future internet, 2022, pp.1-35. ⟨10.3390/fi14020044⟩
- Accès au texte intégral et bibtex
-
- titre
- Correct-by-Construction Approach for Formal Verification of IoT Architecture
- auteur
- Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet
- article
- Procedia Computer Science, 2022, 207, pp.2598-2609. ⟨10.1016/j.procs.2022.09.318⟩
- Accès au texte intégral et bibtex
-
- titre
- A taxonomy of tools and approaches for distributed genomic analyses
- auteur
- Wilmer Garzón, Luis Daniel Benavides Navarro, Alban Gaignard, Richard Redon, Mario Südholt
- article
- Informatics in Medicine Unlocked, 2022, 32, pp.1-17. ⟨10.1016/j.imu.2022.101024⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Cheops, a Service to Blow Away Cloud Applications to the Edge
- auteur
- Marie Delavergne, Geo Johns Antony, Adrien Lebre
- article
- ICSOC 2022 - 20th International Conference on Service-Oriented Computing, Nov 2022, Sevilla, Spain. pp.530-539, ⟨10.1007/978-3-031-20984-0_37⟩
- Accès au texte intégral et bibtex
-
- titre
- AS-cast: Lock Down the Traffic of Decentralized Content Indexing at the Edge
- auteur
- Adrien Lebre, Brice Nédelec, Alexandre van Kempen
- article
- ICA3PP 2022 - 22nd International Conference on Algorithms and Architectures for Parallel Processing, Oct 2022, Copenhagen, Denmark. pp.433-454, ⟨10.1007/978-3-031-22677-9_23⟩
- Accès au texte intégral et bibtex
-
- titre
- ITS Traffic Violation Regulation Based on Blockchain Smart Contracts
- auteur
- Nihed Yousfi, Mourad Kmimech, Imed Abbassi, Hedi Hamdi, Mohamed Graiet
- article
- ICCCI 2022 - 14th International Conference on Computational Collective Intelligence, Sep 2022, Hammamet, Tunisia. pp.459-471, ⟨10.1007/978-3-031-16210-7_38⟩
- Accès au bibtex
-
- titre
- Handling heterogeneous workflows in the Cloud while enhancing optimizations and performance
- auteur
- Emile Cadorel, Hélène Coullon, Jean-Marc Menaud
- article
- CLOUD 2022 - IEEE 15th International Conference on Cloud Computing, Jul 2022, Barcelona, Spain. pp.49-58, ⟨10.1109/CLOUD55607.2022.00021⟩
- Accès au texte intégral et bibtex
-
- titre
- Intrusion detection for Softwarized Networks with Semi-supervised Federated Learning
- auteur
- Ons Aouedi, Kandaraj Piamrat, Guillaume Muller, Kamal Singh
- article
- ICC 2022 - IEEE International Conference on Communications, Jun 2022, Seoul, South Korea. pp.5244-5249, ⟨10.1109/ICC45855.2022.9839042⟩
- Accès au texte intégral et bibtex
-
- titre
- Stragglers' Detection in Big Data Analytic Systems: The Impact of Heartbeat Arrival
- auteur
- Thomas Lambert, Shadi Ibrahim, Twinkle Jain, David Guyon
- article
- CCGrid 2022 - 22nd International Symposium on Cluster, Cloud and Internet Computing, May 2022, Taormina, Italy. pp.747-751, ⟨10.1109/CCGrid54584.2022.00084⟩
- Accès au texte intégral et bibtex
-
- titre
- Understanding the Performance of Erasure Codes in Hadoop Distributed File System
- auteur
- Jad Darrous, Shadi Ibrahim
- article
- CHEOPS 22 - Proceedings of the Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, Apr 2022, Rennes, France. pp.24-32, ⟨10.1145/3503646.3524296⟩
- Accès au texte intégral et bibtex
-
- titre
- SMT-Based Planning Synthesis for Distributed System Reconfigurations
- auteur
- Simon Robillard, Hélène Coullon
- article
- FASE 2022 : 25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany. pp.268-287, ⟨10.1007/978-3-030-99429-7_15⟩
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- Détection d’intrusions fédérée et semi-supervisée pour l’IoT
- auteur
- Ons Aouedi, Kandaraj Piamrat, Guillaume Muller, Kamal Singh
- article
- Plate-Forme Intelligence Artificielle PFIA 2022, Jun 2022, Saint-Etienne, France
- Accès au texte intégral et bibtex
-
Reports
- titre
- Cheops, a service to blow away Cloud applications to the Edge
- auteur
- Marie Delavergne, Geo Johns Antony, Adrien Lebre
- article
- [Research Report] RR-9486, Inria Rennes - Bretagne Atlantique. 2022, pp.1-16
- Accès au texte intégral et bibtex
-
Theses
- titre
- Distributed architectures and secure software containers for multi-site medical cooperation
- auteur
- Sirine Sayadi
- article
- Calcul parallèle, distribué et partagé [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2022. Français. ⟨NNT : 2022IMTA0331⟩
- Accès au texte intégral et bibtex
-
- titre
- Machine learning-Enabled Network Traffic Analysis
- auteur
- Ons Aouedi
- article
- Computer science. Nantes Université, 2022. English. ⟨NNT : 2022NANU4045⟩
- Accès au texte intégral et bibtex
-
2021
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
-
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
- Using the EXECO toolbox to perform automatic and reproducible cloud experiments
- auteur
- Matthieu Imbert, Laurent Pouilloux, Jonathan Rouzaud-Cornabas, Adrien Lebre, Takahiro Hirofuchi
- article
- 1st International Workshop on UsiNg and building ClOud Testbeds (UNICO, collocated with IEEE CloudCom 2013, Dec 2013, Bristol, United Kingdom. ⟨10.1109/CloudCom.2013.119⟩
- Accès au texte intégral et bibtex
-
- titre
- Adding a Live Migration Model Into SimGrid, One More Step Toward the Simulation of Infrastructure-as-a-Service Concerns
- auteur
- Takahiro Hirofuchi, Adrien Lebre, Laurent Pouilloux
- article
- 5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2013), Dec 2013, Bristol, United Kingdom
- Accès au bibtex
-
- titre
- Adding Virtual Machine Abstractions Into SimGrid, A First Step Toward the Simulation of Infrastructure-as-a-Service Concerns
- auteur
- Takahiro Hirofuchi, Adrien Lebre
- article
- Third International Conference on Cloud and Green Computing (CGC 2013), Sep 2013, Karlsruhe, Germany
- Accès au bibtex
-
- titre
- Transformations between Composite and Visitor implementations in Java
- auteur
- Akram Ajouli, Julien Cohen, Jean-Claude Royer
- article
- 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain. 8 p
- Accès au texte intégral et bibtex
-
- titre
- Reference monitors for security and interoperability in OAuth 2.0
- auteur
- Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico
- article
- SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
- Accès au bibtex
-
- titre
- Estimating the Power Consumption of an Idle Virtual Machine
- auteur
- Flavien Quesnel, Hemant Kumar Mehta, Jean-Marc Menaud
- article
- The 2013 IEEE International Conference on Green Computing and Communications (GreenCom 2013), Aug 2013, Beijing, China
- Accès au bibtex
-
- titre
- Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling
- auteur
- Flavien Quesnel, Adrien Lebre, Jonathan Pastor, Mario Südholt, Daniel Balouek
- article
- ISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, Jul 2013, Melbourne, Australia
- Accès au bibtex
-
- titre
- Enabling Large-Scale Testing of IaaS Cloud Platforms on the Grid'5000 Testbed
- auteur
- Sébastien Badia, Alexandra Carpen-Amarie, Adrien Lebre, Lucas Nussbaum
- article
- TTC - 1st International Workshop on Testing The Cloud, co-located with ISSTA 2013, ACM - SGIPLAN, Jul 2013, Lugano, Switzerland. pp.7-12, ⟨10.1145/2489295.2489298⟩
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Scalability of a Consolidation Service
- auteur
- Ahmed El Rheddane, Noel de Palma, Fabienne Boyer, Frédéric Dumont, Jean-Marc Menaud, Alain Tchana
- article
- International Conference on Cloud Computing, Indus Track, Jun 2013, Santa Clara Marriott, United States. pp.01-09
- Accès au texte intégral et bibtex
-
- titre
- A framework for the coordination of multiple autonomic managers in cloud environments
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux, Remi Sharrock
- article
- IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2013, Philadelphia (PA), United States. pp.179-188
- Accès au bibtex
-
- titre
- 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
- ACM Symposium on Applied Computing, SAC 2013, Mar 2013, Coimbra, Portugal. pp.411-414
- Accès au bibtex
-
- titre
- Practical use of static composition of refactoring operations
- auteur
- Julien Cohen, Akram Ajouli
- article
- ACM Symposium on Applied Computing (SAC), Mar 2013, Coimbra, Portugal. pp.1700-1705, ⟨10.1145/2480362.2480684⟩
- Accès au texte intégral et bibtex
-
- titre
- Flexible and expressive aspect-based control over service compositions in the Cloud
- auteur
- Ronan-Alexandre Cherrueau, Omar Chebaro, Mario Südholt
- article
- 4th International Workshop on Variability & Composition, Mar 2013, Fukuoka, Japan
- Accès au bibtex
-
- titre
- Anti-Unification with Type Classes
- auteur
- Nicolas Tabareau, Éric Tanter, Ismael Figueroa
- article
- Journées Francophones des Langages Applicatifs (JFLA), Feb 2013, Aussois, France
- Accès au texte intégral et bibtex
-
- titre
- StressCloud, un outils d'évaluation pour les gestionnaires d'infrastructure virtualisée
- auteur
- Guillaume Le Louët, Jean-Marc Menaud
- article
- Conférence Française en Systèmes d'Exploitation, Jan 2013, Grenoble, France. pp.01-12
- Accès au bibtex
-
- titre
- SLA et qualité de service pour le Cloud Computing
- auteur
- Yousri Kouki, Thomas Ledoux, Damián Serrano, Sara Bouchenak, Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
- article
- Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11
- Accès au bibtex
-
- titre
- A Server Consolidation Problem: Definition and Model
- auteur
- Lionel Eyraud-Dubois, Adrien Lebre, Patrick Martineau, Ameur Soukhal, Vincent t'Kindt, Denis Trystram
- article
- Proceedings of the 14th conference ROADEF, 2013, Troyes, France
- Accès au bibtex
-
- titre
- Prototyper des Moteurs de Propagation avec un DSL
- auteur
- Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien
- article
- Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Architectures logicielles pour les lignes de produits
- auteur
- Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, Jean-Claude Royer
- article
- Architectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4
- Accès au bibtex
-
- titre
- Adding Virtualization Capabilities to the Grid'5000 Testbed
- auteur
- Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot, Emmanuel Jeanvoine, Adrien Lebre, David Margery, Nicolas Niclausse, Lucas Nussbaum, Olivier Richard, Christian Pérez, Flavien Quesnel, Cyril Rohr, Luc Sarzyniec
- article
- Ivanov, IvanI. and Sinderen, Marten and Leymann, Frank and Shan, Tony. Cloud Computing and Services Science, 367, Springer International Publishing, pp.3-20, 2013, Communications in Computer and Information Science, 978-3-319-04518-4. ⟨10.1007/978-3-319-04519-1_1⟩
- Accès au bibtex
-
Other publications
- titre
- Accountability for Cloud and Other Future Internet Services
- auteur
- Siani Pearson, Vasilis Tountopoulos, Daniele Catteddu, Mario Südholt, Refik Molva, Christoph Reich
- article
- 2013
- Accès au bibtex
-
Reports
- titre
- Beyond The Cloud, How Should Next Generation Utility Computing Infrastructures Be Designed?
- auteur
- Adrien Lebre, Jonathan Pastor, Marin Bertier, Frédéric Desprez, Jonathan Rouzaud-Cornabas, Cédric Tedeschi, Paolo Anedda, Gianluigi Zanetti, Ramon Nou, Toni Cortes, Etienne Rivière, Thomas Ropars
- article
- [Research Report] RR-8348, INRIA. 2013
- Accès au texte intégral et bibtex
-
- titre
- Refactoring Composite to Visitor and Inverse Transformation in Java
- auteur
- Akram Ajouli, Julien Cohen
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Contraction analysis of nonlinear random dynamical systems
- auteur
- Nicolas Tabareau, Jean-Jacques Slotine
- article
- [Research Report] RR-8368, INRIA. 2013, pp.17
- Accès au texte intégral et bibtex
-
Theses
- titre
- SLA-driven cloud elasticity anagement approach
- auteur
- Yousri Kouki
- article
- Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0134⟩
- Accès au texte intégral et bibtex
-
- titre
- Views and program transformations for modular maintenances
- auteur
- Akram Ajouli
- article
- Autre. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0112⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi Autonomic Management for Optimizing Energy Consumption in Cloud Infrastructures
- auteur
- Frederico Guilherme Alvares de Oliveira Junior
- article
- Software Engineering [cs.SE]. Université de Nantes, 2013. English. ⟨NNT : ED 503-186⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward cooperative management of large-scale virtualized infrastructures : the case of scheduling
- auteur
- Flavien Quesnel
- article
- Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2013. Français. ⟨NNT : 2013EMNA0046⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Univalence for free
- auteur
- Matthieu Sozeau, Nicolas Tabareau
- article
- 2013
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS
- auteur
- Flavien Quesnel, Adrien Lebre, Mario Südholt
- article
- Concurrency and Computation: Practice and Experience, 2012, pp.XX
- Accès au bibtex
-
- titre
- 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
- 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
- Architecture for the next generation system management tools
- auteur
- Jérôme Gallard, Adrien Lebre, Christine Morin, Thomas Naughton, Stephen L. Scott, Geoffroy Vallée
- article
- Future Generation Computer Systems, 2012, 28 (1), pp.136-146. ⟨10.1016/j.future.2011.06.003⟩
- Accès au bibtex
-
Conference papers
- titre
- SLA-driven Capacity Planning for Cloud applications
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2012, Dec 2012, Taipei, Taiwan. pp.135-140
- Accès au bibtex
-
- titre
- Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
- auteur
- Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov
- article
- ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
- Accès au bibtex
-
- titre
- Extending Type Theory with Forcing
- auteur
- Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau
- article
- LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
- Accès au texte intégral et bibtex
-
- titre
- An Automatic Reversible Transformation from Composite to Visitor in Java
- auteur
- Akram Ajouli
- article
- CIEL 2012 - Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
- auteur
- Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux
- article
- 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
- Accès au texte intégral et bibtex
-
- titre
- E\{Java, CaesarJ, Scala\} : un exercice d'intégration de la programmation par objets, par aspects et par évènements
- auteur
- Jacques Noyé
- article
- Quatrièmes journées nationales du GDR GPL, Jun 2012, Rennes, France. pp.85-86
- Accès au texte intégral et bibtex
-
- titre
- A lesson on structural testing with PathCrawler-online.com
- auteur
- Omar Chebaro, Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger
- article
- 6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp.0-0
- Accès au bibtex
-
- titre
- CSLA : a Language for improving Cloud SLA Management
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- International Conference on Cloud Computing and Services Science, CLOSER 2012, Apr 2012, Porto, Portugal. pp.586-591
- Accès au bibtex
-
- titre
- 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, Portugal. pp.0-0
- Accès au bibtex
-
- titre
- Cross-layer SLA selection for Cloud services
- auteur
- Yousri Kouki, Thomas Ledoux, Rémi Sharrock
- article
- IEEE International Symposium on Network Cloud Computing and Applications, NCCA 2011, Nov 2011, Toulouse, France. pp.143-147
- Accès au bibtex
-
- titre
- Static Analysis of Aspect Interaction and Composition in Component Models
- auteur
- Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
- article
- the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Oct 2011, Portland, Oregon, United States. pp.18
- Accès au texte intégral et bibtex
-
- titre
- Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures
- auteur
- Muhammed Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, Mario Südholt
- article
- 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
- Accès au bibtex
-
- titre
- Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems
- auteur
- Flavien Quesnel, Adrien Lebre
- article
- 6th Workshop on Virtualization in High-Performance Cloud Computing, Aug 2011, Bordeaux, France. pp.457-466
- Accès au bibtex
-
- titre
- Composable Controllers in Fractal: Implementation and Interference Analysis
- auteur
- Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
- article
- the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Aug 2011, Oulu, Finland. pp.99
- Accès au texte intégral et bibtex
-
- titre
- DISCOVERY, Beyond the Clouds - DIStributed and COoperative framework to manage Virtual EnviRonments autonomicallY: a prospective study
- auteur
- Adrien Lebre, Paolo Anedda, Massimo Gaggero, Flavien Quesnel
- article
- Virtualization for High Performance Cloud Computing workshop (colocated with EUROPAR 2011), Aug 2011, Bordeaux, France
- Accès au bibtex
-
- titre
- The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada
- Accès au texte intégral et bibtex
-
- titre
- Program Transformation based Views for Modular Maintenance
- auteur
- Akram Ajouli, Julien Cohen, Rémi Douence
- article
- Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219
- Accès au texte intégral et bibtex
-
- titre
- Towards a Unified Formal Model for Service Orchestration and Choreography
- auteur
- Diana Allam, Hervé Grall, Jean-Claude Royer
- article
- Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- The Synthesis Problem for Trusted Service-based Collaborations
- auteur
- Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
- article
- Actes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
- Accès au bibtex
-
- titre
- Kalimucho: Contextual Deployment for QoS Management
- auteur
- Christine Louberry, Philippe Roose, Marc Dalmau
- article
- 11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.43-56, ⟨10.1007/978-3-642-21387-8_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Consolidation dynamique d'applications Web haute-disponibilité
- auteur
- Fabien Hermenier, Julia L. Lawall, Jean-Marc Menaud, Gilles Muller
- article
- CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France
- Accès au bibtex
-
- titre
- Kalimucho : Plateforme d'Adaptation des Applications Mobiles
- auteur
- Christine Louberry, Philippe Roose, Marc Dalmau
- article
- NOTERE 201- Conférence Internationale sur les NOuvelles Technologies de la REpartition, May 2011, Paris, France. pp.83-90
- Accès au texte intégral et bibtex
-
- titre
- Aspect oriented programming: a language for 2-categories
- auteur
- Nicolas Tabareau
- article
- Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, Mar 2011, Porto de Galinhas, Brazil. pp.13--17, ⟨10.1145/1960510.1960514⟩
- Accès au bibtex
-
- titre
- Towards a robust model for distributed aspects
- auteur
- Ismael Mejia, Mario Südholt
- article
- 1st Workshop In Modularity in Systems Software (MISS), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1960518.1960523⟩
- Accès au texte intégral et bibtex
-
- titre
- Invasive composition for the evolution of a health information system
- auteur
- Ismael Mejia, Mario Südholt, Luis Daniel Benavides Navarro
- article
- 2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1961359.1961362⟩
- Accès au texte intégral et bibtex
-
- titre
- EScala: Modular Event-Driven Object Interactions in Scala
- auteur
- Vaidas Gasiūnas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé
- article
- 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Mar 2011, Porto de Galinhas, Brazil. ⟨10.1145/1960275.1960303⟩
- Accès au bibtex
-
- titre
- Proceedings of the sixth annual workshop on Domain-specific aspect languages (DSAL 2011)
- auteur
- Tom Dinkelaker, Jacques Noyé, Éric Tanter
- article
- AOSD - Aspect-Oriented Software Development - 2011, Mar 2011, Porto de Galinhas, Brazil
- Accès au bibtex
-
- titre
- Component types qualification in Java legacy code driven by communication integrity rules
- auteur
- Hugo Arboleda, Jean-Claude Royer
- article
- ISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, ⟨10.1145/1953355.1953377⟩
- Accès au bibtex
-
- titre
- Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities
- auteur
- Flavien Quesnel, Adrien Lebre
- article
- 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, Feb 2011, Ayia Napa, Cyprus. pp.495
- Accès au bibtex
-
Book sections
- titre
- Introduction
- auteur
- Awais Rashid, Jean-Claude Royer, Andreas Rummler
- article
- Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011
- Accès au bibtex
-
- titre
- Managing Information Flow in SPL Development Processes
- auteur
- Nicolas Anquetil, Uira Kulesza, Ricardo Mateus, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler
- article
- Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011
- Accès au bibtex
-
- titre
- Product line implementation with ECaesarJ
- auteur
- Vaidas Gasiūnas, Angel Núñez, Jacques Noyé, Mira Mezini
- article
- Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way, Cambridge University Press, 2011, ISBN-13: 9780521767224
- Accès au bibtex
-
- titre
- Empirical research in software product line engineering
- auteur
- Phil Greenwood, Vander Alves, John Hutchinson, Christa Schwanninger, Nicolas Anquetil
- article
- Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines -- The AMPLE way, Cambridge University Press, pp.411--443, 2011, 978-0-521-76722-4. ⟨10.1017/CBO9781139003629.014⟩
- Accès au bibtex
-
Books
- titre
- Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way
- auteur
- Awais Rashid, Jean-Claude Royer, Andreas Rummler
- article
- Cambridge University Press, pp.470, 2011
- Accès au bibtex
-
Reports
- titre
- Exploring Membranes for Controlling Aspects
- auteur
- Éric Tanter, Nicolas Tabareau, Rémi Douence
- article
- [Research Report] RR-7739, INRIA. 2011, pp.33
- Accès au texte intégral et bibtex
-
- titre
- Modular and Flexible Causality Control on the Web
- auteur
- Paul Leger, Éric Tanter, Rémi Douence
- article
- [Research Report] RR-7742, INRIA. 2011
- Accès au texte intégral et bibtex
-
- titre
- Aspect Oriented Programming: a language for 2-categories
- auteur
- Nicolas Tabareau
- article
- [Research Report] RR-7527, INRIA. 2011, pp.30
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Consolidation of Highly Available Web Applications
- auteur
- Fabien Hermenier, Julia Lawall, Jean-Marc Menaud, Gilles Muller
- article
- [Research Report] RR-7545, INRIA. 2011, pp.26
- Accès au texte intégral et bibtex
-
Theses
- titre
- Aspectualizing Component Models : implementation and Interferences Analysis
- auteur
- Abdelhakim Hannousse
- article
- Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2011. English. ⟨NNT : 2011EMNA0009⟩
- Accès au texte intégral et bibtex
-
- titre
- A Common Aspect Languages Interpreter
- auteur
- Ali Assaf
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A VPA-based Aspect Language
- auteur
- Dong Ha Nguyen
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A Programming Model Integrating Classes, Events and Aspects
- auteur
- Angel Núñez
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Decomposing Logical Relations with Forcing
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Views, Program Transformations, and the Evolutivity Problem in a Functional Language
- auteur
- Julien Cohen, Rémi Douence
- article
- 2011
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Managing Virtual Resources: Fly through the Sky
- auteur
- Jérôme Gallard, Adrien Lebre
- article
- ERCIM News, 2010, Cloud Computing, Platforms, Software and Applications, pp.36--37
- Accès au bibtex
-
- titre
- Scoping strategies for distributed aspects
- auteur
- Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
- article
- Science of Computer Programming, 2010, 75 (12), pp.1235-1261. ⟨10.1016/j.scico.2010.06.011⟩
- Accès au bibtex
-
- titre
- Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe
- auteur
- Awais Rashid, Thomas Cottenier, Phil Greenwood, Ruzanna Chitchyan, Meunier Regine, Coelho Roberta, Mario Südholt, Wouter Joosen
- article
- Computer, 2010, 43 (2), pp.19-26. ⟨10.1109/MC.2010.30⟩
- Accès au bibtex
-
- titre
- A model-driven traceability framework for software product lines
- auteur
- Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa
- article
- Software and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
- Accès au texte intégral et bibtex
-
- titre
- How synchronization protects from noise.
- auteur
- Nicolas Tabareau, Jean-Jacques Slotine, Quang-Cuong Pham
- article
- PLoS Computational Biology, 2010, 6 (1), pp.e1000637. ⟨10.1371/journal.pcbi.1000637⟩
- Accès au bibtex
-
Conference papers
- titre
- Architecture for the Next Generation System Management Tools.
- auteur
- Jérôme Gallard, Christine Morin, Geoffroy Vallée, Thomas J. Naughton, Stephen L. Scott, Adrien Lebre
- article
- First International Conference on Utility and Cloud Computing (UCC 2010), Dec 2010, Chennai, India
- Accès au bibtex
-
- titre
- Self-optimisation of the energy footprint in Service-Oriented Architectures
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux
- article
- 1st International Workshop on Green Computing Middleware, Nov 2010, India. pp.4-9, ⟨10.1145/1925013.1925014⟩
- Accès au bibtex
-
- titre
- Structured and flexible gray-box composition: Application to task rescheduling for grid benchmarking
- auteur
- Ismael Mejia, Mario Südholt
- article
- IADIS International Conference APPLIED COMPUTING 2010, International Association for Development of the Information Society and "Politehnica" University of Timisoara, Romania, Oct 2010, Timisoara, Romania
- Accès au texte intégral et bibtex
-
- titre
- A Comparison of Model Migration Tools
- auteur
- Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitris Kolovos, Kelly Garcés, Richard F. Paige, Fiona A.C. Polack
- article
- Proc. of Models 2010 Foundation Track, Oct 2010, Oslo, Norway. To appear
- Accès au texte intégral et bibtex
-
- titre
- Fiesta Toolkit: Model-Driven Software Product Lines in Practice
- auteur
- Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer
- article
- Brazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66
- Accès au bibtex
-
- titre
- Automated Reasoning for Derivation of Model-Driven SPLs
- auteur
- Hugo Arboleda, Victor Vargas, Francisco Diaz Juan, Jean-Claude Royer
- article
- 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. pp.181--188
- Accès au bibtex
-
- titre
- CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
- auteur
- Mayleen Lacouture, Hervé Grall, Thomas Ledoux
- article
- International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France
- Accès au texte intégral et bibtex
-
- titre
- FICS 2010
- auteur
- Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, Hervé Grall, Paul Levy, Matteo Mio, Keiko Nakata, Andrei Romashchenko, Jan Schwinghammer, Kristian Støvring, Tarmo Uustalu, Pawel Waszkiewicz
- article
- 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89
- Accès au texte intégral et bibtex
-
- titre
- Krivine realizability for compiler correctness
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Jul 2010, Edinburgh, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Performance and Power Management for Cloud Infrastructures
- auteur
- Jean-Marc Menaud, Hien Nguyen Van, Frédéric Dang Tran
- article
- Cloud 2010, Jul 2010, Miami - Florida, United States. pp.329-336, ⟨10.1109/CLOUD.2010.25⟩
- Accès au bibtex
-
- titre
- Reliable Dynamic Reconfiguration in a Reflective Component Model
- auteur
- Marc Léger, Thomas Ledoux, Thierry Coupaye
- article
- CBSE 2010, Jun 2010, Prague, Czech Republic. pp.74-92
- Accès au bibtex
-
- titre
- Cluster-Wide Context Switch of Virtualized Jobs
- auteur
- Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
- article
- VTDC10 - The 4th International Workshop on Virtualization Technologies in Distributed Computing, Jun 2010, Chicago, United States
- Accès au texte intégral et bibtex
-
- titre
- The Increasing Nvalue Constraint
- auteur
- Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
- article
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. ⟨10.1007/978-3-642-13520-0_5⟩
- Accès au bibtex
-
- titre
- La contrainte Increasing NValue
- auteur
- Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
- article
- JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70
- Accès au texte intégral et bibtex
-
- titre
- A Reconfiguration Language for Virtualized Grid Infrastructures
- auteur
- Rémy Pottier, Marc Léger, Jean-Marc Menaud
- article
- 10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.42-55, ⟨10.1007/978-3-642-13645-0_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Essential AOP: The A Calculus
- auteur
- Bruno de Fraine, Erik Ernst, Mario Südholt
- article
- European Conference on Object-Oriented Programming, Jun 2010, Maribor, Slovenia. pp.000
- Accès au bibtex
-
- titre
- Automatizing the Evaluation of Model Matching Systems
- auteur
- Kelly Garcés, Wolfgang Kling, Frédéric Jouault
- article
- Workshop on matching and meaning 2010, Mar 2010, Leicester, United Kingdom. To appear
- Accès au texte intégral et bibtex
-
- titre
- Views for Aspectualizing Component Models
- auteur
- Abdelhakim Hannousse, Gilles Ardourel, Rémi Douence
- article
- the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), Mar 2010, St-Malo, France. acp4is10
- Accès au bibtex
-
- titre
- A theory of distributed aspects
- auteur
- Nicolas Tabareau
- article
- 9th International Conference on Aspect-Oriented Software Development (AOSD '10), Mar 2010, Rennes, Saint-Malo, France. pp.133--144, ⟨10.1145/1739230.1739246⟩
- Accès au texte intégral et bibtex
-
- titre
- Vers une réification de l'énergie dans le domaine du logiciel
- auteur
- Jean-Marc Menaud, Adrien Lebre, Thomas Ledoux, Jacques Noyé, Pierre Cointe, Rémi Douence, Mario Südholt
- article
- Journées du GDR Génie de la Programmation et du Logiciel, Mar 2010, Pau, France. pp.000
- Accès au bibtex
-
- titre
- Saline: Improving Best-Effort Job Management in Grids
- auteur
- Jérôme Gallard, Adrien Lebre, Christine Morin
- article
- PDP 2010: The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing -- Special Session: Virtualization in Distributed Systems, 2010, Pisa, Italy
- Accès au bibtex
-
Master thesis
- titre
- Krivine Realizability for Compiler Correctness
- auteur
- Guilhem Jaber
- article
- Symbolic Computation [cs.SC]. 2010
- Accès au texte intégral et bibtex
-
Books
- titre
- Langages et Modèles à Objets
- auteur
- Eric Cariou, Jean-Claude Royer
- article
- Université de Pau et des pays de l'adour, pp.100, 2010
- Accès au bibtex
-
- titre
- Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development
- auteur
- Mario Südholt, Uwe Hohenstein, Jean-Marc Jézéquel, Benoit Baudry
- article
- ACM, pp.230, 2010
- Accès au bibtex
-
Reports
- titre
- Controlling Contractors with Monads for Hybrid Dynamical Systems
- auteur
- Gilles Chabert, Rémi Douence
- article
- [Research Report] RR-7451, INRIA. 2010, pp.20
- Accès au texte intégral et bibtex
-
- titre
- Architecture for the Next Generation System Management Tools for Distributed Computing Platforms
- auteur
- Jérôme Gallard, Geoffroy Vallée, Thomas J. Naughton, Adrien Lebre, Stephen L. Scott, Christine Morin
- article
- [Research Report] RR-7325, INRIA. 2010
- Accès au texte intégral et bibtex
-
- titre
- Declarative Events for Object-Oriented Programming
- auteur
- Vaidas Gasiūnas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé
- article
- [Research Report] RR-7313, INRIA. 2010, pp.38
- Accès au texte intégral et bibtex
-
Theses
- titre
- Adaptation and evaluation of generic model matching strategies
- auteur
- Kelly Garces
- article
- Software Engineering [cs.SE]. Université de Nantes, 2010. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Proving Fixed Points
- auteur
- Hervé Grall
- article
- 2010
- Accès au texte intégral et bibtex
-
- titre
- Linear logic as a foundation for service-oriented computing
- auteur
- Hervé Grall, Nicolas Tabareau
- article
- 2010
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- The Ample Project, Traceability of Software Product Line Development: Models and Uncertainty
- auteur
- Joost Noppen, Jean-Claude Royer
- article
- Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 85, pp.43-48
- Accès au bibtex
-
Conference papers
- titre
- JavaCompExt: Extracting Architectural Elements from Java Source Code
- auteur
- Pascal André, Nicolas Anquetil, Gilles Ardourel, Jean-Claude Royer, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu
- article
- WCRE, Oct 2009, Lille, France. pp.317-318, ⟨10.1109/WCRE.2009.53⟩
- Accès au texte intégral et bibtex
-
- titre
- SLA-aware virtual resource management for cloud infrastructures
- auteur
- Hien Nguyen Van, Frederic Dang Tran, Jean-Marc Menaud
- article
- 9th IEEE International Conference on Computer and Information Technology (CIT'09), Oct 2009, Xiamen, China. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Dealing with Fine-Grained Configurations in Model-Driven SPLs
- auteur
- Hugo Arboleda, Rubby Casallas, Jean-Claude Royer
- article
- SPLC, Aug 2009, United States. pp.1-10
- Accès au bibtex
-
- titre
- Lazy Composition of Representations in Java
- auteur
- Rémi Douence, Xavier Lorca, Nicolas Loriant
- article
- SC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71
- Accès au texte intégral et bibtex
-
- titre
- Declarative Definition of Contexts with Polymorphic Events
- auteur
- Angel Núñez, Jacques Noyé, Vaidas Gasiūnas
- article
- International Workshop on Context-Oriented Programming at ECOOP '09 (COP '09), Jul 2009, Genova, Italy. ⟨10.1145/1562112.1562114⟩
- Accès au bibtex
-
- titre
- Managing Model Adaptation by Precise Detection of Metamodel Changes
- auteur
- Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin
- article
- In Proc. of ECMDA 2009, Jun 2009, Enschede,, Netherlands. pp.34-49, ⟨10.1007/978-3-642-02674-4⟩
- Accès au texte intégral et bibtex
-
- titre
- Refinement Proposal of the Goldberg's Theory
- auteur
- Jérôme Gallard, Adrien Lebre, Geoffroy Vallée, Christine Morin, Pascal Gallard, Stephen L. Scott
- article
- ICA3PP'09: International Conference on Algorithms and Architectures for Parallel Processing, Jun 2009, Tapei, Taiwan. pp.853-865, ⟨10.1007/978-3-642-03095-6_80⟩
- Accès au bibtex
-
- titre
- Autonomic virtual resource management for service hosting platforms
- auteur
- Hien Nguyen Van, Frédéric Dang Tran, Jean-Marc Menaud
- article
- Workshop on Software Engineering Challenges in Cloud Computing, May 2009, Vancouver, Canada, Canada. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- Handling Persistent States in Process Checkpoint/Restart Mechanisms for HPC Systems
- auteur
- Pierre Riteau, Adrien Lebre, Christine Morin
- article
- 9th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID '09), May 2009, Shanghai, China. ⟨10.1109/CCGRID.2009.29⟩
- Accès au bibtex
-
- titre
- Product Derivation in a Model-Driven Software Product Line using Decision Models
- auteur
- Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer
- article
- IDEAS, Apr 2009, Colombia. pp.59--72
- Accès au bibtex
-
- titre
- A Domain Specific Language for Expressing Model Matching
- auteur
- Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin
- article
- Proceedings of the 5ère Journée sur l'Ingénierie Dirigée par les Modèles (IDM09), Mar 2009, Nancy, France, France. pp.33-48
- Accès au texte intégral et bibtex
-
- titre
- Entropy: a Consolidation Manager for Clusters
- auteur
- Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall
- article
- VEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
- Accès au texte intégral et bibtex
-
- titre
- Expressive Scoping of Distributed Aspects
- auteur
- Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
- article
- AOSD 2009, Mar 2009, Charlottesville, Virginia, United States. pp.27-38, ⟨10.1145/1509239.1509245⟩
- Accès au bibtex
-
- titre
- Flexible Pointcut Implementation: An Interpreted Approach
- auteur
- Ali Assaf, Jacques Noyé
- article
- Langages et Modèles à Objets (LMO 2009), Olivier Zendra, Mar 2009, Nancy, France. pp.45-60
- Accès au bibtex
-
- titre
- Event Strictness for Components with Complex Bindings
- auteur
- Fabricio Fernandes, Jean-Claude Royer, Robin Passama
- article
- ISEC, Feb 2009, India. pp.47--56
- Accès au bibtex
-
- titre
- Changement de contexte pour tâches virtualisées à l'échelle des grappes
- auteur
- Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
- article
- 7ème Conférence Francophone sur les Systèmes d'Exploitation (CFSE09), 2009, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Unifying Runtime Adaptation and Design Evolution
- auteur
- Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, Franck Chauvel, Olivier Barais, Jean-Marc Jézéquel
- article
- IEEE 9th International Conference on Computer and Information Technology (CIT'09), 2009, Xiamen, China, China
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Designing Open-Ended Languages: An Historical Perspective
- auteur
- Pierre Cointe
- article
- Gerard Assayag and Andrez Gerzso. New Computational Paradigms for Computer Music, Delatour France / IRCAM Centre Georges Pompidou, pp.49-64, 2009, Musique/Sciences
- Accès au bibtex
-
Books
- titre
- Proceedings of the 8th Int. Workshop on Foundations of Aspect-Oriented Languages (FOAL'09)
- auteur
- Mario Südholt
- article
- ACM, pp.0, 2009, 978-1-60558-452-2
- Accès au bibtex
-
Proceedings
- titre
- Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL 2009)
- auteur
- Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter
- article
- Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter. Aspect-oriented software development, Mar 2009, Charlottesville, Virginia, United States. ACM Press, 24 p., 2009, 978-1-60558-455-3
- Accès au bibtex
-
Reports
- titre
- Aspects Preserving Properties
- auteur
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
- article
- [Research Report] RR-7155, INRIA. 2009
- Accès au texte intégral et bibtex
-
- titre
- Cluster-Wide Context Switch of Virtualized Jobs
- auteur
- Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
- article
- [Research Report] RR-6929, INRIA. 2009
- Accès au texte intégral et bibtex
-
- titre
- Saline: Improving Best-Effort Job Management in Grids
- auteur
- Jérôme Gallard, Adrien Lebre, Christine Morin
- article
- [Research Report] RR-7055, INRIA. 2009
- Accès au texte intégral et bibtex
-
Theses
- titre
- Online Management of Jobs in Clusters using Virtual Machines
- auteur
- Fabien Hermenier
- article
- Réseaux et télécommunications [cs.NI]. Université de Nantes, 2009. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product Lines
- auteur
- Hugo Arboleda
- article
- Software Engineering [cs.SE]. Université de Nantes; Universidad Los Andès, Bogota, 2009. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Reliability of dynamic reconfigurations in component-based architectures
- auteur
- Marc Léger
- article
- Génie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2009. Français. ⟨NNT : 2009ENMP1618⟩
- Accès au texte intégral et bibtex
-
2008
Journal articles
- titre
- La traçabilité dans les lignes de produits logiciels
- auteur
- Nicolas Anquetil, Ismenia Galvão, Joost Noppen
- article
- Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2008, 14 (3), pp.47--57
- Accès au bibtex
-
- titre
- Cross-layer rate control, medium access control and routing design in cooperative VANET
- auteur
- Liang Zhou, Baoyu Zheng, Benoit Geller, Anne Wei, Shan Xu, Yajun Li
- article
- Computer Communications, 2008, ⟨10.1016/j.comcom.2007.12.006⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Aspect-based patterns for grid programming
- auteur
- Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Südholt
- article
- 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), Oct 2008, Brazil. pp.141-148, ⟨10.1109/SBAC-PAD.2008.22⟩
- Accès au bibtex
-
- titre
- Complementarity between Virtualization and Single System Image Technologies
- auteur
- Jérôme Gallard, Geoffroy Vallée, Adrien Lebre, Christine Morin, Pascal Gallard, Stephen L. Scott
- article
- Euro-Par 2008 Workshops - Parallel Processing: VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Aug 2008, Las Palmas de Gran Canaria, Spain. ⟨10.1007/978-3-642-00955-6_6⟩
- Accès au bibtex
-
- titre
- LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns
- auteur
- Luis Daniel Benavides Navarro, Rémi Douence, Angel Núñez, Mario Südholt
- article
- Workshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. pp.36-45, ⟨10.1007/978-3-642-02047-6⟩
- Accès au bibtex
-
- titre
- Traceability for Model Driven, Software Product Line Engineering
- auteur
- Nicolas Anquetil, Birgit Grammel, Ismenia Galvão, Joost Noppen, Soffora Shakil Khan, Hugo Arboleda, Awais Rashid
- article
- ECMDA Traceability Workshop, Jun 2008, Germany. pp.77--86
- Accès au bibtex
-
- titre
- Summary of the third workshop on Domain-Specific Aspect Languages
- auteur
- Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Le Meur, Éric Tanter
- article
- DSAL '08: Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, Thomas Cleenewerck and Jacques Noyé and Johan Fabry and Anne-Françoise Lemeur and Éric Tanter, Mar 2008, Bruxelles, Belgium. pp.1-5, ⟨10.1145/1404927.1404928⟩
- Accès au bibtex
-
- titre
- 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
- 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
-
2005
Conference papers
- titre
- Mixing Aspects and Components for Grid Computing
- auteur
- Jean-Marc Menaud, Jacques Noyé, Pierre Cointe, Christian Pérez
- article
- Workshop on Grid System, Jun 2005, Sophia Antipolis, France
- Accès au 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
- 4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States
- Accès au texte intégral et bibtex
-
- titre
- Automating adaptive image generation for medical devices using Aspect-Oriented Programming
- auteur
- Thomas Fritz, Marc Ségura Devillechaise, Mario Südholt, Egon Wuchner, Jean-Marc Menaud
- article
- 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), 2005, Italy. pp.1025-1032
- Accès au bibtex
-
Book sections
- titre
- Composants et aspects
- auteur
- Jacques Noyé, Rémi Douence, Mario Südholt
- article
- Mourrad Oussalah. Ingénierie des composants : Concepts, techniques et outils, pub.vui, pp.169-195, 2005
- Accès au bibtex
-
2004
Journal articles
- titre
- Programmation post-objets : des langages d'aspects aux langages de composants
- auteur
- Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, Mario Südholt
- article
- Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2004, 10 (4), pp.119-143
- Accès au bibtex
-
Conference papers
- titre
- Constructing Component-based Extension Interfaces in Legacy Systems Code
- auteur
- Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt
- article
- EW 11 - Workshop on ACM SIGOPS European workshop, Sep 2004, Leuven, Belgium. ⟨10.1145/1133572.1133605⟩
- Accès au bibtex
-
- titre
- A crosscut language for control-flow
- auteur
- Rémi Douence, Luc Teboul
- article
- Third International Conference on Generative Programming and Component Engineering (GPCE'04), 2004, Vancouver, Canada, Canada. pp.95-114
- Accès au bibtex
-
2003
Conference papers
- titre
- Web Cache Prefetching as an aspect{:} Towards a Dynamic-Weaving Based Solution
- auteur
- Marc Ségura Devillechaise, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall
- article
- 2nd AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), 2003, Boston, Massachusetts, USA, United States. pp.110-119
- Accès au bibtex
-
- titre
- Extensibilité Dynamique dans les Caches Web {:} une Approche par Aspects
- auteur
- Marc Ségura Devillechaise, Jean-Marc Menaud, Julia L. Lawall, Gilles Muller
- article
- 3ème Conférence Française sur les Systèmes d'Exploitation ({CFSE'03}), 2003, La Colle sur Loup, France. pp.477-487
- Accès au bibtex
-
- titre
- Un modèle et un outil pour la programmation par aspects événementiels
- auteur
- Rémi Douence, Mario Südholt
- article
- 9th International Conference on Languages and Models with Objects (LMO'2003), 2003, Vannes, France. pp.105-118
- Accès au bibtex
-
2002
Conference papers
- titre
- No Java without Caffeine ― A tool for dynamic analysis of Java programs
- auteur
- Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien
- article
- ASE'02: 17th IEEE conference on Automated Software Engineering, Sep 2002, Edinburgh, UK, Romania. pp.117--126, ⟨10.1109/ASE.2002.1115000⟩
- Accès au bibtex
-
- titre
- Caching Web Services: Aspect Orientation to the Rescue
- auteur
- Marc Ségura-Devillechaise, Jean-Marc Menaud
- article
- NETWORKING 2002: Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications, Second International IFIP-TC6 Networking Conference, May 2002, Pise, Italy. pp.45-52, ⟨10.1007/3-540-45745-3_4⟩
- Accès au bibtex
-
Reports
- titre
- Detection and resolution of aspect interactions
- auteur
- Rémi Douence, Pascal Fradet, Mario Südholt
- article
- [Research Report] RR-4435, INRIA. 2002
- Accès au texte intégral et bibtex
-
2001
Journal articles
- titre
- A generic reification technique for object-oriented reflective languages
- auteur
- Rémi Douence, Mario Südholt
- article
- Higher-Order and Symbolic Computation, 2001, 14 (1), pp.7--34
- Accès au bibtex
-