Access content directly

Anne-Lise Courbis

Assistant Professor - IMT mines Ales, Fr. Euromov-DHM, Univ. Montpellier, IMT mines Ales, Fr.
51
Documents
Contact

Skills

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

Publications

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⟩
Journal articles hal-04140305v1
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
Allergy, 2021, pp.168-190. ⟨10.1111/all.14422⟩
Journal articles hal-02862364v1
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
Allergy, 2020, 75 (7), pp.1672-1688. ⟨10.1111/all.14204⟩
Journal articles hal-02462027v1

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
Clinical and Experimental Allergy, 2019, 49 (4), pp.442-460. ⟨10.1111/cea.13333⟩
Journal articles hal-02440649v1
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
Clinical and Translational Allergy, 2019, 9 (1), art. 44 - 15 p. ⟨10.1186/s13601-019-0279-2⟩
Journal articles hal-02373021v1
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
Clinical and Translational Allergy, 2019, 9 (16), 19 p. ⟨10.1186/s13601-019-0252-0⟩
Journal articles hal-02376184v1
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
Journal of Allergy and Clinical Immunology, 2019, 143 (3), pp.864-879. ⟨10.1016/j.jaci.2018.08.049⟩
Journal articles hal-02099400v1
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
Clinical and Experimental Allergy, 2018, 48 (12), pp.1640-1653. ⟨10.1111/cea.13230⟩
Journal articles hal-01940228v1
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
Allergy, 2018, Equipe III, 73 (1), pp.77--92. ⟨10.1111/all.13218⟩
Journal articles 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. Arnavielhe
Clinical and Experimental Allergy, 2017, 47 (12), pp.1526 - 1533. ⟨10.1111/cea.13025⟩
Journal articles hal-01753407v1
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⟩
Journal articles 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⟩
Journal articles hal-01940186v1
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
Journal articles 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
Journal articles hal-00178330v1

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

Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard
ASE '24: 39th IEEE/ACM International Conference on Automated Software Engineering, Oct 2024, Sacramento, United States. pp.857-869, ⟨10.1145/3691620.3695591⟩
Conference papers hal-04769924v1

Zero-shot Bilingual App Reviews Mining with Large Language Models

Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard
ICTAI 2023 - IEEE 35th International Conference on Tools with Artificial Intelligence, Nov 2023, Atlanta, United States. pp.898-904, ⟨10.1109/ICTAI59109.2023.00135⟩
Conference papers hal-04371019v1
Image document

Boosting GUI Prototyping with Diffusion Models

Jialiang Wei , Anne-Lise Courbis , Thomas Lambolais , Binbin Xu , Pierre Louis Bernard
RE@Next! - 31st IEEE International Requirements Engineering 2023 conference (Re'23), Sep 2023, Hannover, Germany. ⟨10.1109/RE57278.2023.00035⟩
Conference papers hal-04143178v1

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⟩
Conference papers hal-04289432v1
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⟩
Conference papers hal-03752660v1
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
APIA 2022 - 7e Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, Jun 2022, Saint-Étienne, France
Conference papers hal-03713514v1
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
Conference papers hal-04095205v1
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
Conference papers hal-02289373v1
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
Conference papers hal-02162094v1
Image document

Development and Verification of UML Architectures by Refinement and Extension Techniques

Thomas Lambolais , Anne-Lise Courbis
ERTS 2018, Jan 2018, Toulouse, France
Conference papers hal-02156501v1
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⟩
Conference papers hal-01563328v1
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
Conference papers hal-01926981v1
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⟩
Conference papers hal-01930462v1
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⟩
Conference papers hal-01563303v1
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⟩
Conference papers hal-01930465v1
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
Conference papers hal-00797470v1
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
Software Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p
Conference papers hal-00800998v1
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
Conference papers hal-00799564v1
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
Conference papers hal-00756230v1
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
Conference papers hal-00756092v1
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⟩
Conference papers hal-00756112v1
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
Conference papers hal-00497136v1
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
Conference papers hal-00797477v1
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
Conference papers 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
Conference papers 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
Conference papers hal-00354312v1
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
Conference papers 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⟩
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers 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⟩
Conference papers 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
Conference papers hal-00183321v1