A
Menu
September 22, 2022 article Aachen paper

Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming

Information and Computation, vol. 289, pp. 104965

DOI: 10.1016/j.ic.2022.104965 OpenAlex

Authors 5

  1. Qiuye Wang

    Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science

    Affiliation as printed

    State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China

    University of Chinese Academy of Sciences, Beijing, China

  2. Mingshuai Chen corresponding Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

  3. Xue Bai

    Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science

    Affiliation as printed

    State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China

    University of Chinese Academy of Sciences, Beijing, China

  4. Naijun Zhan corresponding

    Chinese Academy of Sciences · Institute of Software · University of Chinese Academy of Sciences · State Key Laboratory of Computer Science

    Affiliation as printed

    Science and Technology on Integrated Information System Laboratory, Institute of Software, CAS, Beijing, China

    State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing, China

    University of Chinese Academy of Sciences, Beijing, China

  5. Joost-Pieter Katoen Aachen

    RWTH Aachen University

    Affiliation as printed

    RWTH Aachen University, Aachen, Germany

Cited by 9 stored of 9

9 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 101