RV-20

Automatic Optimizations for Stream-Based Monitoring Languages

Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger

Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings