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