Frame inference for inductive entailment proofs in separation logic

بواسطة LE, Quang Loc, SUN, Jun, QIN, Shengchao
منشور في 2018

Improving probability estimation through active probabilistic model learning

بواسطة WANG, Jingyi, CHEN, Xiaohong, SUN, Jun, QIN, Shengchao
منشور في 2017

Language inclusion checking of timed automata with non-Zenoness

بواسطة WANG, Xinyu, SUN, Jun, WANG, Ting, QIN, Shengchao
منشور في 2017

Automatically `Verifying’ discrete-time complex systems through learning, abstraction and refinement

بواسطة WANG, Jingyi, SUN, Jun, QIN, Shengchao, JEGOUREL, Cyrille
منشور في 2018

Realizing live sequence charts in system verilog

بواسطة WANG, Hai H., QIN, Shengchao, SUN, Jun, DONG, Jin Song
منشور في 2007

GPU accelerated on-the-fly reachability checking

بواسطة WU, Zhimin, LIU, Yang, SUN, Jun, SHI, Jianqi, QIN, Shengchao
منشور في 2015

Towards 'verifying' a water treatment system

بواسطة WANG, Jingyi, SUN, Jun, JIA, Yifan, QIN, Shengchao, XU, Zhiwu
منشور في 2018

Timed automata patterns

بواسطة DONG, Jin Song, HAO, Ping, QIN, Shengchao, SUN, Jun, YI, Wang
منشور في 2008

TLV: Abstraction through testing, learning, and validation

بواسطة SUN, Jun, XIAO, Hao, LIU, Yang, LIN, Shang-Wei, QIN, Shengchao
منشور في 2015

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

بواسطة Shi, Ling, Zhao, Yongxin, Liu, Yang, Sun, Jun, Dong, Jin Song, Qin, Shengchao
منشور في 2020

A UTP semantics for communicating processes with shared variables

بواسطة SHI, Ling, ZHAO, Yongxin, LIU, Yang, SUN, Jun, DONG, Jin Song, QIN, Shengchao
منشور في 2013

Enhancing symbolic execution of heap-based programs with separation logic for test input generation

بواسطة PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun, QIN, Shengchao
منشور في 2019

A UTP semantics for communicating processes with shared variables and its formal encoding in PVS

بواسطة SHI, Ling, ZHAO, Yongxin, LIU, Yang, SUN, Jun, DONG, Jin Song, QIN, Shengchao
منشور في 2018

Locating vulnerabilities in binaries via memory layout recovering

بواسطة WANG, Haijun, XIE, Xiaofei, LIN, Shang-Wei, LIN, Yun, LI, Yuekang, QIN, Shengchao, LIU, Yang, LIU, Ting
منشور في 2019

Bias field poses a threat to DNN-based X-ray recognition

بواسطة TIAN, Bingyu, GUO, Qing, JUEFEI-XU, Felix, CHAN, Wen Le, CHENG, Yupeng, LI, Xiaohong, XIE, Xiaofei, QIN, Shengchao
منشور في 2021

Typestate-guided fuzzer for discovering use-after-free vulnerabilities

بواسطة WANG, Haijun, XIE, Xiaofei, LI, Yi, WEN, Cheng, LI, Yuekang, LIU, Yang, QIN, Shengchao, CHEN, Hongxu, SUI, Yulei
منشور في 2020

MemLock: Memory usage guided fuzzing

بواسطة WEN, Cheng, WANG, Haijun, LI, Yuekang, QIN, Shengchao, LIU, Yang, XU, Zhiwu, CHEN, Hongxu, Xiaofei XIE, PU, Geguang, LIU, Ting
منشور في 2020