| Efficient trace generation for rare-event analysis in chemical reaction networks B Israelsen, L Taylor, Z Zhang International Symposium on Model Checking Software, 83-102, 2023 | 2 | 2023 |
| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | 1 | 2024 |
| Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks L Taylor, B Israelsen, Z Zhang FMCAD 2023, 284-293, 2023 | 1 | 2023 |
| Scaling up livelock verification for network-on-chip routing algorithms L Taylor, Z Zhang International Conference on Verification, Model Checking, and Abstract …, 2022 | 1 | 2022 |
| Tools at the Frontiers of Quantitative Verification R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... | | |
Zhen ZhangAssistant Professor, Utah State UniversityVerified email at usu.edu
