Benot Barbot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2026
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECMS | A Sensitivity-Driven Sampling Reduction Method For Probabilistic Approximations Of ODEs. | Olivier Bout-Willaumez, Adrien Le Cont, Benot Barbot, Nihal Pekergin |
| 2021 | ATVA | Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| 2013 | ICFEM | A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems. | tienne Andr, Benot Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci |
| 2013 | PADS | Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. | Elvio Gilberto Amparore, Benot Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
| 2012 | TACAS | Coupling and Importance Sampling for Statistical Model Checking. | Benot Barbot, Serge Haddad, Claudine Picaronny |
| 2011 | TACAS | Efficient CTMC Model Checking of Linear Real-Time Objectives. | Benot Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |