Travelled to:1 × France
1 × Italy
1 × Norway
1 × Russia
1 × Singapore
1 × Switzerland
3 × USA
Collaborated with:B.Xia L.Zou H.Zhao D.Kapur M.Chen L.Dai M.Fränzle Z.Wang H.Wang M.E.Majster-Cederbaum H.Fecher B.Zhan P.N.Mosaad J.Liu K.G.Larsen E.Ahmad B.R.Larson S.C.Barrett Y.Dong Y.Feng J.Katoen H.Li S.Feng B.X.0001 M.Yang B.Gu Y.Chen R.Dong J.Faber Z.Liu J.Srba J.Zhu T.Gan J.W.0042 J.An J.Liu S.Wang S.Ying T.Liu Y.Li M.Ying
Talks about:hybrid (4) verif (4) interpol (3) system (3) delay (3) differenti (2) softwar (2) quantum (2) program (2) control (2)
Person: Naijun Zhan
DBLP: Zhan:Naijun
Contributed to:
2015
20152014
20142013
20122012
2010
2003
20162018
201920192019Wrote 14 papers:
- CAV-2015-ZouFZM #automation #difference #equation #safety #verification
- Automatic Verification of Stability and Safety for Delay Differential Equations (LZ, MF, NZ, PNM), pp. 338–355.
- FM-2015-0009ZZZ #abstraction #hybrid
- Abstraction of Elementary Hybrid Systems by Variable Transformation (JL, NZ, HZ, LZ), pp. 360–377.
- FM-2014-ZhaoYZGZC #verification
- Formal Verification of a Descent Guidance Control Program of a Lunar Lander (HZ, MY, NZ, BG, LZ, YC), pp. 733–748.
- HILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling
- Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
- CAV-2013-DaiXZ #generative #programming
- Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
- CBSE-2012-DongFLSZZ #component #composition
- Unblockable compositions of software components (RD, JF, ZL, JS, NZ, JZ), pp. 103–108.
- FM-2012-ZhaoZKL #approach #case study #hybrid #industrial
- A “Hybrid” Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example (HZ, NZ, DK, KGL), pp. 471–485.
- SAC-2010-WangWZ #component #modelling #refinement
- Refinement of models of software components (ZW, HW, NZ), pp. 2311–2318.
- VMCAI-2003-Majster-CederbaumZF #logic #perspective #refinement
- Action Refinement from a Logical Point of View (MEMC, NZ, HF), pp. 253–267.
- IJCAR-2016-GanDXZKC #polynomial #synthesis
- Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF (TG, LD, BX, NZ, DK, MC), pp. 195–212.
- CAV-2018-FengKLXZ #automaton #monitoring #multi
- Monitoring CTMCs by Multi-clock Timed Automata (YF, JPK, HL, BX, NZ), pp. 507–526.
- CADE-2019-ChenWAZKZ #learning #named
- NIL: Learning Nonlinear Interpolants (MC, JW0, JA, BZ, DK, NZ), pp. 178–196.
- CAV-2019-FengCZF0 #bound #difference #equation #verification
- Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations (SF, MC, NZ, MF, BX0), pp. 650–669.
- CAV-2019-LiuZWYLLYZ #algorithm #hoare #logic #quantum #using #verification
- Formal Verification of Quantum Algorithms Using Quantum Hoare Logic (JL, BZ, SW, SY, TL, YL, MY, NZ), pp. 187–207.