- Jane Hillston, Sadegh Soudjani, Masaki Waga, editors, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings. Volume 14996 of Lecture Notes in Computer Science, Springer, 2024.