Login / Signup
François Bughin
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Data Abstraction
Model Checking
Health Related
Timed Automata
Top Venues
MedInfo
IET Softw.
ISSREW
</>
Publications
</>
Anne-Lise Courbis
,
Farid Arfi
,
Thomas Lambolais
,
François Bughin
,
Maurice Hayot
Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback.
ISSREW
(2023)
Farid Arfi
,
Anne-Lise Courbis
,
Thomas Lambolais
,
François Bughin
,
Maurice Hayot
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal.
IET Softw.
17 (4) (2023)
Maurice Hayot
,
Roxana Ologeanu-Taddeï
,
Wafa Bouaynaya
,
Bronia Ayoub
,
François Bughin
Assessment by Patients of a Connected System for Telerehabilitation: Lessons Learned from a Randomized Qualitative Study.
MedInfo
(2019)