Thibault Dardinier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CAV | Sound Automation of Magic Wands. | Thibault Dardinier, Gaurav Parthasarathy, No Weeks, Peter Mller, Alexander J. Summers |
| 2022 | ICTAC | VeriMon: A Formally Verified Monitoring Tool. | David A. Basin, Thibault Dardinier, Nico Hauser, Lukas Heimes, Jonathan Julin Huerta y Munive, Nicolas Kaletsch, Srdan Krstic, Emanuele Marsicano, Martin Raszyk, Joshua Schneider, Dawit Legesse Tirore, Dmitriy Traytel, Sheila Zingg |
| 2020 | CADE | A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. | David A. Basin, Thibault Dardinier, Lukas Heimes, Srdan Krstic, Martin Raszyk, Joshua Schneider, Dmitriy Traytel |
| 2018 | GECCO | A new analysis method for evolutionary optimization of dynamic and noisy objective functions. | Raphal Dang-Nhu, Thibault Dardinier, Benjamin Doerr, Gautier Izacard, Dorian Nogneng |