Home
News
People
Publications
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Qiuye Wang
Publications with FICTION
Journal Articles
Qiuye Wang
,
Mingshuai Chen
,
Bai Xue
,
Naijun Zhan
,
Joost-Pieter Katoen
(2022).
Encoding Inductive Invariants as Barrier Certificates
.
Inf. Comput.
.
PDF
Cite
Code
Slides
DOI
Conference Papers
Qiuye Wang
,
Mingshuai Chen
,
Bai Xue
,
Naijun Zhan
,
Joost-Pieter Katoen
(2021).
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
. In
CAV 2021
.
PDF
Cite
Slides
Video
DOI
Artifact Evaluated
Cite
×