Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz 0001, Alexander Schramm. TeSSLa: runtime verification of non-synchronized real-time streams. In Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir, editors, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. pages 1925-1933, ACM, 2018. [doi]
Abstract is missing.