Thomas Lambolais

According to our database, Thomas Lambolais authored at least 17 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

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., August, 2023

Boosting GUI Prototyping with Diffusion Models.

Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray

Proceedings of the 31st IEEE International Requirements Engineering Conference, 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

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Zero-shot Bilingual App Reviews Mining with Large Language Models.

Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

2022

Towards a Data-Driven Requirements Engineering Approach: Automatic Analysis of User Reviews.

Jialiang Wei, Anne-Lise Courbis, Thomas Lambolais, Binbin Xu, Pierre-Louis Bernard, Gérard Dray

CoRR, 2022

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

Proceedings of the 30th IEEE International Requirements Engineering Conference Workshops, 2022

2017

Safe Incremental Design of UML Architectures.

Anne-Lise Courbis, Thomas Lambolais, Thanh-Hung Nguyen

Proceedings of the 29th International Conference on Software Engineering and Knowledge Engineering, 2017

2016

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

2015

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction.

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong, Thanh-Liem Phan

Proceedings of the Complex Systems Design & Management, 2015

2014

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

Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014

2012

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

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2008

Implementation of the Conformance Relation for Incremental Development of Behavioural Models.

Hong-Viet Luong, Thomas Lambolais, Anne-Lise Courbis

Proceedings of the Model Driven Engineering Languages and Systems, 2008

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

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2008

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

Proceedings of the Second International Workshop on Software and Performance, 2000

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

Proceedings of the Engineering Distributed Objects, Second International Workshop, 2000

1999

Architectural Techniques for the Description and Validation of Distributed Real-Time Systems.

Laurent Thomas, Thomas Lambolais, Renaud Lesiour

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

1997

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

Thomas Lambolais

PhD thesis, 1997