logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
詹乃军 封面图

詹乃军 (Naijun Zhan)

school of computer science

25H指数
246论文数
2.2K被引数
收录论文 18
发表时间
logo
Towards socio-cyber-physical systems: a software perspective amid AI breakthroughs面向社会-赛博-物理系统：人工智能突破背景下的软件视角
errScience China-Information Sciences
IF7.6
err2026-09-01
err0
errOAAI
errAssia Belbachir; M. Brian Blake; Jin Song Dong; Schahram Dustdar; Christof Ebert; Carlo Ghezzi; David Harel; Sumi Helal; Chunming Hu; Linpeng Huang; Hans-Arno Jacobsen; Changjun Jiang; Zhi Jin; Jialin Li; Xuanzhe Liu; Jian Lü; Xiaoxing Ma; Assaf Marron; Hong Mei; Bashar Nuseibeh; Xin Peng; Yuanchun Shi; Huaimin Wang; Ji Wang; Jianmin Wang; Danny Weyns; James Woodcock; Tao Xie; Hong Henry Xu; Mengfei Yang; Jianwei Yin; Naijun Zhan
err分享
err收藏
Xihe: A WCET analysis tool for digital signal processors希和：一种面向数字信号处理器的WCET分析工具
errJournal of Systems Architecture
IF4.1
err2026-05-23
err0
PREAI
errRunqing Xu; Chenhao Wu; Wei Zhang; Lei Ju; Naijun Zhan; Xuejun Zhang; Yu Tan
err分享
err收藏
.Modeling and Verification of Hybrid Systems by Extending AADL
errACM Transactions on Software Engineering and Methodology
IF6.2
err2026-03-01
err0
PREAI
errXu, Xiong; Ahmad, Ehsan; Wang, Shuling; Jin, Xiangyu; Zhan, Bohua; Zhan, Naijun
err分享
err收藏
Active learning of deterministic timed automata via timed classification tree确定性时间自动机的主动学习与时分类树
errScience China Information Sciences
IF7.6
err2025-09-15
err0
PREAI
errYu Teng; Hanyue Chen; Junri Mi; Miaomiao Zhang; Jie An; Naijun Zhan
err分享
err收藏
Reach-Avoid Analysis for Polynomial Stochastic Differential Equations多项式随机微分方程的趋避分析
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-03-01
err3
errOAAI
errXue, Bai; Zhan, Naijun; Fraenzle, Martin
err分享
err收藏
Reach-Avoid Verification Based on Convex Optimization基于凸优化的达到-避免验证
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2024-01-01
err9
errOAAI
errXue, Bai; Zhan, Naijun; Fraenzle, Martin; Wang, Ji; Liu, Wanwei
err分享
err收藏
Semantics Foundation for Cyber-physical Systems Using Higher-order UTP
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-02-13
err3
errOAAI
errXu, Xiong; Talpin, Jean-Pierre; Wang, Shuling; Zhan, Bohua; Zhan, Naijun
err分享
err收藏
Safety guarantee for time-delay systems with disturbances
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2023-01-18
err5
PREAI
errLiu, Wenyou; Bai, Yunjun; Jiao, Li; Zhan, Naijun
err分享
err收藏
Formal Analysis of 5G Authentication and Key Management for Applications (AKMA)
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2022-05-01
err5
PREAI
errYang, Tengshun; Wang, Shuling; Zhan, Bohua; Zhan, Naijun; Li, Jinghui; Xiang, Shuangqing; Xiang, Zhan; Mao, Bifei
err分享
err收藏
Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems离散扰动非线性系统的鲁棒不变集计算
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2022-02-01
err5
PREAI
errXue, Bai; Zhan, Naijun
err分享
err收藏
Learning real-time automata学习实时自动机
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2021-08-05
err5
PREAI
errAn, Jie; Wang, Lingtai; Zhan, Bohua; Zhan, Naijun; Zhang, Miaomiao
err分享
err收藏
Special issue on design of embedded software and systems (SI:ICESS19)
errJOURNAL OF SYSTEMS ARCHITECTURE
IF4.1
err2021-06-01
err0
PREAI
errEaswaran, Arvind; Zhu, Qi; Zhan, Naijun
err分享
err收藏
Over- and Underapproximating Reach Sets for Perturbed Delay Differential Equations
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2021-01-01
err9
PREAI
errXue, Bai; Wang, Qiuye; Feng, Shenghua; Zhan, Naijun
err分享
err收藏
From model to implementation: a network algorithm programming language
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2020-06-01
err2
PREAI
errWang, Jian; An, Jie; Chen, Mingshuai; Zhan, Naijun; Wang, Lulin; Zhang, Miaomiao; Gan, Ting
err分享
err收藏
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties具有时变不确定性的多项式系统的内部逼近可达集
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2020-04-01
err35
errOAAI
errXue, Bai; Fraenzle, Martin; Zhan, Naijun
err分享
err收藏
Automatically Generating SystemC Code from HCSP Formal Models
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2020-01-30
err10
PREAI
errYan, Gaogao; Jiao, Li; Wang, Shuling; Wang, Lingtai; Zhan, Naijun
err分享
err收藏
Reachability Analysis for Solvable Dynamical Systems可解动力系统的可达性分析
errIEEE TRANSACTIONS ON AUTOMATIC CONTROL
IF7
err2018-07-01
err24
PREAI
errGan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun
err分享
err收藏
Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2015-09-23
err19
PREAI
errAhmad Ehsan; Dong YunWei; Larson Brian; Lu JiDong; Tang Tao; Zhan NaiJun
err分享
err收藏

研究方向

中国计算机学会形式化方法专委会主任信息物理系统
合作学者
合作期刊
王建民 封面图
王建民 (Jianmin Wang)
H 指数: 81 · 论文数: 893
D
David Harel
H 指数: 75 · 论文数: 535
T
Tao Tang
H 指数: 66 · 论文数: 650
汪建 封面图
汪建 (Jian Wang)
H 指数: 55 · 论文数: 1.0K
D
Danny Weyns
H 指数: 51 · 论文数: 414
查看更多