Skip to Main content

Keywords

Co-authors

Number of documents

43

Anne-Lise COURBIS


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


Journal articles13 documents

  • Jean Bousquet, Josep Antó, Claus Bachert, Tari Haahtela, Torsten Zuberbier, et al.. ARIA digital anamorphosis: Digital transformation of health and care in airway diseases from research to practice: Review. Allergy, Wiley, 2021, pp.168-190. ⟨10.1111/all.14422⟩. ⟨hal-02862364⟩
  • Annabelle Bédard, Josep Antó, Joao Fonseca, Sylvie Arnavielhe, Claus Bachert, et al.. Correlation between work impairment, scores of rhinitis severity and asthma using the MASK-air® App. Allergy, Wiley, 2020, 75 (7), pp.1672-1688. ⟨10.1111/all.14204⟩. ⟨hal-02462027⟩
  • Jean Bousquet, Peter Hellings, Ioana Agache, Flore Amat, Isabella Annesi-Maesano, et al.. Allergic Rhinitis and its Impact on Asthma (ARIA) Phase 4 (2018): Change management in allergic rhinitis and asthma multimorbidity using mobile technology. Journal of Allergy and Clinical Immunology, Elsevier, 2019, 143 (3), pp.864-879. ⟨10.1016/j.jaci.2018.08.049⟩. ⟨hal-02099400⟩
  • Luis Midão, Sinthia Bosnic‐anticevich, Rojin Rajabian‐soderlund, Sylvie Arnavielhe, Isabella Annesi‐maesano, et al.. Adherence to treatment in allergic rhinitis using mobile technology. The MASK Study. Clinical and Experimental Allergy, Wiley, 2019, 49 (4), pp.442-460. ⟨10.1111/cea.13333⟩. ⟨hal-02440649⟩
  • J. Bousquet, A. Bedbrook, W. Czarlewski, G. Onorato, S. Arnavielhe, et al.. Guidance to 2018 good practice: ARIA digitally-enabled, integrated, person-centred care for rhinitis and asthma. Clinical and Translational Allergy, BioMed Central, 2019, 9 (16), 19 p. ⟨10.1186/s13601-019-0252-0⟩. ⟨hal-02376184⟩
  • J. Jean Bousquet, Holger J. Schünemann, Alkis Togias, Marina Erhola, Peter W. Hellings, et al.. Next-generation ARIA care pathways for rhinitis and asthma: a model for multimorbid chronic diseases: Review. Clinical and Translational Allergy, BioMed Central, 2019, 9 (1), art. 44 - 15 p. ⟨10.1186/s13601-019-0279-2⟩. ⟨hal-02373021⟩
  • Anne-Lise Courbis, Ruth Brigid Murray, Sylvie Arnavielhe, Davide Caimmi, Anna Bedbrook, et al.. Electronic Clinical Decision Support System for allergic rhinitis management: MASK e-CDSS. Clinical and Experimental Allergy, Wiley, 2018, 48 (12), pp.1640-1653. ⟨10.1111/cea.13230⟩. ⟨hal-01940228⟩
  • J. Bousquet, I. Agache, M. R. Aliberti, R. Angles, Isabella Annesi-Maesano, et al.. Transfer of innovation on allergic rhinitis and asthma multimorbidity in the elderly (MACVIA-ARIA) - EIP on AHA Twinning Reference Site (GARD research demonstration project). Allergy, Wiley, 2018, Equipe III, 73 (1), pp.77--92. ⟨10.1111/all.13218⟩. ⟨hal-01833325⟩
  • D. Caimmi, N. Baiz, L.K. Tanno, P. Demoly, S. Arnavielhe, et al.. Validation of the MASK-rhinitis visual analogue scale on smartphone screens to assess allergic rhinitis control. Clinical and Experimental Allergy, Wiley, 2017, 47 (12), pp.1526 - 1533. ⟨10.1111/cea.13025⟩. ⟨hal-01753407⟩
  • Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois. IDF: A framework for the incremental development and conformance verification of UML active primitive components. Journal of Systems and Software, Elsevier, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩. ⟨hal-01517375⟩
  • Idrissou Mouhamed, Fatou Diop Ngom, Raymond Malou, Bernard Vayssade, Anne-Lise Courbis. Water balance simulation for resource evaluation at the catchment scale: application to the Nema (Sudano-Sahelian zone, Senegal). Hydrological Sciences Journal, Taylor & Francis, 2015, ⟨10.1080/02626667.2014.932055⟩. ⟨hal-01940186⟩
  • Anne-Lise Courbis, Bernard Vayssade, Jean-François Didon-Lecot, Claude Martin. Modelling and Simulation of a catchment in order to evaluate water resources. Global Nest, 2008, 10 (3), pp.301-309. ⟨hal-00797498⟩
  • Jean-François Santucci, Anne-Lise Courbis, Norbert Giambiasi. Behavioral Testing of Digital Circuits. Journal of Microelectronic System Integration, 1993, 1 (1), pp.55-78. ⟨hal-00178330⟩

Conference papers26 documents

  • Marion Kissous, Anne-Lise Courbis, Thomas Lambolais, Gérard Dray, Sophie Martin. Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel : problématique et revue de littérature. 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. ⟨hal-02162094⟩
  • Anne-Lise Courbis, Kahune Luu, Benjamin Grondin, Kelly Roussel. A Model Driven Architecture Framework for Robot Design and Automatic Code Generation. 15th China-Europe International Symposium on Software Engineering Education, May 2019, Lisbon - Caparica, Portugal. ⟨hal-02289373⟩
  • Thomas Lambolais, Anne-Lise Courbis. Development and Verification of UML Architectures by Refinement and Extension Techniques. ERTS 2018, Jan 2018, Toulouse, France. ⟨hal-02156501⟩
  • Anne-Lise Courbis, Thomas Lambolais, Nguyen Thanh-Hung. Safe Incremental Development of UML Architectures. 29th international conference on Software Engineering and Knowledge Engineering , Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩. ⟨hal-01563328⟩
  • Anne-Lise Courbis, Thomas Lambolais, Thanh-Hung Nguyen. Safe Incremental Design of UML Architectures. 29th International Conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburg, United States. ⟨hal-01926981⟩
  • Nawel Amokrane, Vincent Chapurlat, Anne-Lise Courbis, Thomas Lambolais, Mossine Rahhou. Requirements Authoring and Verification for SMEs’ Information Systems Engineering. 15th IFAC Symposium on Information Control in Manufacturing (INCOM 2015), IFAC, May 2015, Ottawa, Canada. ⟨hal-01930462⟩
  • Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan. Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. Complex Systems Design & Management (CSD&M) , Nov 2015, Paris, France. pp.69 - 81, ⟨10.1007/978-3-319-26109-6_5⟩. ⟨hal-01563303⟩
  • Nawel Amokrane, Vincent Chapurlat, Anne-Lise Courbis, Thomas Lambolais, Mossine Rahhou. Modeling frameworks, methods and languages for computerizing Small and Medium-sized Enterprises: review and proposal. International conference on Interoperability for Enterprise Software & Applications (i-ESA 2014), 2014, Albi, France. ⟨hal-01930465⟩
  • Hong-Viet Luong, Anne-Lise Courbis, Thomas Lambolais, Thanh-Liem Phan. IDCM : un outil d'analyse de composants et d'architectures dédié à la construction incrémentale. 11èmes Journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.50-53. ⟨hal-00756230⟩
  • Than-Liem Phan, Thomas Lambolais, Anne-Lise Courbis. Aide au développement incrémental et à la vérification d'architectures logicielles. Lambda Mu, 2012, France. Communication 8-B2 7p. ⟨hal-00797470⟩
  • Stéphanie Gairoard, Anne-Lise Courbis, Bernard Vayssade. Modelling and Simulation of the Pumping in a Former Mine Using Sequential Automata; Coal Mine of Rochebelle - St-Martin de Valgalgues, Cévennes, France. 10th International Mine Water Association Congress, 2012, Carlsbad, Czech Republic. 9 p. ⟨hal-00799564⟩
  • Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, et al.. A formal support for incremental behavior specification in agile development. Software Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p. ⟨hal-00800998⟩
  • Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan. Interoperability Analysis of Systems. 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⟩. ⟨hal-00756112⟩
  • Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Than-Liem Phan. Analyse de l'interopérabilité et de la conformité d'architectures logicielles. 5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France. pp.49-58. ⟨hal-00756092⟩
  • Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong. Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états. Approches Formelles dans l'Assistance au Développement de Logiciels, Feb 2009, Toulouse, France. ⟨hal-00497136⟩
  • Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong. Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états. AFADL, 2009, France. 14 p. ⟨hal-00797477⟩
  • Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis. Implementation of Conformance relation for incremental development of behavioural models. 11th International Conference on Model Driven Engineering Languages & Systems (MODELS), 2008, Toulouse, France. pp.356-370. ⟨hal-00757192⟩
  • Anne-Lise Courbis, Bernard Vayssade, Claude Martin, Jean-François Didon-Lescot. Simulation as a decision support for evaluating effects of anthropogenic activities on water resources. International conference on Environmental science and technology, Sep 2007, Cos Island, Greece. pp.267-274. ⟨hal-00354309⟩
  • Anne-Lise Courbis, Bernard Vayssade, Claude Martin, Jean-François Didon-Lescot. Méthodologie de représentation de bassins versants sous SIG en vue d'établir leur bilan hydrique par simulation. SIG'2004, Sep 2004, Paris, France. ⟨hal-00354312⟩
  • Anne-Lise Courbis, Bernard Vayssade. Bilan hydrique de bassins versants modélisés par machines séquentielles. STIC & Environnement, Jun 2003, Rouen, France. pp.131-138. ⟨hal-00354299⟩
  • Anne-Lise Courbis, Jean-François Santucci. Pseudo-random behavioral ATPG. Fifth Great Lakes Symposium on VLSI (GLSVLSI'95), 1995, Buffalo, United States. pp. 192-195, ⟨10.1109/GLSV.1995.516051⟩. ⟨hal-00177987⟩
  • Norbert Valverde, Anne-Lise Courbis, Jean-François Santucci, Andrzej Rucinski. SPECIAL : a Specification Language for Generation of VHDL Behavioral descriptions. Proceedings of the Third Annual Test Workshop 1994, 1994, Lowell, United States. ⟨hal-00183334⟩
  • Norbert Valverde, Anne-Lise Courbis, Jean-François Santucci, Andrzej Rucinski. SPECIAL : a Specification Language for Generation of VHDL Behavioral Descriptions. 3rd Annual Atlantic Test Workshop - ATW '94, 1994, Nimes, France. pp. a-1-a-4. ⟨hal-00184933⟩
  • Jean-François Santucci, Anne-Lise Courbis, Norbert Giambiasi. Speed up of behavioral A.T.P.G. using a heuristic criterion. Annual ACM IEEE Design Automation Conference 1993, 1993, New Orleans, United States. pp. 92 - 96. ⟨hal-00177981⟩
  • Anne-Lise Courbis, Jean-François Santucci, Norbert Giambiasi. Automatic behavioral test pattern generation for digital circuits. First Asian Test Symposium, 1992. (ATS '92), 1992, Hiroshima, Japan. pp. 112-117, ⟨10.1109/ATS.1992.224447⟩. ⟨hal-00178663⟩
  • Norbert Giambiasi, Jean-François Santucci, Anne-Lise Courbis, V. Pla. Test pattern generation for behavioral descriptions in VHDL. Euro-VHDL 91 Conference, 1991, Stockholm, Sweden. pp.228-235. ⟨hal-00183321⟩

Other publications4 documents

  • Bernard Vayssade, Zuzana Boukalova, Anne-Lise Courbis, Jean-François Didon-Lescot, Zbynek Hrkal, et al.. Landscape-use optimisation with regards to the groundwater resources protection in mountain hardrock areas, LOWRGREP. 2008, 37 p. ⟨hal-00801283⟩
  • Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis. Implementation of extension and reduction relations for incremental development of behavioural models. 2008. ⟨hal-00497144⟩
  • Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis. Semantics and implementation of a refinement relation for behavioural models. 2008. ⟨hal-00498012⟩
  • Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong. 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. 2008. ⟨hal-00498019⟩