Anne-Lise Courbis

According to our database, Anne-Lise Courbis authored at least 15 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• 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

1995

Pseudo-random behavioral ATPG.

Anne-Lise Courbis, Jean François Santucci

Proceedings of the 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), 1995

1993

Generation de sequences de test pour les circuits decrits selon une vue comportementale.

Anne-Lise Courbis, Jean François Santucci

Bull. dInformatique Approfondie et Appl., 1993

Speed up of Behavioral A.T.P.G. using a Heuristic Criterion.

Jean François Santucci, Anne-Lise Courbis, Norbert Giambiasi

Proceedings of the 30th Design Automation Conference. Dallas, 1993