Anne-Lise Courbis

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 13

Top Topics

Language Model For Information Retrieval

Diffusion Models

Requirements Engineering

Top Venues

J. Syst. Softw.

Publications

Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Gérard Dray, Walid Maalej
On AI-Inspired UI-Design. CoRR (2024)
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray, Walid Maalej
GUing: A Mobile GUI Search Engine using a Vision-Language Model. CoRR (2024)
Anne-Lise Courbis, Farid Arfi, Thomas Lambolais, François Bughin, Maurice Hayot
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback. ISSREW (2023)
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
Boosting GUI Prototyping with Diffusion Models. RE (2023)
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
Boosting GUI Prototyping with Diffusion Models. CoRR (2023)
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
Zero-shot Bilingual App Reviews Mining with Large Language Models. CoRR (2023)
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
Zero-shot Bilingual App Reviews Mining with Large Language Models. ICTAI (2023)
Farid Arfi, Anne-Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal. IET Softw. 17 (4) (2023)
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Pierre-Louis Bernard, Gérard Dray
Towards Boosting Requirements Engineering of a Health Monitoring App by Analysing Similar Apps: A Vision Paper. RE Workshops (2022)
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
Towards a Data-Driven Requirements Engineering Approach: Automatic Analysis of User Reviews. CoRR (2022)
Anne-Lise Courbis, Thomas Lambolais, Thanh-Hung Nguyen
Safe Incremental Design of UML Architectures. SEKE (2017)
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. J. Syst. Softw. 113 (2016)
Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. CSDM (2015)
Nawel Amokrane, Vincent Chapurlat, Anne-Lise Courbis, Thomas Lambolais, Mohssine Rahhou
Modeling Frameworks, Methods and Languages for Computerizing Small and Medium-Sized Enterprises: Review and Proposal. I-ESA (2014)
Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, Sylvain Vauttier
A Formal Support for Incremental Behavior Specification In Agile Development. SEKE (2012)
Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis
Implementation of the Conformance Relation for Incremental Development of Behavioural Models. MoDELS (2008)
Anne-Lise Courbis, Jean François Santucci
Pseudo-random behavioral ATPG. Great Lakes Symposium on VLSI (1995)
Jean François Santucci, Anne-Lise Courbis, Norbert Giambiasi
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion. DAC (1993)
Anne-Lise Courbis, Jean François Santucci
Generation de sequences de test pour les circuits decrits selon une vue comportementale. Bull. dInformatique Approfondie et Appl. 35 (1993)