Thibault Martin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2020–2022
Best venue rank
Multiconference
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SAC | Verifying redundant-check based countermeasures: a case study. | Thibault Martin, Nikolai Kosmatov, Virgile Prevosto |
| 2020 | IFM | Detection of Polluting Test Objectives for Dataflow Criteria. | Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre |