Qinsi Wang
发表
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.
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,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Qinsi Wang,
2016
.
Qinsi Wang,
Qinsi Wang,
2016
.
Edmund M. Clarke,
Qinsi Wang,
Bing Liu,
2016,
CMSB.
Koen Claessen,
Samin Ishtiaq,
Qinsi Wang,
2013,
CAV.
Rance Cleaveland,
Richard A. Gray,
Radu Grosu,
2016,
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Radu Grosu,
Edmund M. Clarke,
Scott A. Smolka,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Edmund M. Clarke,
Qinsi Wang,
E. Clarke,
2014,
Ershov Memorial Conference.
Paolo Zuliani,
Qinsi Wang,
James R. Faeder,
2011,
BICoB.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2015,
CMSB.
Edmund M. Clarke,
Paolo Zuliani,
Qinsi Wang,
2016,
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
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.
Edmund M. Clarke,
Sicun Gao,
Soonho Kong,
2014,
1404.7206.