Adrien Champion
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2013–2018
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | APLAS | HoIce: An ICE-Based Non-linear Horn Clause Solver. | Adrien Champion, Naoki Kobayashi, Ryosuke Sato |
| 2018 | TACAS | ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. | Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato |
| 2016 | CAV | The Kind 2 Model Checker. | Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli |
| 2016 | SEFM | CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. | Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli |
| 2013 | FMICS | Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. | Adrien Champion, Rmi Delmas, Michael Dierkes, Pierre-Loc Garoche, Romain Jobredeaux, Pierre Roux |