BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zhan:Naijun

Contributed to:

CAV 20152015
FM 20152015
FM 20142014
HILT 20142014
CAV 20132013
CBSE 20122012
FM 20122012
SAC 20102010
VMCAI 20032003
IJCAR 20162016
CAV (1) 20182018
CADE 20192019
CAV (1) 20192019
CAV (2) 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.