大连理工大学主页平台管理系统 hougang--Home--Paper Publications

+

Doctoral Degree

大连理工大学

Recommended MA Supervisor

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:hougang@dlut.edu.cn

VIEW MORE

Home > Scientific Research > Paper Publications

liukun, KONG Weiqiang, hougang, Fukuda, Akira.A Survey of Formal Techniques for Hardware/Software Co-Verification[A],2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018),2022,125-128
2022-10-05
liushenglan, Lin Feng, Wu, Jun, hougang, Guangjie Han.Concept drift detection for data stream learning based on angle optimized global embedding and ...[J],COMPUTERS ELECTRICAL ENGINEERING,2022,58:327-336
2022-10-05
linchi, wuguowei, Yim, Kangbin, Lin Yao, hougang.Compromising Ad-hoc Networks by Attacking Weakly Connected Dominating Set[A],9th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS),2022,213-220
2022-10-05
hougang, Frank Zhou, Wu, Yanran, chizongzheng, Wang Jie, Mike LI.ETSTM: A New Green Software Model[A],15th IEEE Int Conf on Trust, Security and Privacy in Comp and Commun / 10th IEEE Int Conf on Big Data Science and Engineering / 14th IEEE Int Symposium on Parallel and Distributed Proc with Applicat (IEEE Trustcom/BigDataSE/ISPA),2022,1825-1830
2022-10-04
Yuan, Yuan, KONG Weiqiang, hougang, huyan, Watanabe, Masahiko, Fukuda, Akira.From Local to Global Semantic Clone Detection[A],Proceedings - 2019 6th International Conference on Dependable Systems and Their Applications, DSA 2019,2022,13-24
2022-10-04
KONG Weiqiang, hougang, Xiangpei HU, Ando, Takahiro, Hisazumi, Kenji, Fukuda, Akira.Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC[J],Journal of Information Security and Applications,2022,31(,SI):61-74
2022-10-04
Wang Jie, Deng, Shuangmin, Kang, Junjie, hougang.FTEI: A Fault Tolerance Model of FPGA with Endogenous Immunity[A],Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST,2022,356 LNICST:544-557
2022-10-04
Liu, Kun, Zhang, Xiaozhen, KONG Weiqiang, hougang, Watanabe, Masahiko, Fukuda, Akira.Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs[A],Proceedings - 2019 6th International Conference on Dependable Systems and Their Applications, DSA 2019,2022,25-36
2022-10-04
Wang Jie, 冯斌, Liu, Jiwei, hougang.The Dynamic Evaluation Strategy for Evolvable Hardware[A],Ninth International Conference on Frontier of Computer Science and Technology,2022,91-95
2022-10-04
KONG Weiqiang, hougang, Xiangpei HU, Arimoto, Yasuhito, Watanabe, Masahiko, Ando, Takahiro, Hisazumi, Kenji, Fukuda, Akira.ZipPath: A Simple-but-Useful Path Finder for HSTM Designs in ZIPC[A],1st IEEE International Conference on Agents (ICA),2022,154-157
2022-10-04

total79 3/8

first previous next last Page