Nicolas Berthier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet |
| 2023 | ICMLC | Robust Bayesian Abstraction of Neural Networks. | Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang |
| 2023 | SAC | An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat |
| 2023 | VMCAI | Symbolic Abstract Heaps for Polymorphic Information-Flow Guard Inference. | Nicolas Berthier, Narges Khakpour |
| 2022 | AAAI | Quantifying the Importance of Latent Features in Neural Networks. | Amany Alshareef, Nicolas Berthier, Sven Schewe, Xiaowei Huang |
| 2017 | SETTA | PranCS: A Protocol and Discrete Controller Synthesis Tool. | Idress Husien, Sven Schewe, Nicolas Berthier |