{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,22]],"date-time":"2026-05-22T15:05:32Z","timestamp":1779462332555,"version":"3.53.1"},"reference-count":5,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T00:00:00Z","timestamp":1774396800000},"content-version":"vor","delay-in-days":52,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2026,2]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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.<\/jats:p>","DOI":"10.1007\/s10009-026-00853-1","type":"journal-article","created":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T12:43:53Z","timestamp":1774442633000},"page":"1-3","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Introduction to the special issue on timed and stochastic approaches to system evaluation"],"prefix":"10.1007","volume":"28","author":[{"given":"Jane","family":"Hillston","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Masaki","family":"Waga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,3,25]]},"reference":[{"key":"853_CR1","doi-asserted-by":"crossref","unstructured":"C\u00f4me, A., Fabre, \u00c9., H\u00e9lou\u00ebt, L.: A Floyd-Warshall approach to value computation in Markov decision processes. Int. J. Softw. Tools Technol. Transf. (2026). (This issue)","DOI":"10.1007\/s10009-026-00849-x"},{"key":"853_CR2","doi-asserted-by":"crossref","unstructured":"Cry, P., Horv\u00e1th, A., Ballarini, P., Gall, P.L.: An efficient stochastic process discovery framework based on optimization. Int. J. Softw. Tools Technol. Transf. (2026). (This issue)","DOI":"10.1007\/s10009-026-00850-4"},{"key":"853_CR3","series-title":"Proceedings, Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-68416-6","volume-title":"Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems\u00a0- First International Joint Conference, QEST+FORMATS 2024","year":"2024","unstructured":"Hillston, J., Soudjani, S., Waga, M. (eds.): Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems\u00a0- First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024. Proceedings, Lecture Notes in Computer Science, vol.\u00a014996. Springer, Berlin (2024). https:\/\/doi.org\/10.1007\/978-3-031-68416-6."},{"key":"853_CR4","unstructured":"Kalat, S.T., Sankaranarayanan, S., Trivedi, A.: Shaping rewards for active discount factor elicitation. Int. J. Softw. Tools Technol. Transf. (2026). (This issue)"},{"key":"853_CR5","doi-asserted-by":"crossref","unstructured":"Rino, N., Foughali, M., Asarin, E.: Efficiently computable temporal robustness for a practical STL fragment. Int. J. Softw. Tools Technol. Transf. (2026). (This issue)","DOI":"10.1007\/s10009-026-00852-2"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00853-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-026-00853-1","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00853-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,22]],"date-time":"2026-05-22T14:13:53Z","timestamp":1779459233000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-026-00853-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":5,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,2]]}},"alternative-id":["853"],"URL":"https:\/\/doi.org\/10.1007\/s10009-026-00853-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2]]},"assertion":[{"value":"27 February 2026","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}