- 11
- 4
- 2
- 2
- 2
- 2
- 1
- 1
Anne-Lise Courbis
25
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
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 25
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Formal verification of a telerehabilitation system through an abstraction and refinement approach using UppaalIET Software, 2023, 17 (4), pp.582-599. ⟨10.1049/sfw2.12128⟩
Article dans une revue
hal-04140305v1
|
|
|
IDF: A framework for the incremental development and conformance verification of UML active primitive componentsJournal of Systems and Software, 2016, vol. 113, pp. 275-295. ⟨10.1016/j.jss.2015.11.020⟩
Article dans une revue
hal-01517375v1
|
Zero-shot Bilingual App Reviews Mining with Large Language ModelsICTAI 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
|
|
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedbackISSREW 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
|
|
|
|
Boosting GUI Prototyping with Diffusion ModelsRE@Next! - 31st IEEE International Requirements Engineering 2023 conference (Re'23), Sep 2023, Hannover, Germany
Communication dans un congrès
hal-04143178v1
|
|
|
Vers une ingénierie des exigences dirigée par les données : analyse automatique d’avis d’utilisateursAPIA 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
|
|
|
Towards Boosting Requirements Engineering of a Health Monitoring App by Analysing Similar Apps: A Vision PaperIEEE REW 2022 - 30th International Requirements Engineering Conference Workshops, Aug 2022, Melbourne, Australia. ⟨10.1109/REW56159.2022.00020⟩
Communication dans un congrès
hal-03752660v1
|
|
|
Spécification incrémentale d'un système d'aide au diagnostic de l'épuisement professionnel : problématique et revue de littératureAFADL - 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
|
|
|
Development and Verification of UML Architectures by Refinement and Extension TechniquesERTS 2018, Jan 2018, Toulouse, France
Communication dans un congrès
hal-02156501v1
|
|
|
Safe Incremental Development of UML Architectures29th international conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburgh, United States. ⟨10.18293/SEKE2017-033⟩
Communication dans un congrès
hal-01563328v1
|
|
|
Safe Incremental Design of UML Architectures29th International Conference on Software Engineering and Knowledge Engineering, Jul 2017, Pittsburg, United States
Communication dans un congrès
hal-01926981v1
|
|
|
Requirements Authoring and Verification for SMEs’ Information Systems Engineering15th 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
|
|
|
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and AbstractionComplex 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 proposalInternational 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
|
|
|
|
Aide au développement incrémental et à la vérification d'architectures logiciellesLambda Mu, 2012, France. Communication 8-B2 7p
Communication dans un congrès
hal-00797470v1
|
|
|
A formal support for incremental behavior specification in agile developmentSoftware Engineering and Knowledge Engineering (SEKE), 2012, United States. 6 p
Communication dans un congrès
hal-00800998v1
|
|
|
IDCM : un outil d'analyse de composants et d'architectures dédié à la construction incrémentale11è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
|
|
|
Analyse de l'interopérabilité et de la conformité d'architectures logicielles5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France. pp.49-58
Communication dans un congrès
hal-00756092v1
|
|
|
Interoperability Analysis of Systems18th 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
|
|
|
Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'étatsApproches Formelles dans l'Assistance au Développement de Logiciels, Feb 2009, Toulouse, France
Communication dans un congrès
hal-00497136v1
|
|
|
Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'étatsAFADL, 2009, France. 14 p
Communication dans un congrès
hal-00797477v1
|
|
|
Implementation of Conformance relation for incremental development of behavioural models11th International Conference on Model Driven Engineering Languages & Systems (MODELS), 2008, Toulouse, France. pp.356-370
Communication dans un congrès
hal-00757192v1
|
|
|
Construction incrémentale vs. construction par raffinement de modèles comportementaux UML: sémantique et vérification des relations de spécialisation et d'implantation2008
Autre publication scientifique
hal-00498019v1
|
|
|
Semantics and implementation of a refinement relation for behavioural models2008
Autre publication scientifique
hal-00498012v1
|
|
|
Implementation of extension and reduction relations for incremental development of behavioural models2008
Autre publication scientifique
hal-00497144v1
|