|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 大连理工大学软件评测中心主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：开发区校区综合楼409
联系方式：zhoukj@dlut.edu.cn 13804248599
电子邮箱：zhoukj@dlut.edu.cn
扫描关注
- [41]崔凯, 周宽久, 王洁, 林驰, 任龙涛.基于FSM的Android智能电视软件测试方法[A],2014,166-174
- [42]侯刚, 周宽久, 王洁, 常军旺, 李明楚.基于时延STM的软件形化建模与验证方法[A],2014,156-165
- [43]Wang J., Liu J.-W., Hou G., Zhou K.-J., Hou, G., School of Software, Dalian University of TechnologyChina.FPGA-based virtual validation framework on chip[J],Dongbei Daxue Xuebao/Journal of Northeastern University,2014,35:135-139
- [44]Hou G., Zhou K.-J., Wang J., Chang J.-W., Li M.-C., Wang, J., School of Software Technology, Dalian University of TechnologyChina.Modeling and analysis for interrupt behaviors of embedded systems based on EDSPN[J],Dongbei Daxue Xuebao/Journal of Northeastern University,2014,35:201-206
- [45]Wang X.-L., Zhou K.-J., Hou G., Yong J.-W., Wang J., Hou, G., School of Software, Dalian University of TechnologyChina.Software verification acceleration by integrating theorem proving and model checking[J],Dongbei Daxue Xuebao/Journal of Northeastern University,2014,35:13-18
- [46]Yu W.-Y., Zhou K.-J., Wang J., Hou G., Wang, J., School of Software, Dalian University of TechnologyChina.A high performance multiple pattern matching algorithm based on FPGA[J],Dongbei Daxue Xuebao/Journal of Northeastern University,2014,35:179-183
- [47]周宽久, 常军旺, 侯刚, 任龙涛, 王小龙.基于时间Petri网的嵌入式系统中断建模与验证[J],计算机科学,2014,41(9):205-209,219
- [48]Wang J., Yu Y., Zhou K., Yu, Y., School of Software Technology, Dalian University of Technology, Economy, Technology Development Area, Dalian City 116620, China, email: yuyanshuo@gmail.com.A regular expression matching approach to distributed wireless network security system[J],International Journal of Network Security,2014,16(5):382-388
- [49]Yang, S., Zhou, K., Wang, J., Liu, B., Li, T..A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform[J],Communications in Computer and Information Science,2014,451 CCIS:43-57
- [50]周宽久, 任龙涛, 王小龙, 勇嘉伟, 侯刚.基于层次化时间STM软件设计的形式化验证[J],计算机科学,2014,41(8):42-46
- [51]王小龙, 任龙涛, 周宽久, 常军旺, 王竹, 侯刚.软件动态执行网络建模及其级联故障分析[J],计算机科学,2014,41(8):109-114
- [52]Wang, J., Cui, K., Zhou, Yu, Y., School of Software Technology, Dalian University of TechnologyChina.Based on regular expression matching of evaluation of the task performance in WSN: a queue theory...[J],TheScientificWorldJournal,2014,2014:654974
- [53]Hou G., Chang J., Zhou K., Li M., Zhou, K., School of Software Technology, Dalian University of Technology, Dalian 116024, China, email: zhoukj@dlut.edu.cn.Embedded system modeling and verification based on deterministic and stochastic Petri net[J],Journal of Computational Information Systems,2014,10(12):5051-5058
- [54]都牧, 胡祥培, 周宽久, 何占良.基于物联网的蔬果网上直销“农-宅”配送系统[J],系统工程学报,2014,29(2):215-222
- [55]Wang, Jie, Liu, Jiwei, Hou, Gang, Yu, Yanshuo, Zhou, KuanJiu, G.(hg.dut@163.com).Quality evaluation method of undergraduate thesis references based on Hadoop[J],International Journal of Database Theory and Application,2014,7(4):227-236
- [56]王洁, 周宽久.本科毕业论文文献著录规范性和质量评价[J],教育与教学研究论文集,2014,27:55-57
- [57]王洁, 周宽久.基于FPGA的嵌入式SoC课程群公共实验教学平台[J],大连理工大学学报（社会科学版）,2014,35(z2):73-75
- [58]周宽久, 王洁, 刘斌.A Partition Method of SoC Design Serving the Multi-FPGA Verification Platform[A],2014
- [59]周宽久, 王洁.一种定理证明与模型检测融合的软件验证加速方法[J],东北大学学报（自然科学版）,2014,35(S1):13-18
- [60]王洁, 周宽久.基于FPGA的片上虚拟化验证框架[J],东北大学学报（自然科学版）,2014,35(S1):135-139