logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
T

Tayssir Touili

机构信息待补充

23H指数
125论文数
1.9K被引数
收录论文 2
发表时间
logo
Reachability Analysis of Upper-Stack Manipulating Binary Code堆栈操作二进制代码的可达性分析
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errLin, Shijie; Touili, Tayssir
err分享
err收藏
LTL Model Checking of Concurrent Self Modifying Code并发自修改代码的LTL模型检测
errENGINEERING OF COMPLEX COMPUTER SYSTEMS, ICECCS 2025
IF0
err2026-01-01
err0
PREAI
errTouili, Tayssir; Zhangeldinov, Olzhas
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Shijie Lin
H 指数: 6 · 论文数: 12
O
Olzhas Zhangeldinov
H 指数: 0 · 论文数: 4
已加载全部