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

Quentin Stiévenart

university of quebec

8H指数
60论文数
238被引数
收录论文 5
发表时间
logo
Abstracting Concolic Execution for Soft Contract Verification抽象符号执行以进行软合约验证
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err0
PREAI
errVandenbogaerde, Bram; Stievenart, Quentin; De Roover, Coen
err分享
err收藏
An empirical evaluation of static, dynamic, and hybrid slicing of WebAssembly binaries对WebAssembly二进制文件的静态、动态和混合切片的实证评估
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2025-05-24
err0
errOAAI
errStievenart, Quentin; Binkley, David; De Roover, Coen
err分享
err收藏
An empirical evaluation of quasi-static executable slices*准静态可执行切片的经验评估 *
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2023-06-01
err2
PREAI
errStievenart, Quentin; Binkley, David; De Roover, Coen
err分享
err收藏
A parallel worklist algorithm and its exploration heuristics for static modular analyses
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-11-01
err1
PREAI
errStievenart, Quentin; Van Es, Noah; Van der Plas, Jens; De Roover, Coen
err分享
err收藏
A general method for rendering static analyses for diverse concurrency models modular
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2019-01-01
err10
PREAI
errStievenart, Quentin; Nicolay, Jens; De Meuter, Wolfgang; De Roover, Coen
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
D
David Binkley
H 指数: 47 · 论文数: 229
W
Wolfgang De Meuter
H 指数: 25 · 论文数: 297
C
Coen De Roover
H 指数: 19 · 论文数: 214
J
Jens Nicolay
H 指数: 8 · 论文数: 42
N
Noah Van Es
H 指数: 4 · 论文数: 11
查看更多