S. Hitarth, M. Praveen. WEX: Formal Specifications for Windows in Stream Processing. In Amir Goharshady, Christoph Haase, editors, Dependable Software Engineering. Theories, Tools, and Applications - 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings. Volume 16458 of Lecture Notes in Computer Science, pages 257-276, Springer, 2025. [doi]
Abstract is missing.