Qinsi Wang
发表
SReach: Combining Statistical Tests and Bounded Model Checking for Nonlinear Hybrid Systems with Parametric Uncertainty
pdf
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
ArXiv.
Qinsi Wang,
Natasa Miskov-Zivanov,
Kai-Wen Liang,
2017,
CMSB.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2015,
CMSB.
Paolo Zuliani,
Qinsi Wang,
James R. Faeder,
2011,
BICoB.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
1404.7206.
Formal Analysis Provides Parameters for Guiding Hyperoxidation in Bacteria using Phototoxic Proteins
Edmund M. Clarke,
Qinsi Wang,
Natasa Miskov-Zivanov,
2015,
ACM Great Lakes Symposium on VLSI.
Qinsi Wang,
Qinsi Wang,
2016
.
Koen Claessen,
Samin Ishtiaq,
Qinsi Wang,
2013,
CAV.
Talib S. Hussain,
Clint A. Bowers,
Qinsi Wang,
2014,
SECURWARE 2014.
Robert P. Goldman,
David J. Musliner,
Edmund M. Clarke,
2016
.
Edmund M. Clarke,
Qinsi Wang,
Bing Liu,
2016,
CMSB.
Edmund M. Clarke,
Qinsi Wang,
E. Clarke,
2014,
Ershov Memorial Conference.
Edmund M. Clarke,
Qinsi Wang,
E. Clarke,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Edmund M. Clarke,
Paolo Zuliani,
Qinsi Wang,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Edmund M. Clarke,
Paolo Zuliani,
Qinsi Wang,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Radu Grosu,
Edmund M. Clarke,
Scott A. Smolka,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Yun Yang,
Kang Zhang,
Shuliang Wang,
2020
.
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).