E-LIB Suche - Ergebnisse für: Lambolais, Thomas

1

Semi-formal and formal specification of a telerehabilitatio..:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW),

Courbis, Anne-Lise ; Arfi, Farid ; Lambolais, Thomas.. - p. 75-80 , 2023

Link: https://doi.org/10.1109/..

2

Formal verification of a telerehabilitation system through ..:

Arfi, Farid ; Courbis, Anne‐Lise ; Lambolais, Thomas..
IET Software. 17 (2023) 4 - p. 582-599 , 2023

Link: https://doi.org/10.1049/..

3

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

, In: 2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI),

Wei, Jialiang ; Courbis, Anne-Lise ; Lambolais, Thomas... - p. 898-904 , 2023

Link: https://doi.org/10.1109/..

4

Boosting GUI Prototyping with Diffusion Models:

, In: 2023 IEEE 31st International Requirements Engineering Conference (RE),

Wei, Jialiang ; Courbis, Anne-Lise ; Lambolais, Thomas... - p. 275-280 , 2023

Link: https://doi.org/10.1109/..

5

Towards Boosting Requirements Engineering of a Health Monit..:

, In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW),

Wei, Jialiang ; Courbis, Anne-Lise ; Lambolais, Thomas.. - p. 75-80 , 2022

Link: https://doi.org/10.1109/..

6

IDF: A framework for the incremental development and confor..:

Lambolais, Thomas ; Courbis, Anne-Lise ; Luong, Hong-Viet.
Journal of Systems and Software. 113 (2016) - p. 275-295 , 2016

Link: https://doi.org/10.1016/..

7

UML extensions for the specification and evaluation of late..:

, In: Proceedings of the 2nd international workshop on Software and performance,

de Miguel, Miguel ; Lambolais, Thomas ; Hannouz, Mehdi.. - p. 83-88 , 2000

Link: https://dl.acm.org/doi/1..

8

Boosting GUI Prototyping with Diffusion Models:

Wei, Jialiang ; Courbis, Anne-Lise ; Lambolais, Thomas...
hal-04143178. , 2023

Link: https://imt-mines-ales.h..

9

Boosting GUI Prototyping with Diffusion Models:

Wei, Jialiang ; Courbis, Anne-Lise ; Lambolais, Thomas...
hal-04143178. , 2023

Link: https://imt-mines-ales.h..

10

Reliability and Sensitivity of the Notio Device and Aer-osc..:

Bruez, Antoine ; Caillou, Quentin ; Dugenne, Thibault...
hal-04159139. , 2023

Link: https://imt-mines-ales.h..

11

Formal verification of a telerehabilitation system through ..:

Arfi, Farid ; Courbis, Anne‐lise ; Lambolais, Thomas..
info:eu-repo/semantics/altIdentifier/doi/10.1049/sfw2.12128. , 2023

Link: https://hal.science/hal-..

12

Reliability and Sensitivity of the Notio Device and Aer-osc..:

Bruez, Antoine ; Caillou, Quentin ; Dugenne, Thibault...
hal-04159139. , 2023

Link: https://imt-mines-ales.h..

13

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

Wei, Jialiang ; Courbis, Anne-Lise ; Lambolais, Thomas...
http://arxiv.org/abs/2311.03058. , 2023

Link: http://arxiv.org/abs/231..

14

Boosting GUI Prototyping with Diffusion Models:

Wei, Jialiang ; Courbis, Anne-Lise ; Lambolais, Thomas...
hal-04143178. , 2023

Link: https://imt-mines-ales.h..

15

Formal verification of a telerehabilitation system through ..:

Arfi, Farid ; Courbis, Anne‐lise ; Lambolais, Thomas..
info:eu-repo/semantics/altIdentifier/doi/10.1049/sfw2.12128. , 2023

Link: https://hal.science/hal-..