Naijun Zhan

Conference Papers

1. 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
2. Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan (2020). Unbounded-Time Safety Verification of Stochastic Differential Dynamics. In CAV 2020. PDF Cite Slides Video DOI Artifact Evaluated Pulp Fiction
3. Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang (2020). Learning One-Clock Timed Automata. In TACAS 2020. PDF Cite Slides DOI Artifact Evaluated Best Paper Award @ FMAC 2019 Springer High-Impact Paper
4. Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan (2019). NIL: Learning Nonlinear Interpolants. In CADE 2019. PDF Cite Code Slides DOI
5. Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue (2019). Taming Delays in Dynamical Systems. In CAV 2019. PDF Cite Slides DOI Artifact Evaluated
6. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan (2018). What's to Come is Still Unsure. ATVA 2018. PDF Cite Code Slides Video DOI Distinguished Paper Award
7. Bai Xue, Peter Nazier Mosaad, Martin Fränzle, Mingshuai Chen, Yangjia Li, Naijun Zhan (2017). Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations. In FORMATS 2017. PDF Cite Slides Video DOI
8. Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan (2017). A Two-Way Path between Formal and Informal Design of Embedded Systems. UTP 2016. PDF Cite Code Slides DOI
9. Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan (2016). Validated Simulation-Based Verification of Delayed Differential Dynamics. In FM 2016. PDF Cite Code Poster Slides DOI
10. Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan (2016). Computing Reachable Sets of Linear Vector Fields Revisited. ECC 2016. PDF Cite Code Slides DOI
11. Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen (2016). Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. In IJCAR 2016. PDF Cite Code Slides DOI
12. Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan (2015). Decidability of the Reachability for a Family of Linear Vector Fields. ATVA 2015. PDF Cite Code Slides DOI

Preprints

1. Yangjia Li, Naijun Zhan, Mingshuai Chen, Hui Lu, Guohua Wu, Joost-Pieter Katoen (2020). On Termination of Polynomial Programs with Equality Conditions. arXiv. Preprint. PDF Cite Code DOI