| Verified Rust Monitors for Lola Specifications | 0 | 0.34 | 2020 |
| Automatic Optimizations for Stream-based Monitoring Languages | 0 | 0.34 | 2020 |
| Monitoring Cyber-Physical Systems: From Design to Integration | 0 | 0.34 | 2020 |
| Robust Monitoring of Linear Temporal Properties. | 0 | 0.34 | 2018 |
| Real-time Stream-based Monitoring. | 0 | 0.34 | 2017 |
| From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. | 0 | 0.34 | 2016 |
