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 | 26 | 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 | 19 | 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 |
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 | 17 | 2017 |
25 Years of Model Checking. EM Clarke, Q Wang Ershov Memorial Conference, 26-40, 2014 | 14 | 2014 |
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 |
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 |
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 |
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 KW Liang, Q Wang, C Telmer, JF Cham, H Koeppl Springer International Publishing,, 2017 | 4 | 2017 |
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 |
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 | | |