Maurice Hayot

According to our database, Maurice Hayot authored at least 3 papers between 2019 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

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

2019

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

Proceedings of the MEDINFO 2019: Health and Wellbeing e-Networks for All, 2019