Cited By
View all- Su GLiu LZhang MRosenblum D(2022)Quantitative Verification for Monitoring Event-Streaming SystemsIEEE Transactions on Software Engineering10.1109/TSE.2020.299603348:2(538-550)Online publication date: 1-Feb-2022
- Liaskos SKhan SMylopoulos J(2022)Modeling and reasoning about uncertainty in goal models: a decision-theoretic approachSoftware and Systems Modeling10.1007/s10270-021-00968-w21:6(1-24)Online publication date: 11-Jan-2022
- Zhao QLiu JChen XLi TSun JZhang L(2021)Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems2021 International Symposium on Theoretical Aspects of Software Engineering (TASE)10.1109/TASE52547.2021.00032(71-78)Online publication date: Aug-2021
- Show More Cited By