Follow
Qinsi Wang
Qinsi Wang
Ph.D student, Computer Science Department, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage
Title
Cited by
Cited by
Year
Sreach: A probabilistic bounded delta-reachability analyzer for stochastic hybrid systems
Q Wang, P Zuliani, S Kong, S Gao, EM Clarke
International Conference on Computational Methods in Systems Biology, 15-27, 2015
30*2015
Formal modeling and analysis of pancreatic cancer microenvironment
Q Wang, N Miskov-Zivanov, B Liu, JR Faeder, M Lotze, EM Clarke
International Conference on Computational Methods in Systems Biology, 289-305, 2016
202016
Model-checking signal transduction networks through decreasing reachability sets
K Claessen, J Fisher, S Ishtiaq, N Piterman, Q Wang
International Conference on Computer Aided Verification, 85-100, 2013
182013
Formal analysis for logical models of pancreatic cancer
H Gong, P Zuliani, Q Wang, EM Clarke
2011 50th IEEE Conference on Decision and Control and European Control …, 2011
172011
Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer.
H Gong, Q Wang, P Zuliani, JR Faeder, M Lotze, E Clarke
BICoB, 245-, 2011
172011
Methods to expand cell signaling models using automated reading and model checking
KW Liang, Q Wang, C Telmer, D Ravichandran, P Spirtes, ...
International Conference on Computational Methods in Systems Biology, 145-159, 2017
112017
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans
MA Islam, Q Wang, RM Hasani, O Balún, EM Clarke, R Grosu, SA Smolka
2016 IEEE International High Level Design Validation and Test Workshop …, 2016
102016
Years of Model Checking
EM Clarke, Q Wang
International Andrei Ershov Memorial Conference on Perspectives of System …, 2014
102014
Ghost map: Proving software correctness using games
R Watro, K Moffitt, T Hussain, D Wyschogrod, J Ostwald, D Kong, ...
SECURWARE 2014 223, 2014
92014
High-level modeling and verification of cellular signaling
N Miskov-Zivanov, P Zuliani, Q Wang, EM Clarke, JR Faeder
2016 IEEE International High Level Design Validation and Test Workshop …, 2016
62016
Cybercardia project: modeling, verification and validation of implantable cardiac devices
MA Islam, H Lim, N Paoletti, H Abbas, Z Jiang, J Cyranka, R Cleaveland, ...
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2016
52016
Formal modeling of biological systems
Q Wang, EM Clarke
2016 IEEE International High Level Design Validation and Test Workshop …, 2016
52016
Formal analysis provides parameters for guiding hyperoxidation in bacteria using phototoxic proteins
Q Wang, N Miskov-Zivanov, C Telmer, EM Clarke
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, 315-320, 2015
52015
Model checking for biological systems: languages, algorithms, and applications
Q Wang
Ph. D. thesis, Carnegie Mellon University, 2016
22016
Verification of the Instantiation and Integration of Security Patterns
T Peng, S Wang, J Geng, Q Wang, Y Yang, K Zhang
Journal of Web Engineering, 521–556-521–556, 2020
12020
Formal methods for biological systems: languages, algorithms, and applications
Q Wang
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States, 2016
12016
Delta-Reachability Analyzer for Stochastic Hybrid Systems. In: 13th
Q Wang, P Zuliani, S Kong, S Gao, EM Clarke
2016
Simulation-Based Model Checking for Nondeterministic Systems and Rare Events
E Clarke, D Musliner, R Goldman, S Kong, Q Wang
Carnegie Mellon University Pittsburgh United States, 2016
2016
AKELLA, Aditya CMU-CS-16-117 ALDRICH, Jonathan CMU-CS-16-103 AMOS, Brandon CMU-CS-16-118 BEN-DAVID, Naama CMU-CS-16-133
DS BERGER, A BEUTEL, L CAIRES, JP DICKERSON, K GARDNER, ...
Supplementary document for Formal Modeling and Analysis of Pancreatic Cancer Microenvironment
Q Wang, N Miskov-Zivanov, B Liu, JR Faeder, M Lotze, EM Clarke
The system can't perform the operation now. Try again later.
Articles 1–20