Adrien Champion

Most-cited papers

1. The Kind 2 Model Checker

   Adrien Champion, Alain Mebsout, Christoph Sticksel, Cesare Tinelli

   2016International Conference on Computer Aided Verification121 citations

   Semantic Scholar

   Save

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

   Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato

   2018Journal of automated reasoning71 citations Open access

   Semantic Scholar

   Save

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

   Adrien Champion, A. Gurfinkel, Temesghen Kahsai, Cesare Tinelli

   2016IEEE International Conference on Software Engineering and Formal Methods40 citations

   Semantic Scholar

   Save

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

   Adrien Champion, Naoki Kobayashi, Ryosuke Sato

   2018Asian Symposium on Programming Languages and Systems28 citations

   Semantic Scholar

   Save

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

   Adrien Champion, R. Delmas, Michael Dierkes, P. Garoche +2 more

   2013International Workshop on Formal Methods for Industrial Critical Systems9 citations Open access

   Semantic Scholar

   Save

6. Generating Property-Directed Potential Invariants By Backward Analysis

   Adrien Champion, R. Delmas, Michael Dierkes

   2012International Workshop on Formal Techniques for Safety-Critical Systems5 citations Open access

   Semantic Scholar

   Save

7. Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems

   Adrien Champion, R. Delmas, P. Garoche, P. Roux

   20115 citations

   Semantic Scholar

   Save

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

   Adrien Champion, R. Delmas, Michael Dierkes

   2015Science of Computer Programming3 citations Open access

   Semantic Scholar

   Save

9. A Lemma Generator Powered by Quanti(cid:28)er Elimination and Hull Computation.

   Adrien Champion, R. Delmas, Michael Dierkes

   20120 citations

   Semantic Scholar

   Save

10. Collaboration of formal techniques for the verification of safety properties over transition systems

    Adrien Champion

    0 citations Open access

    Semantic Scholar

    Save