| 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 | 42* | 2015 |
| Years of Model Checking EM Clarke, Q Wang International Andrei Ershov Memorial Conference on Perspectives of System …, 2014 | 40 | 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 | 21 | 2016 |
| Model-checking signal transduction networks through decreasing reachability sets K Claessen, J Fisher, S Ishtiaq, N Piterman, Q Wang Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 20 | 2013 |
| 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 | 18 | 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 | 18 | 2011 |
| 25 Years of Model Checking. EM Clarke, Q Wang Ershov Memorial Conference, 26-40, 2014 | 14 | 2014 |
| Methods to expand cell signaling models using automated reading and model checking KW Liang, Q Wang, C Telmer, D Ravichandran, P Spirtes, ... Computational Methods in Systems Biology: 15th International Conference …, 2017 | 13 | 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 | 9 | 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 | 8 | 2016 |
| Formal modeling of biological systems Q Wang, EM Clarke 2016 IEEE International High Level Design Validation and Test Workshop …, 2016 | 7 | 2016 |
| 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 | 6 | 2016 |
| Formal methods for biological systems: languages, algorithms, and applications Q Wang, EM Clarke Ph. D. Thesis. Carnegie Mellon University, 2016 | 5 | 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 | 5 | 2015 |
| Computational Methods in Systems Biology Q Wang, N Miskov-Zivanov, B Liu, JR Faeder, M Lotze, EM Clarke | 3 | 2016 |
| Model checking for biological systems: languages, algorithms, and applications Q Wang Ph. D. thesis, Carnegie Mellon University, 2016 | 2 | 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 |
| KaZam: An integrated inference engine for assembly Q Wang, Carnegie Mellon University Pittsburgh United States | | 2019 |
| Simulation-Based Model Checking for Non-Deterministic Systems and Rare Events E Clarke, D Musliner, R Goldman, S Kong, Q Wang, ... | | 2016 |
