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
- Multi-provider capabilities in EnOSlib: driving distributed system experiments on the edge-to-cloud continuum
- auteur
- Baptiste Jonglez, Matthieu Simonin, Jolan Philippe, Sidi Mohammed Kaddour
- article
- DAIS 2025 - 25th International Conference on Distributed Applications and Interoperable Systems, Dec 2025, Lille, France. pp.1-19
- Accès au texte intégral et bibtex
-
- titre
- Declarative, generic definition and effective implementation of transfer learning algorithms
- auteur
- Tayeb Diab, Mohamed Graiet, Mario Südholt
- article
- AIAI 2025 - 21st International Conference on Artificial Intelligence Applications and Innovations, Jun 2025, Limassol, Cyprus. pp.1-14
- Accès au texte intégral et bibtex
-
- titre
- Facilitating Heterogeneity Management on the Computing Continuum
- auteur
- Martin Molli, Daniel Balouek, Paul Temple, Thomas Ledoux
- article
- COMPAS 2025 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2025, Bordeaux, France. pp.1-8
- Accès au texte intégral et bibtex
-
- titre
- An analysis for the design of an efficient replica management strategy
- auteur
- Cherif Si Mohammed, Adrien Lebre, Alexandre van Kempen
- article
- COMPAS 2025 - Conférence francophone d'informatique en Parallélisme, Architecture et Système, Jun 2025, Bordeaux, France. pp.1-7
- Accès au texte intégral et bibtex
-
- titre
- Vers un banc d'essai flexible pour les systèmes d'exploitation réseau dans le Computing Continuum
- auteur
- Julien Caposiena, Oscar Carrillo, Frédéric Le Mouël, Baptiste Jonglez, Pierre Neyron, Thierry Arrabal
- article
- ComPAS, Jun 2025, Bordeaux, France
- Accès au texte intégral et bibtex
-
- titre
- Local-First Software for Green IT
- auteur
- Lylian Siffre, Thomas Ledoux, Renaud Pawlak, John Guery
- article
- ICT4S 2025 - International Conference on Information and Communications Technology for Sustainability, Jun 2025, Dublin, Ireland. pp.1-10
- Accès au texte intégral et bibtex
-
- titre
- ODeSe: Amélioration de l'efficacité du réseau grâce aux multi-trajets dans RPL
- auteur
- Tomas Lagos Jenschke, Georgios Z Papadopoulos, Remous-Aris Koutsiamanis, Nicolas Montavont
- article
- CORES 2025 - 10èmes Rencontres Francophones sur la Conception de Protocoles, l'Evaluation de Performances et l'Expérimentation des Réseaux de Communication, Jun 2025, Saint Valéry-sur-Somme, France. pp.1-4
- Accès au texte intégral et bibtex
-
- 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 2025 - 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. pp.1674 - 1691, ⟨10.1145/3672608.3707854⟩
- Accès au texte intégral et bibtex
-
- titre
- Erasure Coding Aware Block Placement for Data-Intensive Applications
- auteur
- Shadi Ibrahim, Jad Darrous
- article
- CHEOPS 2025 - 5th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, Mar 2025, Rotterdam Netherlands, Netherlands. pp.15-22, ⟨10.1145/3719330.3721229⟩
- Accès au bibtex
-
- titre
- Towards a Reference Architecture for Secure Cooperative Autonomous Systems for IIoT
- auteur
- Divi De Lacour, Marc Antoine Lacoste, Mario Südholt, Jacques Traoré
- article
- ICIN 2025 - 28th Conference on Innovation in Clouds, Internet and Networks, Mar 2025, Paris, France. pp.181-185, ⟨10.1109/ICIN64016.2025.10943103⟩
- Accès au bibtex
-
- titre
- TUNE-FL: adapTive semi-synchronoUs semi-deceNtralizEd Federated Learning
- auteur
- Houssem Jmal, Kandaraj Piamrat, Ons Aouedi
- article
- CCNC 2025 - IEEE Consumer Communications & Networking Conference, Jan 2025, Las Vegas (Nevada), United States. pp.1-6
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- From network management towards network analytics: a decade journey of research study
- auteur
- Kandaraj Piamrat
- article
- Networking and Internet Architecture [cs.NI]. Nantes Université, 2025
- Accès au texte intégral et bibtex
-
Theses
- titre
- Quality of service assurance before deployment of fog systems with model-based engineering and DevOps
- auteur
- Hiba Awad
- article
- Software Engineering [cs.SE]. Ecole nationale supérieure Mines-Télécom Atlantique, 2025. English. ⟨NNT : 2025IMTA0468⟩
- 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 texte intégral et 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 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
-
- 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 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: IEEE International Conference on Big Data, IEEE BigData 2024, Dec 2024, Washington DC, United States. pp.7860-7869, ⟨10.1109/BigData62323.2024.10825127⟩
- Accès au texte intégral et bibtex
-
- titre
- On the discovery of conceptual clustering models through pattern mining
- auteur
- Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet
- article
- 27th European Conference on Artificial Intelligence(ECAI), Oct 2024, Santiago de compostela, Spain. pp.1648-1655, ⟨10.3233/FAIA240672⟩
- 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
- Genome-Wide Association Study of Chronic Lung Allograft Dysfunction
- auteur
- Simon Brocard, Martin Morin, Axelle Durand, Nayane dos Santos Brito Silva, Vincent Mauduit, Antoine Roux, Benjamin Coiffard, Xavier Demant, Benjamin Renaud Picard, Jérôme Le Pavec, Jean‐françois Mornex, Loïc Falque, Jonathan Messika, Veronique Boussaud, Pierre‐antoine Gourraud, Nicolas Vince, Mario Südholt, Adrien Tissot, Sophie Limou
- article
- International Congress Lung Transplantation 2024, Sep 2024, Paris, France
- 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, ⟨10.4204/EPTCS.414.2⟩
- 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, ⟨10.1109/ICFEC61590.2024.00019⟩
- 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
- Workflows Community Summit 2024: Future Trends and Challenges in Scientific Workflows
- auteur
- Rafael Ferreira da Silva, Deborah Bard, Kyle Chard, Shaun de Witt, Ian Foster, Tom Gibbs, Carole Goble, William Godoy, Johan Gustafsson, Utz-Uwe Haus, Stephen Hudson, Shantenu Jha, Laila Los, Drew Paine, Frédéric Suter, Logan Ward, Sean Wilkinson, Marcos Amaris, Yadu Babuji, Jonathan Bader, Riccardo Balin, Daniel Balouek, Sarah Beecroft, Khalid Belhajjame, Rajat Bhattarai, Wes Brewer, Paul Brunk, Silvina Caino-Lores, Henri Casanova, Daniela Cassol, Jared Coleman, Taina Coleman, Iacopo Colonnelli, Anderson Andrei Da Silva, Daniel de Oliveira, Pascal Elahi, Nour Elfaramawy, Wael Elwasif, Brian Etz, Thomas Fahringer, Wesley Ferreira, Rosa Filgueira, Jacob Fosso Tande, Luiz Gadelha, Andy Gallo, Daniel Garijo, Yiannis Georgiou, Philipp Gritsch, Patricia Grubel, Amal Gueroudji, Quentin Guilloteau, Carlo Hamalainen, Rolando Hong Enriquez, Lauren Huet, Kevin Hunter Kesling, Paula Iborra, Shiva Jahangiri, Jan Janssen, Joe Jordan, Sehrish Kanwal, Liliane Kunstmann, Fabian Lehmann, Ulf Leser, Chen Li, Peini Liu, Jakob Luettgau, Richard Lupat, Jose M. Fernandez, Ketan Maheshwari, Tanu Malik, Jack Marquez, Motohiko Matsuda, Doriana Medic, Somayeh Mohammadi, Alberto Mulone, John-Luke Navarro, Kin Wai Ng, Klaus Noelp, Bruno P. Kinoshita, Ryan Prout, Michael R. Crusoe, Sashko Ristov, Stefan Robila, Daniel Rosendo, Billy Rowell, Jedrzej Rybicki, Hector Sanchez, Nishant Saurabh, Sumit Kumar Saurav, Tom Scogland, Dinindu Senanayake, Woong Shin, Raul Sirvent, Tyler Skluzacek, Barry Sly-Delgado, Stian Soiland-Reyes, Abel Souza, Renan Souza, Domenico Talia, Nathan Tallent, Lauritz Thamsen, Mikhail Titov, Benjamin Tovar, Karan Vahi, Eric Vardar-Irrgang, Edite Vartina, Yuandou Wang, Merridee Wouters, Qi Yu, Ziad Al Bkhetan, Mahnoor Zulfiqar
- article
- Oak Ridge National Laboratory, USA. 2024
- Accès au texte intégral et bibtex
-
- 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
- Genome-Wide Association Study of Chronic Lung Allograft Dysfunction
- auteur
- Simon Brocard, Martin Morin, Axelle Durand, Nayane dos Santos Brito Silva, Vincent Mauduit, Antoine Roux, Benjamin Coiffard, Xavier Demant, Benjamin Renaud Picard, Jérôme Le Pavec, Jean‐françois Mornex, Loïc Falque, Jonathan Messika, Pierre‐antoine Gourraud, Nicolas Vince, Mario Südholt, Adrien Tissot, Sophie Limou
- article
- GO Immuno 2023, Dec 2023, Nantes, France
- 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
-
Poster communications
- titre
- A large French genetic cohort to identify predictive molecular factors of chronic lung allograft dysfunction
- auteur
- Simon Brocard, Martin Morin, Axelle Durand, Pierre‐antoine Gourraud, Mario Südholt, Adrien Tissot, Sophie Limou
- article
- EFI 2023 Big Data In Immunogenetics At The Crossroad Of Care, Tools, And Research, Apr 2023, Nantes, France
- Accès au texte intégral et 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
- Model and data driven transient thermal system modelings for contained data centers
- auteur
- Yewan Wang, Yiru Zhang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
- article
- Energy and Buildings, 2022, 258, pp.111790. ⟨10.1016/j.enbuild.2021.111790⟩
- Accès au 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
- 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
-
- 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
-
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
-
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 7th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2013, Philadelphia (PA), United States. pp.179-188, ⟨10.1109/SASO.2013.27⟩
- Accès au bibtex
-
- titre
- Towards QoS-Oriented SLA Guarantees for Online Cloud Services
- auteur
- Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
- article
- The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), May 2013, Delft, Netherlands. pp.50-57, ⟨10.1109/CCGrid.2013.66⟩
- Accès au texte intégral et bibtex
-
- titre
- Flauncher and DVMS -- Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically
- auteur
- Daniel Balouek, Adrien Lebre, Flavien Quesnel
- article
- IEEE International Scalable Computing Challenge (SCALE 2013), held in conjunction with CCGrid'2013, May 2013, Delft, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping
- auteur
- Diana Allam, Hervé Grall, Jean-Claude Royer
- article
- WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
- Accès au texte intégral et bibtex
-
- titre
- StressCloud: An infrastructure stresser for Virtual Machine Managers
- auteur
- Guillaume Le Louët, Jean-Marc Menaud
- article
- Energy Efficiency in Large Scale Distributed Systems conference, Apr 2013, Vienne, Austria. pp.01-08, ⟨10.1007/978-3-642-40517-4_7⟩
- Accès au bibtex
-
- titre
- Taming aspects with monads and membranes
- auteur
- Ismael Figueroa, Nicolas Tabareau, Éric Tanter
- article
- FOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩
- Accès au texte intégral et bibtex
-
- titre
- Aspectizing JavaScript Security
- auteur
- Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
- article
- MISS - 3rd Workshop on Modularity In Systems Software, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451613.2451616⟩
- Accès au texte intégral et bibtex
-
- titre
- A Typed Monadic Embedding of Aspects
- auteur
- Nicolas Tabareau, Ismael Figueroa, Éric Tanter
- article
- 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan
- Accès au texte intégral et bibtex
-
- titre
- SCAling: SLA-driven cloud auto-scaling
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- 28th Annual ACM Symposium on Applied Computing (SAC 2013), Mar 2013, Coimbra, Portugal. pp.411-414, ⟨10.1145/2480362.2480445⟩
- Accès au bibtex
-
- titre
- Practical use of static composition of refactoring operations
- auteur
- Julien Cohen, Akram Ajouli
- article
- ACM Symposium on Applied Computing (SAC), Mar 2013, Coimbra, Portugal. pp.1700-1705, ⟨10.1145/2480362.2480684⟩
- Accès au texte intégral et bibtex
-
- titre
- Flexible and expressive aspect-based control over service compositions in the Cloud
- auteur
- Ronan-Alexandre Cherrueau, Omar Chebaro, Mario Südholt
- article
- 4th International Workshop on Variability & Composition, Mar 2013, Fukuoka, Japan
- Accès au bibtex
-
- titre
- Anti-Unification with Type Classes
- auteur
- Nicolas Tabareau, Éric Tanter, Ismael Figueroa
- article
- Journées Francophones des Langages Applicatifs (JFLA), Feb 2013, Aussois, France
- Accès au texte intégral et bibtex
-
- titre
- StressCloud, un outils d'évaluation pour les gestionnaires d'infrastructure virtualisée
- auteur
- Guillaume Le Louët, Jean-Marc Menaud
- article
- Conférence Française en Systèmes d'Exploitation, Jan 2013, Grenoble, France. pp.01-12
- Accès au bibtex
-
- titre
- SLA et qualité de service pour le Cloud Computing
- auteur
- Yousri Kouki, Thomas Ledoux, Damián Serrano, Sara Bouchenak, Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
- article
- Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11
- Accès au bibtex
-
- titre
- A Server Consolidation Problem: Definition and Model
- auteur
- Lionel Eyraud-Dubois, Adrien Lebre, Patrick Martineau, Ameur Soukhal, Vincent t'Kindt, Denis Trystram
- article
- Proceedings of the 14th conference ROADEF, 2013, Troyes, France
- Accès au bibtex
-
- titre
- Prototyper des Moteurs de Propagation avec un DSL
- auteur
- Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien
- article
- Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Architectures logicielles pour les lignes de produits
- auteur
- Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, Jean-Claude Royer
- article
- Architectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4
- Accès au bibtex
-
- titre
- Adding Virtualization Capabilities to the Grid'5000 Testbed
- auteur
- Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot, Emmanuel Jeanvoine, Adrien Lebre, David Margery, Nicolas Niclausse, Lucas Nussbaum, Olivier Richard, Christian Pérez, Flavien Quesnel, Cyril Rohr, Luc Sarzyniec
- article
- Ivanov, IvanI. and Sinderen, Marten and Leymann, Frank and Shan, Tony. Cloud Computing and Services Science, 367, Springer International Publishing, pp.3-20, 2013, Communications in Computer and Information Science, 978-3-319-04518-4. ⟨10.1007/978-3-319-04519-1_1⟩
- Accès au bibtex
-
Other publications
- titre
- Accountability for Cloud and Other Future Internet Services
- auteur
- Siani Pearson, Vasilis Tountopoulos, Daniele Catteddu, Mario Südholt, Refik Molva, Christoph Reich
- article
- 2013
- Accès au bibtex
-
Reports
- titre
- Beyond The Cloud, How Should Next Generation Utility Computing Infrastructures Be Designed?
- auteur
- Adrien Lebre, Jonathan Pastor, Marin Bertier, Frédéric Desprez, Jonathan Rouzaud-Cornabas, Cédric Tedeschi, Paolo Anedda, Gianluigi Zanetti, Ramon Nou, Toni Cortes, Etienne Rivière, Thomas Ropars
- article
- [Research Report] RR-8348, INRIA. 2013
- Accès au texte intégral et bibtex
-
- titre
- Refactoring Composite to Visitor and Inverse Transformation in Java
- auteur
- Akram Ajouli, Julien Cohen
- article
- 2013
- Accès au texte intégral et bibtex
-
- titre
- Contraction analysis of nonlinear random dynamical systems
- auteur
- Nicolas Tabareau, Jean-Jacques Slotine
- article
- [Research Report] RR-8368, INRIA. 2013, pp.17
- Accès au texte intégral et bibtex
-
Theses
- titre
- SLA-driven cloud elasticity anagement approach
- auteur
- Yousri Kouki
- article
- Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0134⟩
- Accès au texte intégral et bibtex
-
- titre
- Views and program transformations for modular maintenances
- auteur
- Akram Ajouli
- article
- Autre. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0112⟩
- Accès au texte intégral et bibtex
-
- titre
- Multi Autonomic Management for Optimizing Energy Consumption in Cloud Infrastructures
- auteur
- Frederico Guilherme Alvares de Oliveira Junior
- article
- Software Engineering [cs.SE]. Université de Nantes, 2013. English. ⟨NNT : ED 503-186⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward cooperative management of large-scale virtualized infrastructures : the case of scheduling
- auteur
- Flavien Quesnel
- article
- Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2013. Français. ⟨NNT : 2013EMNA0046⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Univalence for free
- auteur
- Matthieu Sozeau, Nicolas Tabareau
- article
- 2013
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS
- auteur
- Flavien Quesnel, Adrien Lebre, Mario Südholt
- article
- Concurrency and Computation: Practice and Experience, 2012, pp.XX
- Accès au bibtex
-
- titre
- Essential AOP: The A Calculus
- auteur
- Bruno de Fraine, Erik Ernst, Mario Südholt
- article
- ACM Transactions on Programming Languages and Systems (TOPLAS), 2012, ⟨10.1145/2362389.2362391⟩
- Accès au bibtex
-
- titre
- Self-management of cloud applications and infrastructure for energy optimization
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux
- article
- Operating Systems Review, 2012, 46 (2), pp.10-18. ⟨10.1145/2331576.2331579⟩
- Accès au bibtex
-
- titre
- Architecture for the next generation system management tools
- auteur
- Jérôme Gallard, Adrien Lebre, Christine Morin, Thomas Naughton, Stephen L. Scott, Geoffroy Vallée
- article
- Future Generation Computer Systems, 2012, 28 (1), pp.136-146. ⟨10.1016/j.future.2011.06.003⟩
- Accès au bibtex
-
Conference papers
- titre
- SLA-driven Capacity Planning for Cloud applications
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- 4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2012), Dec 2012, Taipei, Taiwan. pp.135-140, ⟨10.1109/CloudCom.2012.6427519⟩
- Accès au bibtex
-
- titre
- Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
- auteur
- Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov
- article
- ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
- Accès au bibtex
-
- titre
- Extending Type Theory with Forcing
- auteur
- Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau
- article
- LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
- Accès au texte intégral et bibtex
-
- titre
- An Automatic Reversible Transformation from Composite to Visitor in Java
- auteur
- Akram Ajouli
- article
- CIEL 2012 - Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
- auteur
- Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux
- article
- 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
- Accès au texte intégral et bibtex
-
- titre
- E\{Java, CaesarJ, Scala\} : un exercice d'intégration de la programmation par objets, par aspects et par évènements
- auteur
- Jacques Noyé
- article
- Quatrièmes journées nationales du GDR GPL, Jun 2012, Rennes, France. pp.85-86
- Accès au texte intégral et bibtex
-
- titre
- A lesson on structural testing with PathCrawler-online.com
- auteur
- Omar Chebaro, Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger
- article
- 6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp.0-0
- Accès au bibtex
-
- titre
- CSLA : a Language for improving Cloud SLA Management
- auteur
- Yousri Kouki, Thomas Ledoux
- article
- International Conference on Cloud Computing and Services Science, CLOSER 2012, Apr 2012, Porto, Portugal. pp.586-591, ⟨10.5220/0003956405860591⟩
- Accès au bibtex
-
- titre
- A Message-Passing Model for Service Oriented Computing
- auteur
- Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
- article
- WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
- Accès au texte intégral et bibtex
-
- titre
- Invertible Program Restructurings for Continuing Modular Maintenance
- auteur
- Julien Cohen, Rémi Douence, Akram Ajouli
- article
- 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Mar 2012, Szeged, Hungary. pp.347-352, ⟨10.1109/CSMR.2012.42⟩
- Accès au texte intégral et bibtex
-
- titre
- A Practical Monadic Aspect Weaver
- auteur
- Ismael Figueroa, Éric Tanter, Nicolas Tabareau
- article
- Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
- Accès au texte intégral et bibtex
-
- titre
- 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 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
- A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
- auteur
- Diana Allam
- article
- AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩
- Accès au texte intégral et bibtex
-
- titre
- btrScript : a safe management system for virtualized data center
- auteur
- Jean-Marc Menaud, Rémy Pottier
- article
- ICAS 2012 - The Eighth International Conference on Autonomic and Autonomous Systems, Mar 2012, St. Maarten, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- Adding high-level concurrency to EScala
- auteur
- Jurgen Michael van Ham
- article
- Aspect-oriented software development, Mar 2012, Potsdam, Germany. pp.19-20, ⟨10.1145/2162110.2162125⟩
- Accès au bibtex
-
- titre
- Proceedings of the seventh workshop on Domain-Specific Aspect Languages (DSAL 2012)
- auteur
- Tom Dinkelaker, Johan Fabry, Jacques Noyé
- article
- AOSD - Aspect-Oriented Software Development - 2012, Mar 2012, Potsdam, Germany
- Accès au bibtex
-
Book sections
- titre
- Self-management of applications and systems to optimize energy in data centers
- auteur
- Frederico Alvares de Oliveira Jr., Adrien Lebre, Thomas Ledoux, Jean-Marc Menaud
- article
- Ivona Brandic and Massimo Villari and Francesco Tusa. Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice, IGI Global, 2012, ⟨10.4018/978-1-4666-1631-8.ch019⟩
- Accès au bibtex
-
Other publications
- titre
- Forcing in Coq
- auteur
- Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber
- article
- 2012
- Accès au bibtex
-
Books
- titre
- Model-Driven and Software Product Line Engineering
- auteur
- Hugo Arboleda, Jean-Claude Royer
- article
- ISTE LTd and John Wiley & Sons, Inc., pp.288, 2012, 978-1-84821-427-9
- Accès au bibtex
-
Reports
- titre
- Adding Virtualization Capabilities to Grid'5000
- auteur
- Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot, Emmanuel Jeanvoine, Adrien Lebre, David Margery, Nicolas Niclausse, Lucas Nussbaum, Olivier Richard, Christian Pérez, Flavien Quesnel, Cyril Rohr, Luc Sarzyniec
- article
- [Research Report] RR-8026, INRIA. 2012, pp.18
- Accès au texte intégral et bibtex
-
- titre
- From Implicit to Explicit Pavings
- auteur
- Gilles Chabert, Rémi Douence
- article
- [Research Report] RR-8028, INRIA. 2012
- Accès au texte intégral et bibtex
-
- titre
- Well-Typed Services Cannot Go Wrong
- auteur
- Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
- article
- [Research Report] RR-7899, INRIA. 2012
- Accès au texte intégral et bibtex
-
- titre
- Towards QoS-Oriented SLA Guarantees for Online Cloud Services
- auteur
- Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
- article
- [Research Report] RR-LIG-034, LIG. 2012
- Accès au texte intégral et bibtex
-
Theses
- titre
- A domain specific language for virtualized infrastructures
- auteur
- Rémy Pottier
- article
- Langage de programmation [cs.PL]. Ecole des Mines de Nantes, 2012. Français. ⟨NNT : 2012EMNA0017⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine
- auteur
- Hervé Grall, Mayleen Lacouture
- article
- 2012
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- Aspects Preserving Properties
- auteur
- Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
- article
- Science of Computer Programming, 2011, 77 (3), pp.393-422. ⟨10.1016/j.scico.2011.10.010⟩
- Accès au bibtex
-
- titre
- Structured and flexible gray-box composition using invasive distributed patterns
- auteur
- Ismael Mejia, Mario Südholt
- article
- IADIS International Journal on Computer Science and Information Systems, 2011, 1, 6, pp.13
- Accès au texte intégral et bibtex
-
- titre
- Aspectizing Java Access Control
- auteur
- Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé
- article
- IEEE Transactions on Software Engineering, 2011, 38 (1), pp.101-117. ⟨10.1109/TSE.2011.6⟩
- Accès au bibtex
-
Conference papers
- titre
- Self-management of applications QoS for energy optimization in datacenters
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux
- article
- 2nd International Workshop on Green Computing Middleware (GCM'2011), Dec 2011, Lisbon, Portugal. pp.1-6, ⟨10.1145/2088996.2088999⟩
- Accès au bibtex
-
- titre
- Cross-layer SLA selection for Cloud services
- auteur
- Yousri Kouki, Thomas Ledoux, Rémi Sharrock
- article
- IEEE International Symposium on Network Cloud Computing and Applications, NCCA 2011, Nov 2011, Toulouse, France. pp.143-147, ⟨10.1109/NCCA.2011.30⟩
- Accès au bibtex
-
- titre
- Static Analysis of Aspect Interaction and Composition in Component Models
- auteur
- Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
- article
- the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Oct 2011, Portland, Oregon, United States. pp.18
- Accès au texte intégral et bibtex
-
- titre
- Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures
- auteur
- Muhammed Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, Mario Südholt
- article
- 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
- Accès au bibtex
-
- titre
- Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems
- auteur
- Flavien Quesnel, Adrien Lebre
- article
- 6th Workshop on Virtualization in High-Performance Cloud Computing, Aug 2011, Bordeaux, France. pp.457-466
- Accès au bibtex
-
- titre
- Composable Controllers in Fractal: Implementation and Interference Analysis
- auteur
- Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
- article
- the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Aug 2011, Oulu, Finland. pp.99
- Accès au texte intégral et bibtex
-
- titre
- DISCOVERY, Beyond the Clouds - DIStributed and COoperative framework to manage Virtual EnviRonments autonomicallY: a prospective study
- auteur
- Adrien Lebre, Paolo Anedda, Massimo Gaggero, Flavien Quesnel
- article
- Virtualization for High Performance Cloud Computing workshop (colocated with EUROPAR 2011), Aug 2011, Bordeaux, France
- Accès au bibtex
-
- titre
- The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada
- Accès au texte intégral et bibtex
-
- titre
- Program Transformation based Views for Modular Maintenance
- auteur
- Akram Ajouli, Julien Cohen, Rémi Douence
- article
- Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219
- Accès au texte intégral et bibtex
-
- titre
- Towards a Unified Formal Model for Service Orchestration and Choreography
- auteur
- Diana Allam, Hervé Grall, Jean-Claude Royer
- article
- Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- The Synthesis Problem for Trusted Service-based Collaborations
- auteur
- Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
- article
- Actes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
- Accès au bibtex
-
- titre
- Kalimucho: Contextual Deployment for QoS Management
- auteur
- Christine Louberry, Philippe Roose, Marc Dalmau
- article
- 11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.43-56, ⟨10.1007/978-3-642-21387-8_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Consolidation dynamique d'applications Web haute-disponibilité
- auteur
- Fabien Hermenier, Julia L. Lawall, Jean-Marc Menaud, Gilles Muller
- article
- CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France
- Accès au bibtex
-
- titre
- Kalimucho : Plateforme d'Adaptation des Applications Mobiles
- auteur
- Christine Louberry, Philippe Roose, Marc Dalmau
- article
- NOTERE 201- Conférence Internationale sur les NOuvelles Technologies de la REpartition, May 2011, Paris, France. pp.83-90
- Accès au texte intégral et bibtex
-
- titre
- 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
- 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
- Invasive composition for the evolution of a health information system
- auteur
- Ismael Mejia, Mario Südholt, Luis Daniel Benavides Navarro
- article
- 2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1961359.1961362⟩
- Accès au texte intégral et bibtex
-
- titre
- EScala: Modular Event-Driven Object Interactions in Scala
- auteur
- Vaidas Gasiūnas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé
- article
- 10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Mar 2011, Porto de Galinhas, Brazil. ⟨10.1145/1960275.1960303⟩
- Accès au bibtex
-
- titre
- Proceedings of the sixth annual workshop on Domain-specific aspect languages (DSAL 2011)
- auteur
- Tom Dinkelaker, Jacques Noyé, Éric Tanter
- article
- AOSD - Aspect-Oriented Software Development - 2011, Mar 2011, Porto de Galinhas, Brazil
- Accès au bibtex
-
- titre
- Component types qualification in Java legacy code driven by communication integrity rules
- auteur
- Hugo Arboleda, Jean-Claude Royer
- article
- ISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, ⟨10.1145/1953355.1953377⟩
- Accès au bibtex
-
- titre
- Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities
- auteur
- Flavien Quesnel, Adrien Lebre
- article
- 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, Feb 2011, Ayia Napa, Cyprus. pp.495
- Accès au bibtex
-
Book sections
- titre
- Introduction
- auteur
- Awais Rashid, Jean-Claude Royer, Andreas Rummler
- article
- Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011
- Accès au bibtex
-
- titre
- Managing Information Flow in SPL Development Processes
- auteur
- Nicolas Anquetil, Uira Kulesza, Ricardo Mateus, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler
- article
- Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011
- Accès au bibtex
-
- titre
- Product line implementation with ECaesarJ
- auteur
- Vaidas Gasiūnas, Angel Núñez, Jacques Noyé, Mira Mezini
- article
- Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way, Cambridge University Press, 2011, ISBN-13: 9780521767224
- Accès au bibtex
-
- titre
- Empirical research in software product line engineering
- auteur
- Phil Greenwood, Vander Alves, John Hutchinson, Christa Schwanninger, Nicolas Anquetil
- article
- Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines -- The AMPLE way, Cambridge University Press, pp.411--443, 2011, 978-0-521-76722-4. ⟨10.1017/CBO9781139003629.014⟩
- Accès au bibtex
-
Books
- titre
- Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way
- auteur
- Awais Rashid, Jean-Claude Royer, Andreas Rummler
- article
- Cambridge University Press, pp.470, 2011
- Accès au bibtex
-
Reports
- titre
- Exploring Membranes for Controlling Aspects
- auteur
- Éric Tanter, Nicolas Tabareau, Rémi Douence
- article
- [Research Report] RR-7739, INRIA. 2011, pp.33
- Accès au texte intégral et bibtex
-
- titre
- Modular and Flexible Causality Control on the Web
- auteur
- Paul Leger, Éric Tanter, Rémi Douence
- article
- [Research Report] RR-7742, INRIA. 2011
- Accès au texte intégral et bibtex
-
- titre
- Aspect Oriented Programming: a language for 2-categories
- auteur
- Nicolas Tabareau
- article
- [Research Report] RR-7527, INRIA. 2011, pp.30
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Consolidation of Highly Available Web Applications
- auteur
- Fabien Hermenier, Julia Lawall, Jean-Marc Menaud, Gilles Muller
- article
- [Research Report] RR-7545, INRIA. 2011, pp.26
- Accès au texte intégral et bibtex
-
Theses
- titre
- Aspectualizing Component Models : implementation and Interferences Analysis
- auteur
- Abdelhakim Hannousse
- article
- Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2011. English. ⟨NNT : 2011EMNA0009⟩
- Accès au texte intégral et bibtex
-
- titre
- A Common Aspect Languages Interpreter
- auteur
- Ali Assaf
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A VPA-based Aspect Language
- auteur
- Dong Ha Nguyen
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- A Programming Model Integrating Classes, Events and Aspects
- auteur
- Angel Núñez
- article
- Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Decomposing Logical Relations with Forcing
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- 2011
- Accès au texte intégral et bibtex
-
- titre
- Views, Program Transformations, and the Evolutivity Problem in a Functional Language
- auteur
- Julien Cohen, Rémi Douence
- article
- 2011
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Managing Virtual Resources: Fly through the Sky
- auteur
- Jérôme Gallard, Adrien Lebre
- article
- ERCIM News, 2010, Cloud Computing, Platforms, Software and Applications, pp.36--37
- Accès au bibtex
-
- titre
- Scoping strategies for distributed aspects
- auteur
- Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
- article
- Science of Computer Programming, 2010, 75 (12), pp.1235-1261. ⟨10.1016/j.scico.2010.06.011⟩
- Accès au bibtex
-
- titre
- Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe
- auteur
- Awais Rashid, Thomas Cottenier, Phil Greenwood, Ruzanna Chitchyan, Meunier Regine, Coelho Roberta, Mario Südholt, Wouter Joosen
- article
- Computer, 2010, 43 (2), pp.19-26. ⟨10.1109/MC.2010.30⟩
- Accès au bibtex
-
- titre
- A model-driven traceability framework for software product lines
- auteur
- Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa
- article
- Software and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
- Accès au texte intégral et bibtex
-
- titre
- How synchronization protects from noise.
- auteur
- Nicolas Tabareau, Jean-Jacques Slotine, Quang-Cuong Pham
- article
- PLoS Computational Biology, 2010, 6 (1), pp.e1000637. ⟨10.1371/journal.pcbi.1000637⟩
- Accès au bibtex
-
Conference papers
- titre
- Architecture for the Next Generation System Management Tools.
- auteur
- Jérôme Gallard, Christine Morin, Geoffroy Vallée, Thomas J. Naughton, Stephen L. Scott, Adrien Lebre
- article
- First International Conference on Utility and Cloud Computing (UCC 2010), Dec 2010, Chennai, India
- Accès au bibtex
-
- titre
- Self-optimisation of the energy footprint in Service-Oriented Architectures
- auteur
- Frederico Alvares de Oliveira Jr., Thomas Ledoux
- article
- 1st International Workshop on Green Computing Middleware, Nov 2010, India. pp.4-9, ⟨10.1145/1925013.1925014⟩
- Accès au bibtex
-
- titre
- Structured and flexible gray-box composition: Application to task rescheduling for grid benchmarking
- auteur
- Ismael Mejia, Mario Südholt
- article
- IADIS International Conference APPLIED COMPUTING 2010, International Association for Development of the Information Society and "Politehnica" University of Timisoara, Romania, Oct 2010, Timisoara, Romania
- Accès au texte intégral et bibtex
-
- titre
- A Comparison of Model Migration Tools
- auteur
- Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitris Kolovos, Kelly Garcés, Richard F. Paige, Fiona A.C. Polack
- article
- Proc. of Models 2010 Foundation Track, Oct 2010, Oslo, Norway. To appear
- Accès au texte intégral et bibtex
-
- titre
- Fiesta Toolkit: Model-Driven Software Product Lines in Practice
- auteur
- Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer
- article
- Brazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66
- Accès au bibtex
-
- titre
- Automated Reasoning for Derivation of Model-Driven SPLs
- auteur
- Hugo Arboleda, Victor Vargas, Francisco Diaz Juan, Jean-Claude Royer
- article
- 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. pp.181--188
- Accès au bibtex
-
- titre
- CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
- auteur
- Mayleen Lacouture, Hervé Grall, Thomas Ledoux
- article
- International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France
- Accès au texte intégral et bibtex
-
- titre
- FICS 2010
- auteur
- Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, Hervé Grall, Paul Levy, Matteo Mio, Keiko Nakata, Andrei Romashchenko, Jan Schwinghammer, Kristian Støvring, Tarmo Uustalu, Pawel Waszkiewicz
- article
- 7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89
- Accès au texte intégral et bibtex
-
- titre
- Krivine realizability for compiler correctness
- auteur
- Guilhem Jaber, Nicolas Tabareau
- article
- Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Jul 2010, Edinburgh, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Performance and Power Management for Cloud Infrastructures
- auteur
- Jean-Marc Menaud, Hien Nguyen Van, Frédéric Dang Tran
- article
- Cloud 2010, Jul 2010, Miami - Florida, United States. pp.329-336, ⟨10.1109/CLOUD.2010.25⟩
- Accès au bibtex
-
- titre
- Reliable Dynamic Reconfiguration in a Reflective Component Model
- auteur
- Marc Léger, Thomas Ledoux, Thierry Coupaye
- article
- Component-Based Software Engineering (CBSE 2010), Jun 2010, Prague, Czech Republic. pp.74-92, ⟨10.1007/978-3-642-13238-4_5⟩
- Accès au bibtex
-
- titre
- Cluster-Wide Context Switch of Virtualized Jobs
- auteur
- Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
- article
- VTDC10 - The 4th International Workshop on Virtualization Technologies in Distributed Computing, Jun 2010, Chicago, United States
- Accès au texte intégral et bibtex
-
- titre
- The Increasing Nvalue Constraint
- auteur
- Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
- article
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. ⟨10.1007/978-3-642-13520-0_5⟩
- Accès au bibtex
-
- titre
- La contrainte Increasing NValue
- auteur
- Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
- article
- JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70
- Accès au texte intégral et bibtex
-
- titre
- A Reconfiguration Language for Virtualized Grid Infrastructures
- auteur
- Rémy Pottier, Marc Léger, Jean-Marc Menaud
- article
- 10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.42-55, ⟨10.1007/978-3-642-13645-0_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Essential AOP: The A Calculus
- auteur
- Bruno de Fraine, Erik Ernst, Mario Südholt
- article
- European Conference on Object-Oriented Programming, Jun 2010, Maribor, Slovenia. pp.000
- Accès au bibtex
-
- titre
- Automatizing the Evaluation of Model Matching Systems
- auteur
- Kelly Garcés, Wolfgang Kling, Frédéric Jouault
- article
- Workshop on matching and meaning 2010, Mar 2010, Leicester, United Kingdom. To appear
- Accès au texte intégral et bibtex
-
- titre
- Views for Aspectualizing Component Models
- auteur
- Abdelhakim Hannousse, Gilles Ardourel, Rémi Douence
- article
- the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), Mar 2010, St-Malo, France. acp4is10
- Accès au bibtex
-
- titre
- A theory of distributed aspects
- auteur
- Nicolas Tabareau
- article
- 9th International Conference on Aspect-Oriented Software Development (AOSD '10), Mar 2010, Rennes, Saint-Malo, France. pp.133--144, ⟨10.1145/1739230.1739246⟩
- Accès au texte intégral et bibtex
-
- titre
- Vers une réification de l'énergie dans le domaine du logiciel
- auteur
- Jean-Marc Menaud, Adrien Lebre, Thomas Ledoux, Jacques Noyé, Pierre Cointe, Rémi Douence, Mario Südholt
- article
- Journées du GDR Génie de la Programmation et du Logiciel, Mar 2010, Pau, France. pp.000
- Accès au bibtex
-
- titre
- Saline: Improving Best-Effort Job Management in Grids
- auteur
- Jérôme Gallard, Adrien Lebre, Christine Morin
- article
- PDP 2010: The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing -- Special Session: Virtualization in Distributed Systems, 2010, Pisa, Italy
- Accès au bibtex
-
Master thesis
- titre
- Krivine Realizability for Compiler Correctness
- auteur
- Guilhem Jaber
- article
- Symbolic Computation [cs.SC]. 2010
- Accès au texte intégral et bibtex
-
Books
- titre
- Langages et Modèles à Objets
- auteur
- Eric Cariou, Jean-Claude Royer
- article
- Université de Pau et des pays de l'adour, pp.100, 2010
- Accès au bibtex
-
- titre
- Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development
- auteur
- Mario Südholt, Uwe Hohenstein, Jean-Marc Jézéquel, Benoit Baudry
- article
- ACM, pp.230, 2010
- Accès au bibtex
-
Reports
- titre
- Controlling Contractors with Monads for Hybrid Dynamical Systems
- auteur
- Gilles Chabert, Rémi Douence
- article
- [Research Report] RR-7451, INRIA. 2010, pp.20
- Accès au texte intégral et bibtex
-
- titre
- 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
-
- 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
-
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
- 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
- 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
- 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
-