Accéder directement au contenu

Anne-Lise Courbis

50
Documents

Présentation

**Maître Assistante IMT Mines Alès** **Euromov Digital Health in Motion** **Laboratoire CERIS** **6 avenue de Clavières - 30319 Alès Cedex - France** **Email : anne-lise.courbis@mines-ales.fr - Téléphone : +33 (0)4 34 24 62 63**

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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue hal-02462027v1
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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue hal-02099400v1

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

Modelling and Simulation of a catchment in order to evaluate water resources

Anne-Lise Courbis , Bernard Vayssade , Jean-François Didon-Lescot , Claude 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

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
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
Communication dans un congrès hal-04143178v1

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⟩
Communication dans un congrès hal-04371019v1
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
Communication dans un congrès hal-03713514v1
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-03752660v1
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-04095205v1
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-02162094v1
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-02289373v1
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-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⟩
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
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
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
Communication dans un congrès hal-00800998v1
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-00756230v1
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-00799564v1
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-00797470v1
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-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⟩
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
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
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-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