2026
Journal articles
- titre
- Workload Shifting Techniques: From Digital Inebriation to Sobriety
- auteur
- Nicolas Tirel, Philippe Roose, Sergio Ilarri, Adel Noureddine, Olivier Le Goaër
- article
- ACM Computing Surveys, 2026, 58 (5), pp.1-36. ⟨10.1145/3769301⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Green Shifting Techniques: a Data Model to Rule Them All
- auteur
- Nicolas Tirel, Sergio Ilarri, Philippe Roose, Olivier Le Goaër, Adel Noureddine
- article
- 34th IEEE International Conference on Enabling Technologies Infrastructure for Collaborative Enterprise (WETICE-2026), Jul 2026, Paris, France
- Accès au bibtex
-
- titre
- Sélection du profil énergétique pour améliorer les techniques de shifting
- auteur
- Nicolas Tirel, Philippe Roose, Sergio Ilarri, Adel Noureddine, Olivier Le Goaër
- article
- Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2026), Jun 2026, Anglet, France
- Accès au bibtex
-
- titre
- PowDroid 2: Android Energy Profiling Made Easy
- auteur
- Olivier Le Goaër, Adel Noureddine
- article
- International Conference on ICT for Sustainability, Jun 2026, Berne, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- Check Energy Profiles to Improve Shifting Techniques
- auteur
- Nicolas Tirel, Philippe Roose, Sergio Ilarri, Adel Noureddine, Olivier Le Goaër
- article
- ICT for Sustainability (ICT4S) 2026, Jun 2026, Bern, Switzerland
- Accès au bibtex
-
2025
Conference papers
- titre
- Fine-Grained Confidentiality and Authenticity Modeling and Verification for Embedded Systems
- auteur
- Jawher Jerray, Bastien Sultan, Ludovic Apvrille
- article
- 2025 ACM/IEEE 28th International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Oct 2025, Grand Rapids, France. pp.333-344, ⟨10.1109/MODELS-C68889.2025.00052⟩
- Accès au texte intégral et bibtex
-
- titre
- La Quête du Scheduling Parfait : Jouer sur Tous les Tableaux
- auteur
- Nicolas Tirel, Philippe Roose, Sergio Ilarri, Adel Noureddine, Olivier Le Goaër
- article
- Conférence francophone d'informatique en Parallélisme, Architecture et Système (COMPAS 2025), Jun 2025, Bordeaux, France
- Accès au bibtex
-
- titre
- Maude Strategies-Based SoSs Workflow Modeling
- auteur
- Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala
- article
- 20th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2025, Porto, Portugal. pp.316-327, ⟨10.5220/0013481800003928⟩
- Accès au texte intégral et bibtex
-
- titre
- Investigating the Impact of Software Design Patterns on Energy Consumption
- auteur
- Adel Noureddine, Olivier Le Goaer
- article
- 22nd IEEE International Conference on Software Architecture, Mar 2025, Odense, Denmark. ⟨10.1109/ICSA65012.2025.00024⟩
- Accès au texte intégral et bibtex
-
- titre
- s12y : Développement d'applications durables
- auteur
- Olivier Le Goaër
- article
- CNRIUT 2025 Bayonne - Pays Basque, IUT de Bayonne Pays Basque, Mar 2025, Bayonne, France
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- From Low Code to Green Code : concepts, methods and tools
- auteur
- Olivier Le Goaër
- article
- Génie logiciel [cs.SE]. Université de Pau et des Pays de l'Adour, 2025
- Accès au texte intégral et bibtex
-
2024
Conference papers
- titre
- When Good Enough is the Best Option: Use of Digital Sufficiency to Fight Climate Change
- auteur
- Nicolas Tirel, Sergio Ilarri, Philippe Roose, Adel Noureddine, Olivier Le Goaer
- article
- 26th International Conference on Information Integration and Web Intelligence (iiWAS2024), Dec 2024, Bratislava, Slovakia. pp.176-181, ⟨10.1007/978-3-031-78090-5_15⟩
- Accès au texte intégral et bibtex
-
- titre
- Digital Sufficiency: One Step Closer to Sustainable Computing
- auteur
- Nicolas Tirel, Philippe Roose, Sergio Ilarri, Adel Noureddine, Olivier Le Goaër
- article
- International Colloquium on Energy-Efficient and Sustainable Distributed Systems, Nov 2024, Natal, Brazil
- Accès au texte intégral et bibtex
-
- titre
- Towards Specification and Analysis of Dependable Cyber-Physical Systems
- auteur
- Riad Helal, Kamel Boukhelfa, Akram Seghiri, Nabil Hameurlain, Faiza Belala
- article
- 13th International Conference on Model and Data Engineering (MEDI), University of Naples Federico II; ISAE-ENSMA, Nov 2024, Napoli, Italy. pp.64-72, ⟨10.1007/978-3-031-87719-3_5⟩
- Accès au texte intégral et bibtex
-
- titre
- FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems
- auteur
- Riad Helal, Akram Seghiri, Kamel Boukhelfa, Faiza Belala, Nabil Hameurlain
- article
- 2024 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2024, Constantine, Algeria. pp.1-9, ⟨10.1109/ICAASE64542.2024.10850943⟩
- Accès au texte intégral et bibtex
-
- titre
- Cross-Detection of Mobile-specific Energy Hotspots: MBSE to the Rescue
- auteur
- Léa Brunschwig, Olivier Le Goaër
- article
- 1st International Workshop on Sustainability and Modeling co-located with MoDELS'24, Sep 2024, Linz, Austria. pp.518-522, ⟨10.1145/3652620.3687797⟩
- Accès au texte intégral et bibtex
-
2023
Conference papers
- titre
- A Maude-Based Formal Approach to Control and Analyze Time-Resource Aware Missioned Systemsof-Systems
- auteur
- Charaf Eddine, Nabil Hameurlain, Faiza Belala
- article
- 31th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE-2023), Dec 2023, Saclay (92), France
- Accès au texte intégral et bibtex
-
- titre
- Convergence and robustness of the Hopf oscillator applied to an ABLE exoskeleton: reachability analysis and experimentation
- auteur
- Abdelwaheb Hafs, Dorian Verdel, Jawher Jerray, Olivier Bruneau, Nicolas Vignais, Bastien Berret, Laurent Fribourg
- article
- Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- Ecological Impact of Native versus Cross-Platform Mobile Apps: a Preliminary Study
- auteur
- Vincent Frattaroli, Olivier Le Goaer, Olivier Philippot
- article
- 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), Sep 2023, Kirchberg, Luxembourg. ⟨10.1109/ASEW60602.2023.00005⟩
- Accès au texte intégral et bibtex
-
- titre
- Integration of Heterogeneous Components for Co-Simulation
- auteur
- Jawher Jerray, Rabea Ameur-Boulifa, Ludovic Apvrille
- article
- 18th International Conference on Software Technologies (ICSOFT 2023), Jul 2023, Rome, Italy. pp.637-644, ⟨10.5220/0012134800003538⟩
- Accès au texte intégral et bibtex
-
- titre
- Decarbonizing Software with Free and Open Source Software: The ecoCode Project
- auteur
- Olivier Le Goaer
- article
- Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), Jaime Font, Lorena Arcega, José Fabián Reyes Román, Giovanni Giachetti, Jun 2023, Zaragoza, Spain. pp.9-13
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Proving the Convergence to Limit Cycles using Periodically Decreasing Jacobian Matrix Measures
- auteur
- Jawher Jerray, Laurent Fribourg
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Integration of heterogeneous components for co-simulation
- auteur
- Jawher Jerray, Rabéa Ameur-Boulifa, Ludovic Apvrille
- article
- 2023
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- Software Energy Efficiency: New Tools for Developers
- auteur
- Adel Noureddine, Olivier Le Goaer
- article
- ERCIM News, 2022, Special theme: Ethical Software Engineering and Ethically Aligned Design, 131 (18)
- Accès au bibtex
-
- titre
- Using Euler's Method to Prove the Convergence of Neural Networks
- auteur
- Jawher Jerray, Adnane Saoud, Laurent Fribourg
- article
- IEEE Control Systems Letters, 2022, ⟨10.1109/lcsys.2022.3184040⟩
- Accès au texte intégral et bibtex
-
- titre
- Asymptotic Error in Euler’s Method with a Constant Step Size
- auteur
- Jawher Jerray, Adnane Saoud, Laurent Fribourg
- article
- European Journal of Control, 2022, 68, pp.100694. ⟨10.1016/j.ejcon.2022.100694⟩
- Accès au texte intégral et bibtex
-
- titre
- A Strategy-Based Formal Approach for Fog Systems Analysis
- auteur
- Souad Marir, Faiza Belala, Nabil Hameurlain
- article
- Future internet, 2022, 14 (2), pp.52. ⟨10.3390/fi14020052⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures
- auteur
- Akram Seghiri, Faiza Belala, Nabil Hameurlain
- article
- International journal of systems and service-oriented engineering (IJSSOE), 2022, 12 (1), pp.1-17. ⟨10.4018/IJSSOE.297137⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Maude-based Rewriting Approach to Model and Control System-of-Systems' Resources Allocation
- auteur
- Charaf Eddine Dridi, Nabil Hameurlain, Faiza Belala
- article
- DETECT2022 moDdeling, vErification and Testing of dEpendable Critical systems (in conjunction with 11th International Conference on Model and Data Engineering), Nov 2022, Caire, Egypte, Egypt. pp.207-221, ⟨10.4018/ijsi.2020010103⟩
- Accès au texte intégral et bibtex
-
- titre
- ecoCode: a SonarQube Plugin to Remove Energy Smells from Android Projects
- auteur
- Olivier Le Goaer, Julien Hertout
- article
- ASE '22: 37th IEEE/ACM International Conference on Automated Software Engineering, Oct 2022, Rochester MI, United States. pp.1-4, ⟨10.1145/3551349.3559518⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems
- auteur
- Faiza Belala, Nabil Hameurlain, Akram Seghiri
- article
- 17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online Streaming, Portugal. pp.162-173, ⟨10.5220/0011069300003176⟩
- Accès au texte intégral et bibtex
-
2021
Journal articles
- titre
- Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints
- auteur
- Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
- article
- Fundamenta Informaticae, 2021, 182 (1), pp.31-67. ⟨10.3233/FI-2021-2065⟩
- Accès au bibtex
-
- titre
- An Approximation of Minimax Control using Random Sampling and Symbolic Computation
- auteur
- Jawher Jerray, Laurent Fribourg, Étienne André
- article
- IFAC-PapersOnLine, 2021, Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), 54 (5), pp.265-270. ⟨10.1016/j.ifacol.2021.08.509⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- PowDroid: Energy Profiling of Android Applications
- auteur
- Fares Bouaffar, Olivier Le Goaer, Adel Noureddine
- article
- 2nd International Workshop on Sustainable Software Engineering (SUSTAINSE), Nov 2021, Melbourne, Australia. ⟨10.1109/ASEW52652.2021.00055⟩
- Accès au texte intégral et bibtex
-
- titre
- Enforcing Green Code with Android Lint
- auteur
- Olivier Le Goaer
- article
- ASEW '20: 35th IEEE/ACM International Conference on Automated Software Engineering Workshops, Sep 2021, Melbourne, Australia. pp.85-90, ⟨10.1145/3417113.3422188⟩
- Accès au texte intégral et bibtex
-
- titre
- Determination of limit cycles using stroboscopic set-valued maps
- auteur
- Jawher Jerray, Laurent Fribourg
- article
- Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), Jul 2021, Brussels, Belgium. pp.139-144, ⟨10.1016/j.ifacol.2021.08.488⟩
- Accès au texte intégral et bibtex
-
- titre
- Green Is The New Clean
- auteur
- Olivier Le Goaer
- article
- Journées du GDR GPL 2021, Jun 2021, Vannes, France
- Accès au bibtex
-
- titre
- Robust optimal periodic control using guaranteed Euler's method
- auteur
- Jawher Jerray, Laurent Fribourg, Étienne André
- article
- ACC 2021 - American Control Conference, May 2021, New Orleans/Virtual, United States. pp.986-991, ⟨10.23919/ACC50511.2021.9482621⟩
- Accès au bibtex
-
Theses
- titre
- Guaranteed properties of dynamical systems under perturbations
- auteur
- Jawher Jerray
- article
- Mobile Computing. Université Paris-Nord - Paris XIII, 2021. English. ⟨NNT : 2021PA131064⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Vers des Logiciels Éco-responsables
- auteur
- Olivier Le Goaer, Adel Noureddine, Franck Barbier, Romain Rouvoy, Florence Maraninchi
- article
- 2021
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration
- auteur
- Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
- article
- Journal of Systems Architecture, 2020, pp.101821. ⟨10.1016/j.sysarc.2020.101821⟩
- Accès au texte intégral et bibtex
-
- titre
- Formalizing and simulating cross-layer elasticity strategies in Cloud systems
- auteur
- Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
- article
- Cluster Computing, 2020, ⟨10.1007/s10586-020-03080-8⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A software development process based on UML state machines
- auteur
- Eric Cariou, Lea Brunschwig, Olivier Le Goaer, Franck Barbier
- article
- 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, France. pp.1-8, ⟨10.1109/ICAASE51408.2020.9380117⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Modeling IoT Systems on the Basis of BiAgents* and Maude
- auteur
- Souad Marir, Belala Faiza, Nabil Hameurlain, St Marir Souad
- article
- 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, Algeria. pp.1-7, ⟨10.1109/ICAASE51408.2020.9380126⟩
- Accès au texte intégral et bibtex
-
- titre
- Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)
- auteur
- Jawher Jerray, Laurent Fribourg, Étienne André
- article
- ARCH20 - 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, Goran Frehse and Matthias Althoff, Jul 2020, Berlin, Germany. pp.197-184, ⟨10.29007/l3k2⟩
- Accès au bibtex
-
2019
Journal articles
- titre
- Formal modelling and verifying elasticity strategies in cloud systems
- auteur
- Khaled Khebbeb, Nabil Hameurlain, Faiza Belala, Hamza Sahli
- article
- IET Software, 2019, 13 (1), pp.25-35. ⟨10.1049/iet-sen.2018.5030⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Time4sys2imi: A tool to formalize real-time system models under uncertainty
- auteur
- Étienne André, Jawher Jerray, Sahar Mhiri
- article
- 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019), Robert M. Hierons; Mohamed Mosbah, Oct 2019, Hammamet, Tunisia
- Accès au bibtex
-
- titre
- Parametric schedulability analysis of a launcher flight control system under reactivity constraints
- auteur
- Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray, David Lesens
- article
- 19th International Conference on Application of Concurrency to System Design (ACSD 2019), Wil van der Aalst, Jun 2019, Aachen, Germany
- Accès au bibtex
-
Book sections
- titre
- Formal Modeling and Verification of Cloud Elasticity with Maude and LTL
- auteur
- Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
- article
- Attiogbé C., Ferrarotti F., Maabout S. (eds) New Trends in Model and Data Engineering. MEDI 2019. Communications in Computer and Information Science, vol 1085. Springer, Cham, pp.64-77, 2019, ⟨10.1007/978-3-030-32213-7_5⟩
- Accès au bibtex
-
2018
Journal articles
- titre
- HCIDL: Human-Computer Interface Description Language for Multi-Target, Multimodal, Plastic User Interfaces
- auteur
- Lamia Gaouar, Abdelkrim Benamar, Olivier Le Goaer, Frédérique Biennier
- article
- Future Computing and Informatics Journal, 2018, 3 (1), pp.110-130. ⟨10.1016/j.fcij.2018.02.001⟩
- Accès au bibtex
-
Conference papers
- titre
- A Formal Model for Interaction Specification and Analysis in IoT Applications
- auteur
- Souad Marir, Faiza Belala, Nabil Hameurlain
- article
- 8th International Conference on Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.371-384, ⟨10.1007/978-3-030-00856-7_25⟩
- Accès au texte intégral et bibtex
-
- titre
- A Maude based Specification for SoS Architecture
- auteur
- Akram Seghiri, F. Belala, Z. Benzadri, Nabil Hameurlain
- article
- 2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.45-52, ⟨10.1109/SYSOSE.2018.8428738⟩
- Accès au bibtex
-
- titre
- A Generic Solution for Weaving Business Code into Executable Models
- auteur
- Olivier Le Goaer, Eric Cariou, Léa Brunschwig, Franck Barbier
- article
- 4th International Workshop on Executable Modeling at MoDELS (EXE 2018), 2018, Copenhagen, Denmark. pp.251-256
- Accès au texte intégral et bibtex
-
- titre
- Xmodeling Studio : Un Outil Pour Définir Des DSL Exécutables
- auteur
- Léa Brunschwig, Olivier Le Goaer, Eric Cariou
- article
- 7ème Conférence En IngénieriE Du Logiciel (CIEL 2018), 2018, Grenoble, France
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems
- auteur
- Khaled Khebbeb, Nabil Hameurlain, Faiza Belala
- article
- Abdelwahed E., Bellatreche L., Golfarelli M., Méry D., Ordonez C. (eds) Model and Data Engineering. MEDI 2018. Lecture Notes in Computer Science, vol 11163., pp.168-183, 2018, ⟨10.1007/978-3-030-00856-7_11⟩
- Accès au texte intégral et bibtex
-
- titre
- A BRS Based Approach for Modeling Elastic Cloud Systems
- auteur
- Khaled Khebbeb, Hamza Sahli, Nabil Hameurlain, Faiza Belala
- article
- Braubach L. et al. (eds) Service-Oriented Computing – ICSOC 2017 Workshops. ICSOC 2017. Lecture Notes in Computer Science, vol 10797. Springer, Cham, pp.5-17, 2018, ⟨10.1007/978-3-319-91764-1_1⟩
- Accès au bibtex
-
2017
Journal articles
- titre
- A Bigraphical Model for Specifying Cloud-Based Elastic Systems and Their Behaviour
- auteur
- Hamza Sahli, Nabil Hameurlain, Faiza Belala
- article
- International Journal of Parallel, Emergent and Distributed Systems, 2017, 32 (6), pp.593-616. ⟨10.1080/17445760.2016.1188927⟩
- Accès au bibtex
-
Conference papers
- titre
- World Wide Modeling Made Easy - A Simple, Lightweight Model Server
- auteur
- Olivier Le Goaer, Eric Cariou, Franck Barbier
- article
- MODELSWARD 2017: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.269-276, ⟨10.5220/0006110802690276⟩
- Accès au texte intégral et bibtex
-
2016
Conference papers
- titre
- A Theoretical Approach for Modelling Cloud Services Composition
- auteur
- Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka
- article
- 2016 International Conference on Advanced Aspects of Software Engineering, ICAASE 2016, Constantine, Algeria, October 29-30, 2016, Oct 2016, Constantine, Algeria. pp.1-8, ⟨10.1109/ICAASE.2016.7843858⟩
- Accès au bibtex
-
- titre
- On the Executable Nature of Models
- auteur
- Eric Cariou, Olivier Le Goaer, Franck Barbier
- article
- Proceedings of the 2nd International Workshop on Executable Modeling Co-Located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016, Oct 2016, Saint-Malo, France. pp.44-46
- Accès au bibtex
-
- titre
- On the Executable Nature of Models
- auteur
- Eric Cariou, Olivier Le Goaer, Franck Barbier
- article
- 2nd International Workshop on Executable Modeling Co-Located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Oct 2016, Saint-Malo, France
- Accès au bibtex
-
Book sections
- titre
- Android Executable Modeling: Beyond Android Programming
- auteur
- Olivier Le Goaer, Franck Barbier, Eric Cariou
- article
- Modern Software Engineering Methodologies for Mobile and Cloud Environments, IGI Global, pp.269-283, 2016, 9781466699175 (ISBN); 1466699167 (ISBN); 9781466699168 (ISBN). ⟨10.4018/978-1-4666-9916-8.ch014⟩
- Accès au bibtex
-
2015
Journal articles
- titre
- Software Adaptation: Classification and a Case Study with State Chart XML
- auteur
- Franck Barbier, Eric Cariou, Olivier Le Goaer, Samson Pierre
- article
- IEEE Software, 2015, 32 (5), pp.68-76. ⟨10.1109/MS.2014.130⟩
- Accès au bibtex
-
Conference papers
- titre
- Energized State Charts with PauWare
- auteur
- Olivier Le Goaer, Eric Cariou, Franck Barbier
- article
- 2nd Workshop on Engineering Interactive Systems with SCXML at EICS 2015, Jun 2015, Duisburg, Germany
- Accès au bibtex
-
- titre
- Comprendre La Nature Exécutable Des Modèles
- auteur
- Olivier Le Goaer, Eric Cariou, Franck Barbier
- article
- 4ème Conférence En IngénieriE Du Logiciel (CIEL 2015), 2015, Bordeaux, France
- Accès au bibtex
-
2014
Journal articles
- titre
- A Compositional Framework to the Specification of Service Protocols Controllability and Substitutability
- auteur
- Nabil Hameurlain
- article
- International Journal of Computer Mathematics, 2014, pp.1137-1155. ⟨10.1080/00207160.2013.827177⟩
- Accès au bibtex
-
Conference papers
- titre
- Android Executable Modeling: Beyond Android Programming
- auteur
- Olivier Le Goaer, Franck Barbier, Eric Cariou, Samson Pierre
- article
- International Workshop on Mobile Applications (MobiApps 2014) at the 11th International Conference on Mobile Web Information Systems (MobiWIS 2014), Aug 2014, Barcelone, Spain
- Accès au bibtex
-
- titre
- A Family-based Framework for i-DSML Adaptation
- auteur
- Samson Pierre, Eric Cariou, Olivier Le Goaer, Franck Barbier
- article
- 9th European Conference on Modelling Foundations and Applications (ECMFA 2014), Jul 2014, York, United Kingdom. pp.164--179
- Accès au bibtex
-
- titre
- Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur
- auteur
- Fernando Wanderley, Nicolas Belloir, Jean-Michel Bruel, Nabil Hameurlain, João Araújo
- article
- Inforsid 2014, May 2014, Lyon, France. pp.113-128
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Évolution et réutilisation : les styles d’évolution
- auteur
- Olivier Le Goaer, Dalila Tamzalit, Mourad Oussalah, Abdelhak-Djamel Seriai
- article
- Évolution et maintenance des systèmes logiciels, QUATRIÈME PARTIE. CONTRÔLER ET ASSISTER L’ÉVOLUTION : CHOIX DES TECHNOLOGIES ET DES MÉTHODES (Chapitre 11), 2014, Traité IC2, série Informatique et Systèmes d'Information, 9782746245549
- Accès au bibtex
-
2013
Journal articles
- titre
- Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ?
- auteur
- Annie Authosserre-Cavarero, Frédéric Bertrand, Mireille Fornarino, Philippe Collet, Hubert Dubois, Stéphane Ducasse, Sophie Dupuy-Chessa, Catherine Faron Zucker, Cyril Faucher, Jean-Yves Lafaye, Philippe Lahire, Olivier Le Goaer, Johan Montagnat, Anne-Marie Déry-Pinna
- article
- Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Characterization of Adaptable Interpreted-DSML
- auteur
- Eric Cariou, Olivier Le Goaer, Franck Barbier, Samson Pierre
- article
- Modelling Foundations and Applications - 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings, Jul 2013, Montpellier, France. pp.37--53, ⟨10.1007/978-3-642-39013-5_4⟩
- Accès au bibtex
-
- titre
- Yet Another DSL for Cross-Platforms Mobile Development
- auteur
- Olivier Le Goaer, Sacha Waltham
- article
- Proceedings of the First Workshop on the Globalization of Domain Specific Languages, GlobalDSL@ECOOP 2013, Montpellier, France, July 1, 2013, Jul 2013, Montpellier, France. pp.28-33, ⟨10.1145/2489812.2489819⟩
- Accès au bibtex
-
Book sections
- titre
- Adaptive Software based on Correct-by-Construction Metamodels
- auteur
- Franck Barbier, Pierre Castéran, Eric Cariou, Olivier Le Goaer
- article
- V. Garcia Diaz, J.M. Cueva Lovelle, B. Cristina Pelayo Gracia-Bustelo, O. Sanjuan Martinez. Progressions and Innovations in Model-Driven Software Engineering, IGI Global, pp.308-325, 2013, Advances in Systems Analysis, Software Engineering, and High Performance Computing (ASASEHPC)
- Accès au bibtex
-
2012
Conference papers
- titre
- Controllability Preservation and Behavioural Refinement for Service Protocols
- auteur
- Nabil Hameurlain
- article
- Services Computing Conference (APSCC), 2012 IEEE Asia-Pacific, Dec 2012, Guilin, China. pp.203-210
- Accès au bibtex
-
- titre
- Model Execution Adaptation?
- auteur
- Eric Cariou, Franck Barbier, Olivier Le Goaer
- article
- Proceedings of the 7th Workshop on Models@run.Time, Innsbruck, Austria, October 02, 2012, Oct 2012, Innsbruck, Austria. pp.60-65, ⟨10.1145/2422518.2422528⟩
- Accès au bibtex
-
- titre
- Bridging KDM and ASTM for Model-Driven Software Modernization
- auteur
- Gaëtan Deltombe, Olivier Le Goaer, Franck Barbier
- article
- Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, Jul 2012, Redwood City, United States. pp.517--524
- Accès au bibtex
-
- titre
- Interopérabilité des systèmes d'information : approches dirigées par les modèles
- auteur
- Annie Authosserre-Cavarero, Frederic Bertrand, Mireille Blay- Fornarino, Philippe Collet, Hubert Dubois, Stéphane Ducasse, Sophie Dupuy-Chessa, Catherine Faron Zucker, Cyril Faucher, Jean-Yves Lafaye, Philippe Lahire, Olivier Le Goaer, Johan Montagnat, Anne-Marie Déry-Pinna
- article
- Inforsid 2012, May 2012, Montpellier, France. pp.11-30
- Accès au texte intégral et bibtex
-
2010
Conference papers
- titre
- Evolution Styles to Capitalize Evolution Expertise within Software Architectures
- auteur
- Olivier Le Goaer, Dalila Tamzalit, Mourad Oussalah
- article
- SEKE 2010, Jul 2010, San-Francisco, United States
- Accès au bibtex
-
- titre
- Reusing Evolution Practices onto Object-Oriented Designs: an Experiment with Evolution Styles
- auteur
- Olivier Le Goaer, Mourad Oussalah, Dalila Tamzalit
- article
- SEDE 2010, Jun 2010, San-Francisco, United States
- Accès au bibtex
-
Book sections
- titre
- Evolution et réutilisation : les styles d'évolution
- auteur
- Olivier Le Goaer, Mourad Oussalah, Dalila Tamzalit
- article
- Evolution, Maintenance et Rénovation des Systèmes Logiciels, Hermes, 2010
- Accès au bibtex
-
2009
Conference papers
- titre
- MOCAS: A State-Based Component Model for Self-Adaptation
- auteur
- Cyril Ballagny, Nabil Hameurlain, Franck Barbier
- article
- Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2009, San Francisco, California, USA, September 14-18, 2009, Sep 2009, San Francisco, United States. pp.206-215, ⟨10.1109/SASO.2009.11⟩
- Accès au bibtex
-
- titre
- MOCAS: a state-Based components Model for Self-Adaptation
- auteur
- C. Ballagny, Nabil Hameurlain, Franck Barbier
- article
- Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2009, Sep 2009, California, United States. pp.206-215
- Accès au bibtex
-
- titre
- Compatibility and Conformance of Role-Based Interaction Components in MAS
- auteur
- Nabil Hameurlain
- article
- Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Jun 2009, Uppsala, Sweden. pp.579-588
- Accès au bibtex
-
Other publications
- titre
- Projet ZooM, rapport 3, spécifier les concepts et fonctionnalités de modélisation d'un système naval de Aker Yard
- auteur
- Mourad Oussalah, Olivier Le Goaer
- article
- 2009
- Accès au bibtex
-
- titre
- Projet ZooM, rapport 2, Typologie de styles: construction et évolution
- auteur
- Mourad Oussalah, Olivier Le Goaer
- article
- 2009
- Accès au bibtex
-
Theses
- titre
- Evolution styles within software architectures
- auteur
- Olivier Le Goaer
- article
- Génie logiciel [cs.SE]. Université de Nantes; Ecole Centrale de Nantes (ECN), 2009. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
2008
Journal articles
- titre
- Ambiguity and Structural Property of Basic Sequence Diagrams.
- auteur
- Nabil Hameurlain, Omar Tahir, Christophe Sibertin-Blanc
- article
- Innovations in Systems and Software Engineering, 2008, pp.517-524
- Accès au bibtex
-
Conference papers
- titre
- Dynamic Adaptive Software Components: the MOCAS Approach
- auteur
- C. Ballagny, Nabil Hameurlain, Franck Barbier
- article
- First International Workshop on Autonomous and Autonomic Software-Based Systems, Oct 2008, Cergy-Pontoise, France. pp.517-524
- Accès au bibtex
-
- titre
- Evolution Shelf: Reusing Evolution Expertise within Component-Based Software Architectures
- auteur
- Olivier Le Goaer, Dalila Tamzalit, Mourad Oussalah, Abdelhak-Djamel Seriai
- article
- COMPSAC: Computer Software and Applications Conference, Jul 2008, Turku, Finland. pp.311-318, ⟨10.1109/COMPSAC.2008.104⟩
- Accès au bibtex
-
- titre
- Evolution Shelf: Exploiting Evolution Styles within Software Architectures
- auteur
- Olivier Le Goaer, Mourad Oussalah, Dalila Tamzalit, Abdelhak-Djamel Seriai
- article
- SEKE 2008, Jul 2008, San Francisco, United States. pp.387-392
- Accès au bibtex
-
- titre
- Evolution styles to the rescue of architectural evolution knowledge
- auteur
- Olivier Le Goaer, Dalila Tamzalit, Mourad Oussalah, Abdelhak-Djamel Seriai
- article
- SHARK 2008, May 2008, Leipzig, Germany. pp.31-36
- Accès au bibtex
-
- titre
- Structural and behavioural composition aspects in component-basedd architectures
- auteur
- Olivier Le Goaer, Dalila Tamzalit, Mourad Oussalah
- article
- the first international conference on web and information technologies (ICTWIT'08), Sidi bel abbas, Algérie, May 2008, Sidi bel abbas, Algeria. pp.N.P
- Accès au bibtex
-
Other publications
- titre
- Projet ZooM, rapport 1, Architecture de réseaux de tuyauterie, cahier des charges
- auteur
- Mourad Oussalah, Olivier Le Goaer
- article
- 2008
- Accès au bibtex
-
2007
Conference papers
- titre
- Evolution styles: change patterns for Software Evolution
- auteur
- Olivier Le Goaer, Peter Ebraert
- article
- ERCIM 2007, Oct 2007, Paris, France. pp.252-261
- Accès au bibtex
-
- titre
- Evolution Styles in Practice
- auteur
- Olivier Le Goaer, Mourad Oussalah, Dalila Tamzalit, Abdelhak-Djamel Seriai
- article
- ENASE International Conference on Evaluation of Novel Approaches to Software Engineering, Jul 2007, Barcelona, Spain
- Accès au bibtex
-
- titre
- Evolution Styles in Practice - Refactoring Revisited As Evolution Style
- auteur
- Olivier Le Goaer, Mourad Oussalah, Dalila Tamzalit, Abdelhak-Djamel Seriai
- article
- ICSOFT 2007, Jul 2007, Barcelona, Spain, France. pp.138-143
- Accès au bibtex
-
- titre
- Endowing software components with autonomic capabilities based on modeling language executability
- auteur
- C. Ballagny, Nabil Hameurlain, Franck Barbier
- article
- 1st Workshop on Model-driven Software Adaptation, Jul 2007, Berlin, Germany. pp.55-60
- Accès au bibtex
-
- titre
- Integrating Aspects in the COSA Model
- auteur
- Abdelkrim Amirat, Adel Smeda, Olivier Le Goaer
- article
- ISPS 2007, May 2007, Alger, Algeria. pp.79-87
- Accès au bibtex
-
- titre
- Evolution dirigée par les styles
- auteur
- Olivier Le Goaer, Mourad Oussalah, Dalila Tamzalit, Abdelhak-Djamel Seriai
- article
- Atelier RIMEL (Rétro-Ingénierie, Maintenance et Evolution des Logiciels), Mar 2007, Toulouse, France
- Accès au bibtex
-
- titre
- Formalizing Context-Based Behavioural Compatibility and Substitubility for Role Components in MAS.
- auteur
- Nabil Hameurlain
- article
- 5th International Central and Eastern European Conference on Multi-Agent Systems, 2007, European Union. pp.153-162
- Accès au bibtex
-
- titre
- Flexible Behavioural Compatibility and Substitutability for Component Protocols. A Formal Specification.
- auteur
- Nabil Hameurlain
- article
- 5th IEEE International Conference on Software Engineering and Formal Methods., 2007, Londres, United Kingdom. pp.391-400
- Accès au bibtex
-
Preprints, Working Papers, ...
- titre
- An Optimistic Approach for the Specification of more Flexible Roles Behavioural Compatibility Relations in MAS
- auteur
- Nabil Hameurlain
- article
- 2007
- Accès au texte intégral et bibtex
-
2006
Conference papers
- titre
- A reuse-driven approach to update component-based software architectures
- auteur
- Abdelhak-Djamel Seriai, Mourad Oussalah, Dalila Tamzalit, Olivier Le Goaer
- article
- IRI 2006, Sep 2006, Waikoloa, Hawaii, United States. pp.313-318
- Accès au bibtex
-
- titre
- How to manage update needs within component-based software architectures
- auteur
- Olivier Le Goaer, Dalila Tamzalit, Mourad Oussalah, Abdelhak-Djamel Seriai
- article
- SEAA 2006 (Work In Progress Session), Aug 2006, Cavtat/Dubrovnik, Croatia. pp.8-10
- Accès au bibtex
-
- titre
- An argumentation-based framework for designing dialogue strategies
- auteur
- Leila Amgoud, Nabil Hameurlain
- article
- 17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Riva del Garda, Italy. pp.713--714
- Accès au texte intégral et bibtex
-
- titre
- Updating Styles Challenge Updating Needs within Component-based Software Architectures
- auteur
- Mourad Oussalah, Dalila Tamzalit, Olivier Le Goaer, Abdelhak-Djamel Seriai
- article
- SEKE 2006, Jul 2006, San Francisco, United States. pp.98-101
- Accès au bibtex
-
- titre
- Updating Software Architectures : A Style-Based Approach
- auteur
- Dalila Tamzalit, Mourad Oussalah, Olivier Le Goaer, Abdelhak-Djamel Seriai
- article
- Software Engineering Research and Practice 2006, Jun 2006, Las Vegas, Nevada, United States. pp.336-342
- Accès au bibtex
-
- titre
- An argumentation-based approach for dialogue move selection
- auteur
- Leila Amgoud, Nabil Hameurlain
- article
- 3rd International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), May 2006, Hakodate, Japan. pp.128--141, ⟨10.1007/978-3-540-75526-5_8⟩
- Accès au texte intégral et bibtex
-
- titre
- An Argumentation-Based Approach for Dialogue Move Selection
- auteur
- Leila Amgoud, Nabil Hameurlain
- article
- 3d International Workshopon Argumentation in Multi-Agent Systems (ArgMAS 2006), May 2006, Hakodate, Japan. pp.128--141, ⟨10.1007/978-3-540-75526-5_8⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formal Framework for Component Protocols Behavioural Compatibility
- auteur
- Nabil Hameurlain
- article
- 13th Asia Pacific Software Engineering Conference, 2006, India. pp.87-94
- Accès au bibtex
-
- titre
- An Argumentation-based Framework for Designing Dialogue Strategies
- auteur
- Leila Amgoud, Nabil Hameurlain
- article
- 17th European Conference on Artifical Intelligence (ECAI 2006), 2006, Riva del Garda, Italy. pp.713-714
- Accès au bibtex
-
- titre
- A Formal Model for Designing Dialogue Strategies
- auteur
- Leila Amgoud, Nabil Hameurlain
- article
- 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2006), 2006, Hakodate, Japan. pp.414-416, ⟨10.1145/1160633.1160706⟩
- Accès au bibtex
-
2005
Conference papers
- titre
- On compatibility and behavioural substitutability of component protocols
- auteur
- Nabil Hameurlain
- article
- 3rd IEEE International Conference on Software Engineering and Formal Methods, 2005, Germany. pp.394-403
- Accès au bibtex
-
- titre
- Formalizing Compatibility and Substitutability of Role-based Interactions Components in Multi-Agent Systems
- auteur
- Nabil Hameurlain
- article
- 4th International/Central and Eastern European Conference on Multi-Agent Systems, 2005, Budapest, Hungary. pp.153-162
- Accès au bibtex
-
- titre
- Specification and verification of components interaction protocols in multi-agent systems.
- auteur
- Nabil Hameurlain
- article
- 5th IEEE International Symposium and School on Advance Distributed Systems, 2005, Mexico. pp.;
- Accès au bibtex
-
- titre
- Spécification formelle des composants d'interaction à base de rôles : Compatibilité et substituabilité.
- auteur
- Nabil Hameurlain
- article
- In 3èmes Journées Francophones Modèles Formels de l'Interaction, 2005, France. pp.133-142
- Accès au bibtex
-
Other publications
- titre
- De l'adaptation des composants logiciels vers leur évolution
- auteur
- Olivier Le Goaer
- article
- 2005
- Accès au bibtex
-