Anne-Lise Courbis Maître Assistante IMT mines Ales, Fr.Euromov-DHM, Univ. Montpellier, IMT mines Ales, Fr.

Publications

Article dans une revue (17)

On AI-Inspired User Interface Design Jialiang Wei,Anne-Lise Courbis,Thomas Lambolais,Gérard Dray,Walid Maalej IEEE Software, 2025, 42 (3), pp.50-58. ⟨10.1109/MS.2025.3536838⟩ Article dans une revue hal-05028675v1
Changes in physical activity, sedentary behaviors, and associated motivation after multidisciplinary rehabilitation program for chronic low back pain patients Matthieu Haas,Julie Boiché,Isabelle Tavares-Figuereido,Anne-Lise Courbis,Arnaud Dupeyron International Journal of Rehabilitation Research, 2025, 48 (2), pp.106-112. ⟨10.1097/MRR.0000000000000667⟩ Article dans une revue hal-05057970v1
GUing: A Mobile GUI Search Engine using a Vision-Language Model Jialiang Wei,Anne-Lise Courbis,Thomas Lambolais,Binbin Xu,Pierre Louis Bernardet al. ACM Transactions on Software Engineering and Methodology, 2024, 34 (4), ⟨10.1145/3702993⟩ Article dans une revue hal-04780267v1
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal Farid Arfi,Anne‐lise Courbis,Thomas Lambolais,François Bughin,Maurice Hayot IET Software, 2023, 17 (4), pp.582-599. ⟨10.1049/sfw2.12128⟩ Article dans une revue hal-04140305v1
ARIA digital anamorphosis: Digital transformation of health and care in airway diseases from research to practice Jean Bousquet,Josep M Antó,Claus Bachert,Tari Haahtela,Torsten Zuberbieret al. Allergy, 2021, pp.168-190. ⟨10.1111/all.14422⟩ Article dans une revue hal-02862364v1
Correlation between work impairment, scores of rhinitis severity and asthma using the MASK-air® App Annabelle Bédard,Josep M. Antó,João Almeida Fonseca,Sylvie Arnavielhe,Claus Bachertet al. Allergy, 2020, 75 (7), pp.1672-1688. ⟨10.1111/all.14204⟩ Article dans une revue hal-02462027v1
Allergic Rhinitis and its Impact on Asthma (ARIA) Phase 4 (2018): Change management in allergic rhinitis and asthma multimorbidity using mobile technology Jean Bousquet,Peter W. Hellings,Ioana Agache,Flore Amat,Isabella Annesi-Maesanoet al. Journal of Allergy and Clinical Immunology, 2019, 143 (3), pp.864-879. ⟨10.1016/j.jaci.2018.08.049⟩ Article dans une revue hal-02099400v1
Next-generation ARIA care pathways for rhinitis and asthma: a model for multimorbid chronic diseases J. Jean Bousquet,Holger J. Schünemann,Alkis Togias,Marina Erhola,Peter W. Hellingset al. Clinical and Translational Allergy, 2019, 9 (1), art. 44 - 15 p. ⟨10.1186/s13601-019-0279-2⟩ Article dans une revue hal-02373021v1
Guidance to 2018 good practice: ARIA digitally-enabled, integrated, person-centred care for rhinitis and asthma J. Bousquet,A. Bedbrook,W. Czarlewski,G. L Onorato,S. Arnavielheet al. Clinical and Translational Allergy, 2019, 9 (16), 19 p. ⟨10.1186/s13601-019-0252-0⟩ Article dans une revue hal-02376184v1
Adherence to treatment in allergic rhinitis using mobile technology. The MASK Study Luis Midão,Sinthia Bosnic‐anticevich,Rojin Rajabian‐soderlund,Sylvie Arnavielhe,Isabella Annesi‐maesanoet al. Clinical and Experimental Allergy, 2019, 49 (4), pp.442-460. ⟨10.1111/cea.13333⟩ Article dans une revue hal-02440649v1
Electronic Clinical Decision Support System for allergic rhinitis management: MASK e-CDSS Anne-Lise Courbis,Ruth Brigid Murray,Sylvie Arnavielhe,Davide Caimmi,Anna Bedbrooket al. Clinical and Experimental Allergy, 2018, 48 (12), pp.1640-1653. ⟨10.1111/cea.13230⟩ Article dans une revue hal-01940228v1
Transfer of innovation on allergic rhinitis and asthma multimorbidity in the elderly (MACVIA-ARIA) - EIP on AHA Twinning Reference Site (GARD research demonstration project) J. Bousquet,I. Agache,M. R. Aliberti,R. Angles,Isabella Annesi-Maesanoet al. Allergy, 2018, Equipe III, 73 (1), pp.77--92. ⟨10.1111/all.13218⟩ Article dans une revue hal-01833325v1
Validation of the MASK-rhinitis visual analogue scale on smartphone screens to assess allergic rhinitis control D. Caimmi,N. Baiz,L.K. Tanno,P. Demoly,S. Arnavielheet al. Clinical and Experimental Allergy, 2017, 47 (12), pp.1526 - 1533. ⟨10.1111/cea.13025⟩ Article dans une revue hal-01753407v1
IDF: A framework for the incremental development and conformance verification of UML active primitive components Thomas Lambolais,Anne-Lise Courbis,Hong-Viet Luong,Christian Percebois Journal of Systems and Software, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩ Article dans une revue hal-01517375v1
Water balance simulation for resource evaluation at the catchment scale: application to the Nema (Sudano-Sahelian zone, Senegal) Idrissou Mouhamed,Fatou Diop Ngom,Raymond Malou,Bernard Vayssade,Anne-Lise Courbis Hydrological Sciences Journal, 2015, ⟨10.1080/02626667.2014.932055⟩ Article dans une revue hal-01940186v1
Modelling and Simulation of a catchment in order to evaluate water resources Anne-Lise Courbis,Bernard Vayssade,Jean-François Didon-Lescot,C. Martin Global Nest, 2008, 10 (3), pp.301-309 Article dans une revue hal-00797498v1
Behavioral Testing of Digital Circuits Jean-François Santucci,Anne-Lise Courbis,Norbert Giambiasi Journal of Microelectronic System Integration, 1993, 1 (1), pp.55-78 Article dans une revue hal-00178330v1

Communication dans un congrès (32)

Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach Jialiang Wei,Anne-Lise Courbis,Thomas Lambolais,Binbin Xu,Pierre Louis Bernardet al. ASE '24: 39th IEEE/ACM International Conference on Automated Software Engineering, Oct 2024, Sacramento, United States. pp.857-869, ⟨10.1145/3691620.3695591⟩ Communication dans un congrès hal-04769924v1
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback Anne-Lise Courbis,Farid Arfi,Thomas Lambolais,François Bughin,Maurice Hayot ISSREW 2023 - 34th IEEE International Symposium on Software Reliability Engineering Workshops, Oct 2023, Florence, Italy. pp.75-80, ⟨10.1109/ISSREW60843.2023.00050⟩ Communication dans un congrès hal-04289432v1
Zero-shot Bilingual App Reviews Mining with Large Language Models Jialiang Wei,Anne-Lise Courbis,Thomas Lambolais,Binbin Xu,Pierre Louis Bernardet al. ICTAI 2023 - IEEE 35th International Conference on Tools with Artificial Intelligence, Nov 2023, Atlanta, United States. pp.898-904, ⟨10.1109/ICTAI59109.2023.00135⟩ Communication dans un congrès hal-04371019v1
Property Expression and Verification in an Incremental Model Development Framework: a Case Study Thomas Lambolais,Anne-Lise Courbis ERTS 2022 - 11th European Congress on Embedded Real Time Systems, Jun 2022, Toulouse, France Communication dans un congrès hal-04095205v1
Boosting GUI Prototyping with Diffusion Models Jialiang Wei,Anne-Lise Courbis,Thomas Lambolais,Binbin Xu,Pierre Louis Bernardet al. RE@Next! - 31st IEEE International Requirements Engineering 2023 conference (Re'23), Sep 2023, Hannover, Germany. ⟨10.1109/RE57278.2023.00035⟩ Communication dans un congrès hal-04143178v1
Vers une ingénierie des exigences dirigée par les données : analyse automatique d’avis d’utilisateurs Jialiang Wei,Anne-Lise Courbis,Thomas Lambolais,Binbin Xu,Pierre Louis Bernardet al. APIA 2022 - 7e Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, Jun 2022, Saint-Étienne, France Communication dans un congrès hal-03713514v1
Towards Boosting Requirements Engineering of a Health Monitoring App by Analysing Similar Apps: A Vision Paper Jialiang Wei,Anne-Lise Courbis,Thomas Lambolais,Pierre Louis Bernard,Gérard Dray IEEE REW 2022 - 30th International Requirements Engineering Conference Workshops, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00020⟩ Communication dans un congrès hal-03752660v1
Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel : problématique et revue de littérature Marion Kissous,Anne-Lise Courbis,Thomas Lambolais,Gérard Dray,Sophie Martin AFADL - Approches Formelles dans l’Assistance au Développement de Logiciels, GDR-GPL (Groupement de Recherche Génie de la Programmation et du Logiciel - INS2I CNRS), Jun 2019, Toulouse, France Communication dans un congrès hal-02162094v1
A Model Driven Architecture Framework for Robot Design and Automatic Code Generation Anne-Lise Courbis,Kahune Luu,Benjamin Grondin,Kelly Roussel 15th China-Europe International Symposium on Software Engineering Education, May 2019, Lisbon - Caparica, Portugal Communication dans un congrès hal-02289373v1
Development and Verification of UML Architectures by Refinement and Extension Techniques Thomas Lambolais,Anne-Lise Courbis ERTS 2018, Jan 2018, Toulouse, France Communication dans un congrès hal-02156501v1
Safe Incremental Development of UML Architectures Anne-Lise Courbis,Thomas Lambolais,Nguyen Thanh-Hung 29th international conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩ Communication dans un congrès hal-01563328v1
Safe Incremental Design of UML Architectures Anne-Lise Courbis,Thomas Lambolais,Thanh-Hung Nguyen 29th International Conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburg, United States Communication dans un congrès hal-01926981v1
Requirements Authoring and Verification for SMEs’ Information Systems Engineering Nawel Amokrane,Vincent Chapurlat,Anne-Lise Courbis,Thomas Lambolais,Mossine Rahhou 15th IFAC Symposium on Information Control in Manufacturing (INCOM 2015), IFAC, May 2015, Ottawa, Canada. ⟨10.1016/j.ifacol.2015.06.421⟩ Communication dans un congrès hal-01930462v1
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction Thomas Lambolais,Anne-Lise Courbis,Hong-Viet Luong,Thanh-Liem Phan Complex Systems Design & Management (CSD&M) , Nov 2015, Paris, France. pp.69 - 81, ⟨10.1007/978-3-319-26109-6_5⟩ Communication dans un congrès hal-01563303v1
Modeling frameworks, methods and languages for computerizing Small and Medium-sized Enterprises: review and proposal Nawel Amokrane,Vincent Chapurlat,Anne-Lise Courbis,Thomas Lambolais,Mossine Rahhou International conference on Interoperability for Enterprise Software & Applications (i-ESA 2014), 2014, Albi, France. ⟨10.1007/978-3-319-04948-9_7⟩ Communication dans un congrès hal-01930465v1
Aide au développement incrémental et à la vérification d'architectures logicielles Than-Liem Phan,Thomas Lambolais,Anne-Lise Courbis Lambda Mu, 2012, France. Communication 8-B2 7p Communication dans un congrès hal-00797470v1
A formal support for incremental behavior specification in agile development Anne-Lise Courbis,Thomas Lambolais,Hong-Viet Luong,Thanh-Liem Phan,Christelle Urtadoet al. Software Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p Communication dans un congrès hal-00800998v1
Modelling and Simulation of the Pumping in a Former Mine Using Sequential Automata; Coal Mine of Rochebelle - St-Martin de Valgalgues, Cévennes, France Stéphanie Gairoard,Anne-Lise Courbis,Bernard Vayssade 10th International Mine Water Association Congress, 2012, Carlsbad, Czech Republic. 9 p Communication dans un congrès hal-00799564v1
IDCM : un outil d'analyse de composants et d'architectures dédié à la construction incrémentale Hong-Viet Luong,Anne-Lise Courbis,Thomas Lambolais,Thanh-Liem Phan 11èmes Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.50-53 Communication dans un congrès hal-00756230v1
Analyse de l'interopérabilité et de la conformité d'architectures logicielles Anne-Lise Courbis,Thomas Lambolais,Hong-Viet Luong,Than-Liem Phan 5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France. pp.49-58 Communication dans un congrès hal-00756092v1
Interoperability Analysis of Systems Thomas Lambolais,Anne-Lise Courbis,Hong-Viet Luong,Thanh-Liem Phan 18th World Congress of the International Federation of Automatic Control (IFAC 2011), Aug 2011, Milan, Italy. pp.7879-7884, ⟨10.3182/20110828-6-IT-1002.03523⟩ Communication dans un congrès hal-00756112v1
Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états Thomas Lambolais,Anne-Lise Courbis,Hong-Viet Luong Approches Formelles dans l'Assistance au Développement de Logiciels, Feb 2009, Toulouse, France Communication dans un congrès hal-00497136v1
Implementation of Conformance relation for incremental development of behavioural models Hong-Viet Luong,Thomas Lambolais,Anne-Lise Courbis 11th International Conference on Model Driven Engineering Languages & Systems (MODELS), 2008, Toulouse, France. pp.356-370 Communication dans un congrès hal-00757192v1
Simulation as a decision support for evaluating effects of anthropogenic activities on water resources Anne-Lise Courbis,Bernard Vayssade,Claude Martin,Jean-François Didon-Lescot International conference on Environmental science and technology, Sep 2007, Cos Island, Greece. pp.267-274 Communication dans un congrès hal-00354309v1
Méthodologie de représentation de bassins versants sous SIG en vue d'établir leur bilan hydrique par simulation Anne-Lise Courbis,Bernard Vayssade,Claude Martin,Jean-François Didon-Lescot SIG'2004, Sep 2004, Paris, France Communication dans un congrès hal-00354312v1
Bilan hydrique de bassins versants modélisés par machines séquentielles Anne-Lise Courbis,Bernard Vayssade STIC & Environnement, Jun 2003, Rouen, France. pp.131-138 Communication dans un congrès hal-00354299v1
Pseudo-random behavioral ATPG Anne-Lise Courbis,Jean-François Santucci Fifth Great Lakes Symposium on VLSI (GLSVLSI'95), 1995, Buffalo, United States. pp. 192-195, ⟨10.1109/GLSV.1995.516051⟩ Communication dans un congrès hal-00177987v1
SPECIAL : a Specification Language for Generation of VHDL Behavioral Descriptions Norbert Valverde,Anne-Lise Courbis,Jean-François Santucci,Andrzej Rucinski 3rd Annual Atlantic Test Workshop - ATW '94, 1994, Nimes, France. pp. a-1-a-4 Communication dans un congrès hal-00184933v1
SPECIAL : a Specification Language for Generation of VHDL Behavioral descriptions Norbert Valverde,Anne-Lise Courbis,Jean-François Santucci,Andrzej Rucinski Proceedings of the Third Annual Test Workshop 1994, 1994, Lowell, United States Communication dans un congrès hal-00183334v1
Speed up of behavioral A.T.P.G. using a heuristic criterion Jean-François Santucci,Anne-Lise Courbis,Norbert Giambiasi Annual ACM IEEE Design Automation Conference 1993, 1993, New Orleans, United States. pp. 92 - 96 Communication dans un congrès hal-00177981v1
Automatic behavioral test pattern generation for digital circuits Anne-Lise Courbis,Jean-François Santucci,Norbert Giambiasi First Asian Test Symposium, 1992. (ATS '92), 1992, Hiroshima, Japan. pp. 112-117, ⟨10.1109/ATS.1992.224447⟩ Communication dans un congrès hal-00178663v1
Test pattern generation for behavioral descriptions in VHDL Norbert Giambiasi,Jean-François Santucci,Anne-Lise Courbis,V. Pla Euro-VHDL 91 Conference, 1991, Stockholm, Sweden. pp.228-235 Communication dans un congrès hal-00183321v1

Autre publication scientifique (4)

Landscape-use optimisation with regards to the groundwater resources protection in mountain hardrock areas, LOWRGREP Bernard Vayssade,Zuzana Boukalova,Anne-Lise Courbis,Jean-François Didon-Lescot,Zbynek Hrkalet al. 2008, 37 p Autre publication scientifique hal-00801283v1
Construction incrémentale vs. construction par raffinement de modèles comportementaux UML: sémantique et vérification des relations de spécialisation et d'implantation Thomas Lambolais,Anne-Lise Courbis,Hong-Viet Luong 2008 Autre publication scientifique hal-00498019v1
Implementation of extension and reduction relations for incremental development of behavioural models Hong-Viet Luong,Thomas Lambolais,Anne-Lise Courbis 2008 Autre publication scientifique hal-00497144v1
Semantics and implementation of a refinement relation for behavioural models Hong-Viet Luong,Thomas Lambolais,Anne-Lise Courbis 2008 Autre publication scientifique hal-00498012v1