|
个人信息Personal Information
副教授
博士生导师
硕士生导师
任职 : 本科教学管理办公室主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：大连市开发区图强街321号大连理工大学软件学院综合楼423室
联系方式：
电子邮箱：
扫描关注
- [1]熊焕璋.侯刚,王洁,孔维强.秦月源.A Dual Relaxation Method for Neural Network Verification[J],INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING,2024
- [2]熊焕璋.侯刚,王洁,孔维强.朱龙.A Single-sample Pruning and Clustering Method for Neural Network Verification[A],Proceedings - Asia-Pacific Software Engineering Conference, APSEC,2024:319-328
- [3]王洁.高昊宇,冯佳玉.Modbus TCP/IP协议仿真应用设计[J],实验室科学,2024,26(05):70-73+79
- [4]王洁.李鹏飞.基于PYNQ平台的人脸检测系统设计[J],实验室科学,2024,26(04):40-43+47
- [5]侯刚.王洁,孔维强,迟宗正.软件工程专业“智能控制系统”课程建设[J],电气电子教学学报,2024,46(01):58-61
- [6]孙亮.刘文杰,王洁.基于阿里云平台的IoT实验设计与实践[J],实验室科学,2024,27(02):63-68
- [7]王洁.付丹阳.基于RISC-V的超标量处理器的ROB压缩方法[J],2024,46(7):1185-1192
- [8]林驰.王祎,Wei, Shuang,He, Danyang,王洁.Compromising location privacies for vehicles cloud computing[A],2022,14(1):88-105
- [9]侯刚.Kong, Weigiang,周宽久,王洁,林驰.Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking[A],2019 IEEE 25TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS),2022:844-851
- [10]侯广峰.Liao Z.,周宽久,王洁,Jin H.,李明楚,Liu F..Modelling and verification of protocol design for cyber physical systems[J],Journal of Computational Information Systems,2022,11(17):6149-6157