共 50 条
- [1] Monitoring Spatio-Temporal Properties (Invited Tutorial) [J]. RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 21 - 46
- [2] Qualitative and Quantitative Monitoring of Spatio-Temporal Properties [J]. RUNTIME VERIFICATION, RV 2015, 2015, 9333 : 21 - 37
- [3] Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2022), 2022, 13487 : 155 - 171
- [4] Monitoring of spatio-temporal properties with nonlinear SAT solvers [J]. International Journal on Software Tools for Technology Transfer, 2024, 26 : 169 - 188
- [5] MoonLight: a lightweight tool for monitoring spatio-temporal properties [J]. International Journal on Software Tools for Technology Transfer, 2023, 25 : 503 - 517
- [7] Online Monitoring of Spatio-Temporal Properties for Imprecise Signals [J]. 2021 19TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2022, : 78 - 88
- [10] MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties [J]. RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 417 - 428