Thibaud L'Yvonnet

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Activity Recognition

Top Venues

Sci. Comput. Program.

Frontiers Comput. Sci.

Publications

Elisabetta De Maria, Benjamin Lapijover, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault
A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain. BIOINFORMATICS (2023)
Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont
On the use of formal methods to model and verify neuronal archetypes. Frontiers Comput. Sci. 16 (3) (2022)
Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault
Probabilistic model checking for human activity recognition in medical serious games. Sci. Comput. Program. 206 (2021)
Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault
Probabilistic Model Checking for Activity Recognition in Medical Serious Games. SEH@ICSE (2021)
Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault
Probabilistic Activity Recognition for Serious Games with Applications in Medicine. FTSCS (2019)
Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
Modelling and Formal Verification of Neuronal Archetypes Coupling. CSBio (2017)