Assessment by Patients of a Connected System for Telerehabilitation: Lessons Learned from a Randomized Qualitative Study. - Maurice Hayot; Roxana Ologeanu-Taddeï; Wafa Bouaynaya; Bronia Ayoub; François Bughin (MedInfo, 2019)

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 (ISSREW, 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., 2023)