Frame inference for inductive entailment proofs in separation logic

by LE, Quang Loc, SUN, Jun, QIN, Shengchao
Published 2018

Improving probability estimation through active probabilistic model learning

by WANG, Jingyi, CHEN, Xiaohong, SUN, Jun, QIN, Shengchao
Published 2017

Language inclusion checking of timed automata with non-Zenoness

by WANG, Xinyu, SUN, Jun, WANG, Ting, QIN, Shengchao
Published 2017

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

by WANG, Jingyi, SUN, Jun, QIN, Shengchao, JEGOUREL, Cyrille
Published 2018

Realizing live sequence charts in system verilog

by WANG, Hai H., QIN, Shengchao, SUN, Jun, DONG, Jin Song
Published 2007

GPU accelerated on-the-fly reachability checking

by WU, Zhimin, LIU, Yang, SUN, Jun, SHI, Jianqi, QIN, Shengchao
Published 2015

Towards 'verifying' a water treatment system

by WANG, Jingyi, SUN, Jun, JIA, Yifan, QIN, Shengchao, XU, Zhiwu
Published 2018

Timed automata patterns

by DONG, Jin Song, HAO, Ping, QIN, Shengchao, SUN, Jun, YI, Wang
Published 2008

TLV: Abstraction through testing, learning, and validation

by SUN, Jun, XIAO, Hao, LIU, Yang, LIN, Shang-Wei, QIN, Shengchao
Published 2015

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

by Shi, Ling, Zhao, Yongxin, Liu, Yang, Sun, Jun, Dong, Jin Song, Qin, Shengchao
Published 2020

A UTP semantics for communicating processes with shared variables

by SHI, Ling, ZHAO, Yongxin, LIU, Yang, SUN, Jun, DONG, Jin Song, QIN, Shengchao
Published 2013

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

by PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun, QIN, Shengchao
Published 2019

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

by SHI, Ling, ZHAO, Yongxin, LIU, Yang, SUN, Jun, DONG, Jin Song, QIN, Shengchao
Published 2018

Locating vulnerabilities in binaries via memory layout recovering

by WANG, Haijun, XIE, Xiaofei, LIN, Shang-Wei, LIN, Yun, LI, Yuekang, QIN, Shengchao, LIU, Yang, LIU, Ting
Published 2019

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

by TIAN, Bingyu, GUO, Qing, JUEFEI-XU, Felix, CHAN, Wen Le, CHENG, Yupeng, LI, Xiaohong, XIE, Xiaofei, QIN, Shengchao
Published 2021

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

by WANG, Haijun, XIE, Xiaofei, LI, Yi, WEN, Cheng, LI, Yuekang, LIU, Yang, QIN, Shengchao, CHEN, Hongxu, SUI, Yulei
Published 2020

MemLock: Memory usage guided fuzzing

by WEN, Cheng, WANG, Haijun, LI, Yuekang, QIN, Shengchao, LIU, Yang, XU, Zhiwu, CHEN, Hongxu, Xiaofei XIE, PU, Geguang, LIU, Ting
Published 2020