Naijun Zhan - Publications, H-index & Citations

Back

詹乃军 (Naijun Zhan)

University of Chinese Academy of Sciences and Chinese Academy of Sciences

25H-index

245Paper Count

2.2KCitation Count

Published Papers 17

Publication Date

Xihe: A WCET analysis tool for digital signal processors

Journal of Systems Architecture

IF4.1

2026-05-23

PREAI

Runqing Xu; Chenhao Wu; Wei Zhang; Lei Ju; Naijun Zhan; Xuejun Zhang; Yu Tan

Save

.Modeling and Verification of Hybrid Systems by Extending AADL

ACM Transactions on Software Engineering and Methodology

IF6.2

2026-03-01

PREAI

Xu, Xiong; Ahmad, Ehsan; Wang, Shuling; Jin, Xiangyu; Zhan, Bohua; Zhan, Naijun

Save

Active learning of deterministic timed automata via timed classification tree

Science China Information Sciences

IF7.6

2025-09-15

PREAI

Yu Teng; Hanyue Chen; Junri Mi; Miaomiao Zhang; Jie An; Naijun Zhan

Save

Reach-Avoid Analysis for Polynomial Stochastic Differential Equations

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2024-03-01

OAAI

Xue, Bai; Zhan, Naijun; Fraenzle, Martin

Save

Reach-Avoid Verification Based on Convex Optimization

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2024-01-01

OAAI

Xue, Bai; Zhan, Naijun; Fraenzle, Martin; Wang, Ji; Liu, Wanwei

Save

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-02-13

OAAI

Xu, Xiong; Talpin, Jean-Pierre; Wang, Shuling; Zhan, Bohua; Zhan, Naijun

Save

Safety guarantee for time-delay systems with disturbances

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2023-01-18

PREAI

Liu, Wenyou; Bai, Yunjun; Jiao, Li; Zhan, Naijun

Save

Formal Analysis of 5G Authentication and Key Management for Applications (AKMA)

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2022-05-01

PREAI

Yang, Tengshun; Wang, Shuling; Zhan, Bohua; Zhan, Naijun; Li, Jinghui; Xiang, Shuangqing; Xiang, Zhan; Mao, Bifei

Save

Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2022-02-01

PREAI

Xue, Bai; Zhan, Naijun

Save

Learning real-time automata

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2021-08-05

PREAI

An, Jie; Wang, Lingtai; Zhan, Bohua; Zhan, Naijun; Zhang, Miaomiao

Save

Special issue on design of embedded software and systems (SI:ICESS19)

JOURNAL OF SYSTEMS ARCHITECTURE

IF4.1

2021-06-01

PREAI

Easwaran, Arvind; Zhu, Qi; Zhan, Naijun

Save

Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2021-01-01

PREAI

Xue, Bai; Wang, Qiuye; Feng, Shenghua; Zhan, Naijun

Save

From model to implementation: a network algorithm programming language

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2020-06-01

PREAI

Wang, Jian; An, Jie; Chen, Mingshuai; Zhan, Naijun; Wang, Lulin; Zhang, Miaomiao; Gan, Ting

Save

Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2020-04-01

OAAI

Xue, Bai; Fraenzle, Martin; Zhan, Naijun

Save

Automatically Generating SystemC Code from HCSP Formal Models

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2020-01-30

PREAI

Yan, Gaogao; Jiao, Li; Wang, Shuling; Wang, Lingtai; Zhan, Naijun

Save

Reachability Analysis for Solvable Dynamical Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2018-07-01

PREAI

Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun

Save

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2015-09-23

PREAI

Ahmad Ehsan; Dong YunWei; Larson Brian; Lu JiDong; Tang Tao; Zhan NaiJun

Save

Research Directions