default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Lambolais
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i6]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 abs/2405.00145 (2024)- [i5]Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Gérard Dray, Walid Maalej:
On AI-Inspired UI-Design. CoRR abs/2406.13631 (2024) - [i4]Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray, Walid Maalej:
Getting Inspiration for Feature Elicitation: App Store- vs. LLM-based Approach. CoRR abs/2408.17404 (2024) - 2023
- [j2]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): 582-599 (2023) - [c13]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: 898-904 - [c12]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: 75-80 - [c11]Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray:
Boosting GUI Prototyping with Diffusion Models. RE 2023: 275-280 - [i3]Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray:
Boosting GUI Prototyping with Diffusion Models. CoRR abs/2306.06233 (2023) - [i2]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 abs/2311.03058 (2023) - 2022
- [c10]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: 75-80 - [i1]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 abs/2206.14669 (2022)
2010 – 2019
- 2017
- [c9]Anne-Lise Courbis, Thomas Lambolais, Thanh-Hung Nguyen:
Safe Incremental Design of UML Architectures. SEKE 2017: 473-476 - 2016
- [j1]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: 275-295 (2016) - 2015
- [c8]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: 69-81 - 2014
- [c7]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: 77-87 - 2012
- [c6]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: 694-799
2000 – 2009
- 2008
- [c5]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: 630-641 - [c4]Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis:
Implementation of the Conformance Relation for Incremental Development of Behavioural Models. MoDELS 2008: 356-370 - 2000
- [c3]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: 83-101 - [c2]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: 83-88
1990 – 1999
- 1999
- [c1]Laurent Thomas, Thomas Lambolais, Renaud Lesiour:
Architectural Techniques for the Description and Validation of Distributed Real-Time Systems. ISORC 1999: 323-331 - 1997
- [b1]Thomas Lambolais:
Modélisation du développement de spécifications LOTOS. (Modeling the development of LOTOS specification). National Polytechnic Institute of Lorraine, Nancy, France, 1997
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
