Thomas Lambolais

25 papers A* 1A 2B 1C 3Journal 10Unranked 7
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 — conf
A Collaborative Information System Architecture for Process-Based Crisis Management.
KES (3)
Omar Tahir, Eric Andonoff, Chihab Hanachi, Christophe Sibertin-Blanc, Frédérick Bénaben, Vincent Chapurlat, Thomas Lambolais
2008 A conf
Implementation of the Conformance Relation for Incremental Development of Behavioural Models.
MoDELS
Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis
2000 — conf
Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML.
EDO
Miguel de Miguel, Thomas Lambolais, Sophie Piekarec, Stéphane Betgé-Brezetz, Jérôme Péquery
2000 — conf
UML extensions for the specification and evaluation of latency constraints in architectural models.
Workshop on Software and Performance
Miguel de Miguel, Thomas Lambolais, Mehdi Hannouz, Stéphane Betgé-Brezetz, Sophie Piekarec
1999 C conf
Architectural Techniques for the Description and Validation of Distributed Real-Time Systems.
ISORC
Laurent Thomas, Thomas Lambolais, Renaud Lesiour
1997 — —
Modélisation du développement de spécifications LOTOS. (Modeling the development of LOTOS specification).
Thomas Lambolais