Anne-Lise Courbis

Maître Assistante IMT mines Ales, Fr. Euromov-DHM, Univ. Montpellier, IMT mines Ales, Fr.
54
Documents
Contact

Compétences

Reactive System Modelling and Formal Verification Requirements Modelling Generative AI System Architecting Discrete Event Modeling and Simulation

Publications

Publications

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-05028675 v1

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-05057970 v1

GUing: A Mobile GUI Search Engine using a Vision-Language Model

Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard et al.
ACM Transactions on Software Engineering and Methodology, 2024, 34 (4), ⟨10.1145/3702993⟩
Article dans une revue hal-04780267 v1
Image document

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-04140305 v1
Image document

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 Zuberbier et al.
Allergy, 2021, pp.168-190. ⟨10.1111/all.14422⟩
Article dans une revue hal-02862364 v1
Image document

Correlation between work impairment, scores of rhinitis severity and asthma using the MASK-air® App

Annabelle Bédard , Josep M. Antó , Joao A. Fonseca , Sylvie Arnavielhe , Claus Bachert et al.
Allergy, 2020, 75 (7), pp.1672-1688. ⟨10.1111/all.14204⟩
Article dans une revue hal-02462027 v1
Image document

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. Hellings et al.
Clinical and Translational Allergy, 2019, 9 (1), art. 44 - 15 p. ⟨10.1186/s13601-019-0279-2⟩
Article dans une revue hal-02373021 v1
Image document

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-Maesano et 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-02099400 v1
Image document

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. Arnavielhe et al.
Clinical and Translational Allergy, 2019, 9 (16), 19 p. ⟨10.1186/s13601-019-0252-0⟩
Article dans une revue hal-02376184 v1

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‐maesano et al.
Clinical and Experimental Allergy, 2019, 49 (4), pp.442-460. ⟨10.1111/cea.13333⟩
Article dans une revue hal-02440649 v1
Image document

Electronic Clinical Decision Support System for allergic rhinitis management: MASK e-CDSS

Anne-Lise Courbis , Ruth Brigid Murray , Sylvie Arnavielhe , Davide Caimmi , Anna Bedbrook et al.
Clinical and Experimental Allergy, 2018, 48 (12), pp.1640-1653. ⟨10.1111/cea.13230⟩
Article dans une revue hal-01940228 v1
Image document

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-Maesano et al.
Allergy, 2018, Equipe III, 73 (1), pp.77--92. ⟨10.1111/all.13218⟩
Article dans une revue hal-01833325 v1

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. Arnavielhe et al.
Clinical and Experimental Allergy, 2017, 47 (12), pp.1526 - 1533. ⟨10.1111/cea.13025⟩
Article dans une revue hal-01753407 v1
Image document

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-01517375 v1

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-01940186 v1
Image document

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-00797498 v1

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-00178330 v1

Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach

Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard et 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-04769924 v1
Image document

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-04289432 v1
Image document

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-04095205 v1
Image document

Boosting GUI Prototyping with Diffusion Models

Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard et 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-04143178 v1

Zero-shot Bilingual App Reviews Mining with Large Language Models

Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard et 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-04371019 v1
Image document

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-03752660 v1
Image document

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 Bernard et 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-03713514 v1
Image document

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-02162094 v1
Image document

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-02289373 v1
Image document

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-02156501 v1
Image document

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-01563328 v1
Image document

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-01926981 v1
Image document

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-01930462 v1
Image document

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-01563303 v1
Image document

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-01930465 v1
Image document

A formal support for incremental behavior specification in agile development

Anne-Lise Courbis , Thomas Lambolais , Hong-Viet Luong , Thanh-Liem Phan , Christelle Urtado et al.
Software Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p
Communication dans un congrès hal-00800998 v1
Image document

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-00797470 v1
Image document

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-00799564 v1
Image document

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-00756230 v1
Image document

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-00756092 v1
Image document

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-00756112 v1
Image document

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-00497136 v1
Image document

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
AFADL, 2009, France. 14 p
Communication dans un congrès hal-00797477 v1
Image document

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-00757192 v1

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-00354309 v1

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-00354312 v1
Image document

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-00354299 v1

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-00177987 v1

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-00184933 v1

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-00183334 v1

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-00177981 v1

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-00178663 v1

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-00183321 v1