Adrien Champion

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 5

Top Topics

Reactive Systems

Functional Programs

Top Venues

Sci. Comput. Program.

Institut supérieur de l'aéronautique et de l'espace, Toulouse, France (PHD)

Education History

Institut supérieur de l'aéronautique et de l'espace, Toulouse, France

PHD

Publications

Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. J. Autom. Reason. 64 (7) (2020)
Adrien Champion, Naoki Kobayashi, Ryosuke Sato
HoIce: An ICE-Based Non-linear Horn Clause Solver. APLAS (2018)
Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs. TACAS (1) (2018)
Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli
CoCoSpec: A Mode-Aware Contract Language for Reactive Systems. SEFM (2016)
Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli
The Kind 2 Model Checker. CAV (2) (2016)
Adrien Champion, Rémi Delmas, Michael Dierkes
Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework. Sci. Comput. Program. 103 (2015)
Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. FMICS (2013)
Adrien Champion, Rémi Delmas, Michael Dierkes
Generating Property-Directed Potential Invariants By Backward Analysis FTSCS (2012)