Adrien Champion

According to our database, Adrien Champion authored at least 8 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

ICE-Based Refinement Type Discovery for Higher-Order Functional Programs.

Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato

J. Autom. Reason., 2020

2018

HoIce: An ICE-Based Non-linear Horn Clause Solver.

Adrien Champion, Naoki Kobayashi, Ryosuke Sato

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2016

CoCoSpec: A Mode-Aware Contract Language for Reactive Systems.

Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

The Kind 2 Model Checker.

Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework.

Adrien Champion, Rémi Delmas, Michael Dierkes

Sci. Comput. Program., 2015

2014

Collaboration de techniques formelles pour la vérification de propriétés de sûreté sur des systèmes de transition. (Collaboration of formal techniques for the verification of safety properties over transition systems).

Adrien Champion

PhD thesis, 2014

2013

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.

Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

2012

Generating Property-Directed Potential Invariants By Backward Analysis

Adrien Champion, Rémi Delmas, Michael Dierkes

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012