- 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, Springer, 2026.