| 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 | 45* | 2015 |
| Years of Model Checking EM Clarke, Q Wang International Andrei Ershov Memorial Conference on Perspectives of System …, 2014 | 44 | 2014 |
| 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 | 28 | 2016 |
| 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 | 21 | 2011 |
| Symbolic Model Checking of Signaling Pathways in Pancreatic Cancer. H Gong, Q Wang, P Zuliani, JR Faeder, M Lotze, E Clarke BICoB, 245-, 2011 | 21 | 2011 |
| 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 | 20 | 2013 |
| 25 Years of Model Checking. EM Clarke, Q Wang Ershov Memorial Conference, 26-40, 2014 | 19 | 2014 |
| 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 | 18 | 2017 |
| 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 | 10 | 2016 |
| Ghost Map: Proving software correctness using games R Watro, K Moffitt, T Hussain, D Wyschogrod, J Ostwald, D Kong, ... SECURWARE 2014 223, 2014 | 10 | 2014 |
| 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 | 9 | 2016 |
| Formal modeling of biological systems Q Wang, EM Clarke 2016 IEEE International High Level Design Validation and Test Workshop …, 2016 | 7 | 2016 |
| 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 | 6 | 2015 |
| 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 | 5 | 2016 |
| Formal methods for biological systems: languages, algorithms, and applications Q Wang | 4 | 2016 |
| Model checking for biological systems: languages, algorithms, and applications Q Wang Ph. D. thesis, Carnegie Mellon University, 2016 | 3 | 2016 |
| 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 19 (3–4), 521-555, 2020 | 1 | 2020 |
| 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 | | |
| Aggressive TCP Slow Start S Kong, Q Wang, G Weisz | | |
