Thibaud L'Yvonnet

According to our database, Thibaud L'Yvonnet authored at least 7 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain.

Elisabetta De Maria, Benjamin Lapijover, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2022

Relationships between human activity models and brain models : application to clinical serious games. (Relations entre modèles d'activités humaines et modèles du cerveau : application aux jeux sérieux en clinique).

Thibaud L'Yvonnet

PhD thesis, 2022

On the use of formal methods to model and verify neuronal archetypes.

Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont

Frontiers Comput. Sci., 2022

2021

Probabilistic model checking for human activity recognition in medical serious games.

Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault

Sci. Comput. Program., 2021

Probabilistic Model Checking for Activity Recognition in Medical Serious Games.

Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Healthcare, 2021

2019

Probabilistic Activity Recognition for Serious Games with Applications in Medicine.

Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

2017

Modelling and Formal Verification of Neuronal Archetypes Coupling.

Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont

Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics, 2017