| [1] |
徐学政, 方健, 梁少杰, 王璐, 黄安文, 隋京高, 李琼. Rubyphi:面向gem5的Cache一致性协议自动化模型检验[J]. 计算机工程与科学, 2025, 47(7): 1141-1151. |
| [2] |
刘永梅1, 2, 王国辉1, 关永2, 张景芝2, 施智平1, 2, 董璐1. 斯托克斯定理的形式化及其初步应用[J]. 计算机工程与科学, 2025, 47(6): 1050-1061. |
| [3] |
张晓均, 张豪, 李兴鹏, 张经伟. 面向智慧油气勘探开发系统的多维密态数据聚合技术研究与应用[J]. 计算机工程与科学, 2025, 47(4): 634-643. |
| [4] |
贾昊洲, 徐鹏, 王丹琛, 徐扬, . 一种基于新型混淆操作的RFID双向认证协议[J]. 计算机工程与科学, 2025, 47(2): 247-255. |
| [5] |
张晓均, 李兴鹏, 张经伟, 唐伟. 智慧医疗系统中可容错的多维度密文跨域聚合方案[J]. 计算机工程与科学, 2024, 46(8): 1403-1413. |
| [6] |
赵祉乔, 周理, 荀长庆, 潘国腾, 铁俊波, 王伟征 . 软硬件混合的高效CHI协议分析[J]. 计算机工程与科学, 2024, 46(2): 224-231. |
| [7] |
韩晓璇, 周文安, 韩震. 5G-AKA认证机制脆弱性分析与验证[J]. 计算机工程与科学, 2024, 46(12): 2149-2157. |
| [8] |
刘永梅, 王国辉, 关永, 张景芝, 施智平, 董璐. 格林定理的形式化及其初步应用[J]. 计算机工程与科学, 2023, 45(7): 1178-1187. |
| [9] |
白先平, 姚袭欣, 陈香兰, 刘翀, 李曦. 基于时间自动机的AADL端到端流规约验证方法[J]. 计算机工程与科学, 2023, 45(5): 810-819. |
| [10] |
罗莉, 石伟, 何鸿君, 潘国腾, 王蕾, 龚锐. 一种面向IO Die的敏捷验证方法[J]. 计算机工程与科学, 2023, 45(4): 571-576. |
| [11] |
汪铮, 黄容, 吴茂文, 孙寅涵, 孙志刚. OpenEmulator:一种面向TSN芯片验证的联合仿真平台[J]. 计算机工程与科学, 2023, 45(3): 411-419. |
| [12] |
邓茜, 范广生, 陈立前, 李暾, 王戟. 基于C语言程序分析验证技术的Verilog代码验证方法[J]. 计算机工程与科学, 2023, 45(12): 2146-2154. |
| [13] |
寇广岳, 魏国珩, 平源, 刘鹏. RFID安全认证协议综述[J]. 计算机工程与科学, 2023, 45(1): 77-84. |
| [14] |
王雨露, 李飞, 杨震, 黄山, 张罡, 詹曙, . 基于深度前馈神经网络的多因子人体表面积计算模型[J]. 计算机工程与科学, 2023, 45(1): 119-126. |
| [15] |
李辉, 巨鹏锦, 计永兴. 多路系统Cache一致性验证中的错误追踪定位技术[J]. 计算机工程与科学, 2022, 44(7): 1171-1180. |