Anne-Lise Courbis

23 papers A* 2A 2B 1C 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
GUing: A Mobile GUI Search Engine using a Vision-Language Model.
ACM Trans. Softw. Eng. Methodol.
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray, Walid Maalej
2025 J jnl
On AI-Inspired User Interface Design.
IEEE Softw.
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Gérard Dray, Walid Maalej
2024 J jnl
GUing: A Mobile GUI Search Engine using a Vision-Language Model.
CoRR
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray, Walid Maalej
2024 A* conf
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach.
ASE
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray, Walid Maalej
2024 J jnl
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach.
CoRR
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray, Walid Maalej
2024 J jnl
On AI-Inspired UI-Design.
CoRR
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Gérard Dray, Walid Maalej
2023 A conf
Boosting GUI Prototyping with Diffusion Models.
RE
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
2023 J jnl
Boosting GUI Prototyping with Diffusion Models.
CoRR
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
2023 J jnl
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal.
IET Softw.
Farid Arfi, Anne-Lise Courbis, Thomas Lambolais, François Bughin, Maurice Hayot
2023 — conf
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback.
ISSREW
Anne-Lise Courbis, Farid Arfi, Thomas Lambolais, François Bughin, Maurice Hayot
2023 B conf
Zero-shot Bilingual App Reviews Mining with Large Language Models.
ICTAI
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
2023 J jnl
Zero-shot Bilingual App Reviews Mining with Large Language Models.
CoRR
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
2022 — conf
Towards Boosting Requirements Engineering of a Health Monitoring App by Analysing Similar Apps: A Vision Paper.
RE Workshops
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Pierre-Louis Bernard, Gérard Dray
2022 J jnl
Towards a Data-Driven Requirements Engineering Approach: Automatic Analysis of User Reviews.
CoRR
Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray
2017 C conf
Safe Incremental Design of UML Architectures.
SEKE
Anne-Lise Courbis, Thomas Lambolais, Thanh-Hung Nguyen
2016 J jnl
IDF: A framework for the incremental development and conformance verification of UML active primitive components.
J. Syst. Softw.
Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Christian Percebois
2015 — conf
Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction.
CSDM
Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan
2014 — conf
Modeling Frameworks, Methods and Languages for Computerizing Small and Medium-Sized Enterprises: Review and Proposal.
I-ESA
Nawel Amokrane, Vincent Chapurlat, Anne-Lise Courbis, Thomas Lambolais, Mohssine Rahhou
2012 C conf
A Formal Support for Incremental Behavior Specification In Agile Development.
SEKE
Anne-Lise Courbis, Thomas Lambolais, Hong-Viet Luong, Thanh-Liem Phan, Christelle Urtado, Sylvain Vauttier
2008 A conf
Implementation of the Conformance Relation for Incremental Development of Behavioural Models.
MoDELS
Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis
1995 — conf
Pseudo-random behavioral ATPG.
Great Lakes Symposium on VLSI
Anne-Lise Courbis, Jean François Santucci
1993 J jnl
Generation de sequences de test pour les circuits decrits selon une vue comportementale.
Bull. dInformatique Approfondie et Appl.
Anne-Lise Courbis, Jean François Santucci
1993 A* conf
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion.
DAC
Jean François Santucci, Anne-Lise Courbis, Norbert Giambiasi