Thibault Martin

According to our database, Thibault Martin authored at least 6 papers between 2020 and 2022.

Collaborative distances:

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

2022

Techniques de test pour des critères de couverture avancés. (Testing techniques for advanced test coverage criteria).

Thibault Martin

PhD thesis, 2022

Verifying redundant-check based countermeasures: a case study.

Thibault Martin, Nikolai Kosmatov, Virgile Prevosto

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

2021

Adapting the listening time for micro-electrode recordings in deep brain stimulation interventions.

Thibault Martin, Greydon Gilmore, Claire Haegelen, Pierre Jannin, John S. H. Baxter

Int. J. Comput. Assist. Radiol. Surg., 2021

Extending convolutional neural networks for localizing the subthalamic nucleus from micro-electrode recordings in Parkinson's disease.

Thibault Martin, Maxime Peralta, Greydon Gilmore, Paul Sauleau, Claire Haegelen, Pierre Jannin, John S. H. Baxter

Biomed. Signal Process. Control., 2021

2020

Detection of Polluting Test Objectives for Dataflow Criteria.

Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

SepaConvNet for Localizing the Subthalamic Nucleus Using One Second Micro-electrode Recordings.

Maxime Peralta, Quoc Anh Bui, Antoine Ackaouy, Thibault Martin, Greydon Gilmore, Claire Haegelen, Paul Sauleau, John S. H. Baxter, Pierre Jannin

Proceedings of the 42nd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2020