Keywords

Co-authors

Number of documents

39

Anne-Lise COURBIS


Maître Assistante IMT Mines Alès

Laboratoire de Génie Informatique et d’Ingénierie de Production (LGI2P)

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 articles9 documents

  • J. Bousquet, I. Agache, M. R. Aliberti, R. Angles, I. 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⟩
  • 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. ⟨hal-01940228⟩
  • 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⟩
  • 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, 113, pp.275-295. ⟨hal-02015596⟩
  • 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, 113, pp.275-295. ⟨hal-01939732⟩
  • 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. ⟨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), 10 p. ⟨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, Thomas Lambolais. Development and Verification of UML Architectures by Refinement and Extension Techniques,. European Congress on Embedded Real Time Software and Systems (ERTS2), 2018, Toulouse, France. ⟨hal-01940207⟩
  • 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, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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

  • 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⟩
  • 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⟩