Automatic Optimizations for Stream-Based Monitoring Languages - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger. Automatic Optimizations for Stream-Based Monitoring Languages. In Jyotirmoy Deshmukh, Dejan Nickovic, editors, Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings. Volume 12399 of Lecture Notes in Computer Science, pages 451-461, Springer, 2020. [doi]

This author has not been identified. Look up 'Jan Baumeister' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. Look up 'Matthis Kruse' in GoogleThis author has not been identified. Look up 'Maximilian Schwenger' in Google

runs on WebDSL