耿殿煌
人员信息
优化列表
2010 – 2019
2010 [j4] 耿殿煌 , 王朝霞(Bow-Yaw Wang) :
完成基于SAT的无上下文进程模型检查。 发现的国际期刊。 计算。 科学。 21 ( 2 ) : 115-134 ( 2010 )
2000 – 2009
2009 【c6】 耿殿煌 , 林赞才 , Farn Wang公司 :
递归程序的LTL模型检查。 ATVA公司 2009 : 382-396 2008 【c5】 Farn Wang公司 , 耿殿煌 :
基于区域覆盖分析的并发实时系统测试计划生成。 测试通信/FATES 2008 : 234-249 2007 【c4】 耿殿煌 , 王朝霞(Bow-Yaw Wang) :
完成基于SAT的无上下文进程模型检查。 ATVA公司 2007 : 51-65 2006 [j3] Farn Wang公司 , 耿殿煌 , 方瑜 :
密集时间系统的TCTL必然性分析:从理论到工程。 IEEE传输。 软件工程师。 32 ( 7 ) : 510-526 ( 2006 ) 2005 [注2] Farn Wang公司 , 耿殿煌 , 方瑜 :
工业实时和嵌入式系统的符号模拟-蓝牙基带通信协议实验。 J.嵌入。 计算。 1 ( 1 ) : 39-56 ( 2005 ) 【c3】 耿殿煌 , Farn Wang公司 :
实时系统用区域相关覆盖注释自动生成测试用例。 ATVA公司 2005 : 144-158 [c2] 王法恩 , 吴荣升 , 耿殿煌 :
使用RED验证定时和线性混合规则系统。 瑞典克朗 2005 : 448-454 2004 [j1] Farn Wang公司 , 卡斯滕·施密特 , 方瑜 , 耿殿煌 , 王朝霞(Bow-Yaw Wang) :
基于图自同构对称约简的指针数据结构并发软件的BDD安全分析。 IEEE传输。 软件工程师。 30 ( 6 ) : 403-417 ( 2004 ) 2003 【c1】 Farn Wang公司 , 耿殿煌 , 方瑜 :
实时并发系统的符号模拟。 RTCSA公司 2003 : 595-617