Sylvain Hallé, Raphaël Khoury. Runtime Monitoring of Stream Logic Formulae. In Joaquín García-Alfaro, Evangelos Kranakis, Guillaume Bonfante, editors, Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers. Volume 9482 of Lecture Notes in Computer Science, pages 251-258, Springer, 2015. [doi]
Abstract is missing.