米兰体育在线网站登录-正式版下载V.8.8.8.8

于斌

讲师研究生导师
主要任职：西安市软件可信认证关键技术重点实验室副主任、计算理论与技术研究所科研秘书、本硕博师第二联合党支部书记
性别：男
学历：博士研究生毕业
学位：工学博士学位
在职信息：在岗
所在单位：计算机科学与技术学院
学科：计算机软件与理论
办公地点：南校区网络安全创新研究大楼306办公室
电子邮箱：

访问量：

最后更新时间：..

同专业硕导

当前位置: 中文主页>> 科学研究>> 论文成果

B Yu, C Tian*, H Xing, etc. Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering, ESEC/FSE 2023, Accepted（CCF A类会议）

点击次数：

论文类型：Proceedings

文献类型：C

是否译文：否

发表时间：2023-07-30

收录刊物：EI

上一条：全部论文请访问谷歌学术主页，部分论文如下：

下一条：B Yu, C Tian*, X Lu, N Zhang, Z Duan*, A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties[J]. IEEE Transactions on Parallel and Distributed Systems, 2023, 34(1): 76-91.(CCF A类期刊)