Introduction to the special issue on timed and stochastic approaches to system evaluation

2026/02/01 by Jane Hillston, Sadegh Soudjani, Masaki Waga · 1 voice
Computer Science · Engineering · #Software Reliability and Analysis Research #Formal Methods in Verification #Systems Engineering Methodologies and Applications

paper · pdf · doi:10.1007/s10009-026-00853-1

openalex publication_date 2026/02/01 · openalex created_date 2026/03/26 · openalex updated_date 2026/07/29

Abstract

Abstract This special issue of the International Journal on Software Tools for Technology Transfer presents extended versions of four selected papers from QEST+FORMATS 2024, the first joint edition of the International Conference on Quantitative Evaluation of Systems (QEST) and the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). The joint conference was held in Calgary, Canada, in September 2024. The papers provide a compact snapshot of current directions in quantitative evaluation and timed systems research.

Discussions

• 無事にQEST+FORMATS'24のtrack chairとしての最後のお仕事であるSTTTのspecial issueも出版された模様 https://doi.org/10.1007/s10009-026-00853-1 [bsky, 0 points, 0 comments]

Related

• Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems
• Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages