Modélisation du développement de spécifications LOTOS. (Modeling the development of LOTOS specification). - Thomas Lambolais (1997)

Architectural Techniques for the Description and Validation of Distributed Real-Time Systems. - Laurent Thomas; Thomas Lambolais; Renaud Lesiour (ISORC, 1999)

Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML. - Miguel de Miguel; Thomas Lambolais; Sophie Piekarec; Stéphane Betgé-Brezetz; Jérôme Péquery (EDO, 2000)

UML extensions for the specification and evaluation of latency constraints in architectural models. - Miguel de Miguel; Thomas Lambolais; Mehdi Hannouz; Stéphane Betgé-Brezetz; Sophie Piekarec (Workshop on Software and Performance, 2000)

A Collaborative Information System Architecture for Process-Based Crisis Management. - Omar Tahir; Eric Andonoff; Chihab Hanachi; Christophe Sibertin-Blanc; Frédérick Bénaben; Vincent Chapurlat; Thomas Lambolais (KES (3), 2008)

Implementation of the Conformance Relation for Incremental Development of Behavioural Models. - Hong-Viet Luong; Thomas Lambolais; Anne-Lise Courbis (MoDELS, 2008)

A Formal Support for Incremental Behavior Specification In Agile Development. - Anne-Lise Courbis; Thomas Lambolais; Hong-Viet Luong; Thanh-Liem Phan; Christelle Urtado; Sylvain Vauttier (SEKE, 2012)

Modeling Frameworks, Methods and Languages for Computerizing Small and Medium-Sized Enterprises: Review and Proposal. - Nawel Amokrane; Vincent Chapurlat; Anne-Lise Courbis; Thomas Lambolais; Mohssine Rahhou (I-ESA, 2014)

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction. - Thomas Lambolais; Anne-Lise Courbis; Hong-Viet Luong; Thanh-Liem Phan (CSDM, 2015)

IDF: A framework for the incremental development and conformance verification of UML active primitive components. - Thomas Lambolais; Anne-Lise Courbis; Hong-Viet Luong; Christian Percebois (J. Syst. Softw., 2016)

Safe Incremental Design of UML Architectures. - Anne-Lise Courbis; Thomas Lambolais; Thanh-Hung Nguyen (SEKE, 2017)

Towards Boosting Requirements Engineering of a Health Monitoring App by Analysing Similar Apps: A Vision Paper. - Jialiang Wei; Anne-Lise Courbis; Thomas Lambolais; Pierre-Louis Bernard; Gérard Dray (RE Workshops, 2022)

Towards a Data-Driven Requirements Engineering Approach: Automatic Analysis of User Reviews. - Jialiang Wei; Anne-Lise Courbis; Thomas Lambolais; Binbin Xu 002; Pierre-Louis Bernard; Gérard Dray (CoRR, 2022)

Zero-shot Bilingual App Reviews Mining with Large Language Models. - Jialiang Wei; Anne-Lise Courbis; Thomas Lambolais; Binbin Xu 002; Pierre-Louis Bernard; Gérard Dray (ICTAI, 2023)

Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback. - Anne-Lise Courbis; Farid Arfi; Thomas Lambolais; François Bughin; Maurice Hayot (ISSREW, 2023)

Boosting GUI Prototyping with Diffusion Models. - Jialiang Wei; Anne-Lise Courbis; Thomas Lambolais; Binbin Xu 002; Pierre-Louis Bernard; Gérard Dray (RE, 2023)

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal. - Farid Arfi; Anne-Lise Courbis; Thomas Lambolais; François Bughin; Maurice Hayot (IET Softw., 2023)

Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach. - Jialiang Wei; Anne-Lise Courbis; Thomas Lambolais; Binbin Xu 002; Pierre-Louis Bernard; Gérard Dray; Walid Maalej (ASE, 2024)

On AI-Inspired UI-Design. - Jialiang Wei; Anne-Lise Courbis; Thomas Lambolais; Gérard Dray; Walid Maalej (CoRR, 2024)

On AI-Inspired User Interface Design. - Jialiang Wei; Anne-Lise Courbis; Thomas Lambolais; Gérard Dray; Walid Maalej (IEEE Softw., 2025)

GUing: A Mobile GUI Search Engine using a Vision-Language Model. - Jialiang Wei; Anne-Lise Courbis; Thomas Lambolais; Binbin Xu 002; Pierre-Louis Bernard; Gérard Dray; Walid Maalej (ACM Trans. Softw. Eng. Methodol., 2025)