张楠(Nan Zhang) 0001
人员信息
附属: 西安西电大学计算理论与技术研究所/ISN实验室
其他同名人员
张楠(Nan Zhang) — 消歧页 张楠(Nan Zhang) 0002 -密歇根州立大学 张楠(Nan Zhang) 0003 -英国伯明翰大学 张楠(Nan Zhang) 0004 — 宾夕法尼亚州立大学,宾夕法尼亚大学公园,美国 (还有1个) 张楠(Nan Zhang) 0005 -中佛罗里达大学 张楠(Nan Zhang) 0006 -北京工业大学 张楠(Nan Zhang) 0007 -中国科学院中国知识网格研究组 张楠(Nan Zhang) 0009 -凯泽斯劳滕大学 张楠(Nan Zhang) 0010 -新加坡国立大学多媒体信息实验室 张楠(Nan Zhang) 0011 -明尼苏达大学 张楠(Nan Zhang) 0012 -英国曼彻斯特大学化学工程与分析科学学院 张楠(Nan Zhang) 0013 -清华大学化学工程系,中国北京 张楠(Nan Zhang) 0014 — 华东师范大学计算机科学与技术学院,中国上海 (还有2个以上) 张楠(Nan Zhang) 0015 — 首都医科大学生物医学工程学院,北京,中国 (还有1个) 张楠(Nan Zhang) 0016 -德克萨斯农工大学,学院站,德克萨斯州,美国 张楠(Nan Zhang) 0017 -法国特洛伊斯理工大学ICD-LM2S 张楠(Nan Zhang) 0018 -美国布卢明顿印第安纳大学
其他同名人员
张浩南进 张楠 张建南 张楠(安迪) 张楠峰(Nan Feng Zhang) 张亚南(Yanan Zhang) (又名:张亚南,张亚南) — 消歧页 张一男(音) (又名:张艺南) — 消歧页 张英楠 张卫南(Weinan Zhang) 0003 (又名:张伟楠 0003 ) — 哈尔滨工业大学社会计算与信息检索研究中心 (还有1个) 张亚南(Ya-nan Zhang) 0003 — 苏州大学数学科学学院 (还有1个) 显示所有相似的名称
优化列表
2020年–今天
2023 [公元36年] 张楠(Nan Zhang) , 于超峰 , 段振华 , 丛天 :
统一时序逻辑的证明系统。 西奥。 计算。 科学。 949 : 113702 ( 2023 ) [j35] 余斌(Bin Yu) , 丛天 , 徐璐 , 张楠(Nan Zhang) , 段振华 :
一种基于分布式网络的完全规则时间属性的运行时验证。 IEEE传输。 并行分布式系统。 34 ( 1 ) : 76-91 ( 2023 ) [公元25年] 姚广宇 , 张楠(Nan Zhang) , 段振华 , 丛天 :
一种动态参数自适应路径规划算法。 可可豆(2) 2023 : 227-239 [公元24年] 于超峰 , 张楠(Nan Zhang) , 段振华 , 丛天 :
一种时间逻辑约束下的Agent路径规划方法。 棉花(2) 2023 : 82-93 【c23】 吴王 , 张楠(Nan Zhang) , 丛田 , 段振华 , 徐志杰 , 余超峰 :
验证RTL级芯片设计。 TASE公司 2023 : 146-163 2022 [公元34年] 段振华 , 丛天 , 张楠(Nan Zhang) , 周梦初 , 余斌(Bin Yu) , 王晓兵 , 郭建根 , 吴颖(音) :
一种新的移动边缘计算负载平衡方案。 J.系统。 柔和。 186 : 111195 ( 2022 ) [公元33年] 新亚宁 , 张楠(Nan Zhang) , 段振华 , 丛天 :
基于LNFG的PPTL规范挖掘。 西奥。 计算。 科学。 937 : 85-95 ( 2022 ) [公元32年] 张楠(Nan Zhang) , 孟旺(Meng Wang) , 段振华 , 丛天 :
验证基于MapReduce的大数据处理的特性。 IEEE传输。 Reliab公司。 71 ( 1 ) : 321-338 ( 2022 ) [公元22年] 钟晓婷 , 张楠(Nan Zhang) , 段振华 :
一种为Python程序自动生成跟踪的方法。 DSA(数字减影) 2022 : 262-268 【c21】 冯雪青 , 张楠(Nan Zhang) , 段振华 :
基于MSVL的Matlab matfun工具包的实现。 软着陆+MSVL 2022 : 53-58 2021 [公元31年] 余斌(Bin Yu) , 丛天 , 张楠(Nan Zhang) , 段振华 , 杜洪伟 :
检测、消除和修复内存泄漏的动态方法。 J.库姆。 最佳方案。 42 ( 三 ) : 409-426 ( 2021 ) 【j30】 张楠(Nan Zhang) , 余斌(Bin Yu) , 丛天 , 段振华 , 小帅元 :
程序的时序逻辑规范挖掘。 西奥。 计算。 科学。 857 : 29-42 ( 2021 ) [公元29年] 张楠(Nan Zhang) , 段振华 , 丛天 :
统一的时序逻辑。 西奥。 计算。 科学。 864 : 58-69 ( 2021 ) [公元28年] 徐璐 , 张楠(Nan Zhang) , 丛天 , 余斌(Bin Yu) , 段振华 :
基于知识的城市交通控制时间规划方法。 IEEE传输。 智力。 运输。 系统。 22 ( 三 ) : 1907-1918 ( 2021 ) [公元27年] 开阳 , 丛天 , 张楠(Nan Zhang) , 段振华 , 杜洪伟 :
一种基于CEGAR的静态-动态方法,用于验证C程序的完全正则属性。 IEEE传输。 Reliab公司。 70 ( 4 ) : 1455-1467 ( 2021 ) [公元20年] 王亚杰 , 张楠(Nan Zhang) , 段振华 :
XD-M语言中列表和字典的设计与实现。 AAIM公司 2021 : 344-355 [i2] 段振华 , 丛天 , 张楠(Nan Zhang) , 周梦初 , 余斌(Bin Yu) , 王晓兵 , 郭建根 , 吴颖(音) :
一种新的移动边缘计算负载平衡方案。 CoRR公司 abs/2112.10091 ( 2021 ) 2020 [公元26年] 张楠(Nan Zhang) , 徐璐 , 丛天 , 段振华 , 孙志峰 , Ting Zhang(张婷) :
基于P2P网络的边缘计算智能停车系统。 暴徒。 网络应用程序。 25 ( 6 ) : 2226-2239 ( 2020 ) [公元25年] 王德奎 , 段振华 , 丛田 , 黄伯虎 , 张楠(Nan Zhang) :
ParRA:一种使用混合分区方法的共享内存并行FPGA路由器。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 39 ( 4 ) : 830-842 ( 2020 ) [公元24年] 孟旺(Meng Wang) , 丛天 , 张楠(Nan Zhang) , 段振华 , 姚晨光 :
将Xd-C程序转换为MSVL程序。 西奥。 计算。 科学。 809 : 430-465 ( 2020 ) [公元23年] 张楠(Nan Zhang) , 段振华 , 丛天 , 杜洪伟 :
一种验证程序上下文无关属性的新方法。 西奥。 计算。 科学。 809 : 519-530 ( 2020 ) [公元22年] 新风树 , 张楠(Nan Zhang) , 王晓兵 , 梁昭 :
命题投影时序逻辑的有效决策过程。 西奥。 计算。 科学。 838 : 1-16 ( 2020 ) [公元21年] 梁昭 , 王晓兵 , 新风树 , 张楠(Nan Zhang) :
统一时序逻辑的完善证明系统。 西奥。 计算。 科学。 838 : 25-44 ( 2020 ) [第19条] 张楠(Nan Zhang) , 小帅元 , 段振华 :
命题投影时态逻辑规范挖掘。 可可 2020 : 289-303
2010 – 2019
2019 [公元20年] 金翠 , 丛天 , 张楠(Nan Zhang) , 段振华 , 杜洪伟 :
验证基于ROS的系统中任务的可调度性。 J.库姆。 最佳方案。 37 ( 三 ) : 901-920 ( 2019 ) [j19] 孟旺(Meng Wang) , 丛天 , 张楠(Nan Zhang) , 段振华 , 杜洪伟 :
验证安全关键系统的调度协议。 J.库姆。 最佳方案。 37 ( 4 ) : 1191-1215 ( 2019 ) [公元18年] 杨凯 , 丛天 , 张楠(Nan Zhang) , 段振华 , 杜洪伟 :
用于规划的时序逻辑编程方法。 J.库姆。 最佳方案。 38 ( 2 ) : 402-420 ( 2019 ) [公元17年] 段振华 , 丛天 , 张楠(Nan Zhang) , 钱妈 , 杜洪伟 :
索引集表达式可以表示时序逻辑公式。 西奥。 计算。 科学。 788 : 21-38 ( 2019 ) [公元16年] 孟旺(Meng Wang) , 丛田 , 张楠(Nan Zhang) , 段振华 :
通过动态程序执行验证程序的完全正则时态属性。 IEEE传输。 Reliab公司。 68 ( 三 ) : 1101-1116 ( 2019 ) [第18条] 新风树 , 张楠(Nan Zhang) :
命题投影时态逻辑的一种有效决策方法。 茧 2019 : 503-515 [第17条] 梁昭 , 王晓兵 , 新风树 , 张楠(Nan Zhang) :
统一时序逻辑的证明系统。 茧 2019 : 663-676 2018 [公元15年] 余斌(Bin Yu) , 段振华 , 丛天 , 张楠(Nan Zhang) :
验证程序的时间属性:一种并行方法。 J.并行分布式计算。 118 ( 部分 ) : 89-99 ( 2018 ) [公元14年] 王德奎 , 段振华 , 丛田 , 黄伯虎 , 张楠(Nan Zhang) :
FPGA路由的一种运行时优化方法。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 37 ( 8 ) : 1706-1710 ( 2018 ) [j13] 开阳 , 段振华 , 丛天 , 张楠(Nan Zhang) :
MSVL及其应用程序的编译器。 西奥。 计算。 科学。 749 : 2-16 ( 2018 ) [第16条] 张楠(Nan Zhang) , 段振华 , 丛天 , 杜洪伟 :
一种验证程序上下文无关属性的新方法。 AAIM公司 2018 : 74-87 [第15条] 《精要图》 , 段振华 , 丛天 , 张楠(Nan Zhang) , 吴颖(音) :
考勤管理系统的区块链实现。 软着陆+MSVL 2018 : 169-182 [i1] 孟旺(Meng Wang) , 丛天 , 张楠(Nan Zhang) , 段振华 , 姚晨光 :
将C程序转换为MSVL程序。 CoRR公司 abs/1809.00959 ( 2018 ) 2017 [公元12年] 段振华 , 丛天 , 周梦初 , 王晓兵 , 张楠(Nan Zhang) , 杜洪伟 , 王磊(Lei Wang) :
两层混合对等网络。 对等网络。 申请。 10 ( 6 ) : 1304-1322 ( 2017 ) [第14条] 张楠(Nan Zhang) , 段振华 , 丛天 , 杜洪伟 , 开阳 :
建模和验证多核程序。 可可豆(2) 2017 : 492-500 [第13条] 张楠(Nan Zhang) , 孟旺(Meng Wang) , 段振华 , 丛天 , 金翠 :
使用MSVL实现MapReduce。 软着陆+MSVL 2017 : 148-167 2016 [公元11年] 张楠(Nan Zhang) , 段振华 , 丛田 :
使用MSVL对并发系统进行模型检查。 科学。 中国信息科学。 59 ( 11 ) : 118101 ( 2016 ) [公元10年] 张楠(Nan Zhang) , 杨梦飞 , Bin Gu先生 , 段振华 , 丛天 :
验证PPTL公理系统中的安全关键任务调度系统。 J.库姆。 最佳方案。 31 ( 2 ) : 577-603 ( 2016 ) [公元9年] 段振华 , 丛天 , 张楠(Nan Zhang) :
命题投影时序逻辑的基于规范形式的决策过程和模型检查方法。 西奥。 计算。 科学。 609 : 544-560 ( 2016 ) [j8] 张楠(Nan Zhang) , 段振华 , 丛天 :
具有柱面计算模型的命题投影时态逻辑的完整公理系统。 西奥。 计算。 科学。 609 : 639-657 ( 2016 ) [j7] 张楠(Nan Zhang) , 段振华 , 丛田 :
MSVL中的函数调用机制。 西奥。 计算。 科学。 654 : 11-25 ( 2016 ) [第12条] 林倩 , 段振华 , 张楠(Nan Zhang) , 丛天 :
Coq中MSVL程序的证明系统。 软着陆+MSVL 2016 : 121-143 2015 [j6] 钱妈 , 段振华 , 张楠(Nan Zhang) , 王晓兵 :
用MSVL公理系统验证分布式系统。 形式方面计算。 27 ( 1 ) : 103-131 ( 2015 ) [j5] 金柳(Jin Liu) , 段振华 , 丛天 , 张楠(Nan Zhang) :
一个扩展的奇怪星球协议。 J.库姆。 最佳方案。 30 ( 2 ) : 299-319 ( 2015 ) [第11条] 段振华 , 康康部 , 丛天 , 张楠(Nan Zhang) :
基于动态符号执行的MSVL程序模型检查。 茧 2015 : 521-533 [第10条] 孟旺(Meng Wang) , 段振华 , 丛天 , 张楠(Nan Zhang) :
验证安全关键系统的实时调度协议。 CSCWD公司 2015 : 286-291 【c9】 金翠 , 段振华 , 丛天 , 张楠(Nan Zhang) , 周聪浩 :
使用TMSVL的模型检查\muμC/OS-III多任务系统。 ICFEM公司 2015 : 187-200 【c8】 段振华 , 余江汇 , 丛天 , 张楠(Nan Zhang) , 黄伯虎 :
基于HP2P的自组织信任模型。 MSN公司 2015 : 96-101 【c7】 金翠 , 段振华 , 丛天 , 张楠(Nan Zhang) :
基于TMSVL的μC/OS-III中断系统建模与验证。 软着陆+MSVL 2015 : 15-28 2014 【j4】 张楠(Nan Zhang) , 段振华 , 丛天 , 丁祝都 :
PPTL公理系统中截止期驱动调度器的形式化证明。 西奥。 计算。 科学。 554 : 229-253 ( 2014 ) 【c6】 张楠(Nan Zhang) , 段振华 , 丛天 :
圆柱计算模型的公理化。 茧 2014 : 71-83 [c5] 段振华 , 丛天 , 张楠(Nan Zhang) :
命题投影时序逻辑的范式表达。 茧 2014 : 84-93 【c4】 张楠(Nan Zhang) , 段振华 , 丛田 :
使用函数调用扩展MSVL。 ICFEM公司 2014 : 446-458 2013 [j3] 张楠(Nan Zhang) , 段振华 , 丛田 :
用于多核并行计算的圆柱体计算模型。 西奥。 计算。 科学。 497 : 68-83 ( 2013 ) [注2] 段振华 , 张楠(Nan Zhang) , 库特尼 :
命题投影时序逻辑的完整证明系统。 西奥。 计算。 科学。 497 : 84-107 ( 2013 ) 【c3】 段振华 , 钱妈 , 丛天 , 张楠(Nan Zhang) :
PPTL中的一些固定点问题。 程序设计理论与形式化方法 2013 : 151-165 2012 [j1] 丛田 , 段振华 , 张楠(Nan Zhang) :
模型检查中的一种有效的抽象重定义方法。 西奥。 计算。 科学。 461 : 76-85 ( 2012 ) 2011 【c2】 张楠(Nan Zhang) , 段振华 :
多核并行计算的语义模型。 可可 2011 : 464-479
2000 – 2009
2008 【c1】 段振华 , 张楠(Nan Zhang) :
命题投影时序逻辑的完全公理化。 TASE公司 2008 : 271-278