| Tools at the frontiers of quantitative verification: QComp 2023 competition report R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... International TOOLympics Challenge, 90-146, 2024 | 7 | 2024 |
| Tools at the Frontiers of Quantitative Verification R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ... arXiv preprint arXiv:2405.13583, 2024 | 3 | 2024 |
| 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 | 3 | 2023 |
| Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks L Taylor, B Israelsen, Z Zhang FMCAD 2023, 284-293, 2023 | 2 | 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 |
Zhen ZhangAssistant Professor, Utah State University在 usu.edu 的电子邮件经过验证
Zhen ZhangAssistant Professor, Utah State University在 usu.edu 的电子邮件经过验证