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

Marieke Huisman

university of twente

28H指数
257论文数
2.5K被引数
收录论文 5
发表时间
logo
AutoSV-Annotator: Integrating Deductive and Automatic Software VerificationAutoSV-Annotator：集成演绎与自动软件验证
errFORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2025
IF0
err2026-01-01
err0
errOAAI
errArmborst, Lukas; Beyer, Dirk; Huisman, Marieke; Lingsch-Rosenfeld, Marian
err分享
err收藏
Preserving provability over GPU program optimizations with annotation-aware transformations在GPU程序优化中通过标注感知转换来保持可证明性
errFormal Methods in System Design
IF0.8
err2025-11-01
err0
PREAI
errSakar, Omer; Safari, Mohsen; Huisman, Marieke; Wijs, Anton
err分享
err收藏
Deductive Verification of Cooperative RTOS Applications合作RTOS应用的演绎验证
errACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
IF2.6
err2025-09-01
err0
errOAAI
errTasche, Philip; Herber, Paula; Huisman, Marieke
err分享
err收藏
Behavior Nets: Context-Aware Behavior Modeling for Code Injection-Based Windows Malware行为网络：针对基于代码注入的Windows恶意软件的上下文感知行为建模
errACM Transactions on Privacy and Security
IF2.8
err2025-08-23
err0
PREAI
errJerre Starink; Marieke Huisman; Andreas Peter; Andrea Continella
err分享
err收藏
Survey of annotation generators for deductive verifiers
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2024-05-01
err3
errOAAI
errLathouwers, Sophie; Huisman, Marieke
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
Dirk Beyer
H 指数: 53 · 论文数: 428
P
Peter Andreas
H 指数: 34 · 论文数: 215
A
Anton Wijs
H 指数: 21 · 论文数: 149
A
Andrea Continella
H 指数: 17 · 论文数: 65
P
Paula Herber
H 指数: 12 · 论文数: 88
查看更多