Thomas Lambolais

Publication Activity (10 Years)

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