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

Jane Hillston; Sadegh Soudjani; Masaki Waga

doi:10.1007/s10009-026-00853-1

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

Jane Hillston^*
, Sadegh Soudjani
, Masaki Waga

^*Corresponding author for this work

Computer Science

Research output: Contribution to journal › Article › peer-review

6 Downloads (Pure)

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.

Original language	English
Pages (from-to)	1-3
Number of pages	3
Journal	International Journal on Software Tools for Technology Transfer
Volume	28
DOIs	https://doi.org/10.1007/s10009-026-00853-1
Publication status	Published - 25 Mar 2026

Keywords

Reliability
Performance
Safety
Quantitative evaluation
Probabilistic systems
Model checking
Timed systems
Verification
Monitoring

Access to Document

10.1007/s10009-026-00853-1Licence: Creative Commons: Attribution (CC BY)

HillstonJ2026IntroductionFinal published version, 1.01 MBLicence: Creative Commons: Attribution (CC BY)

Cite this

@article{813d219f9855451aa5c18a7a48a18d4f,

title = "Introduction to the special issue on timed and stochastic approaches to system evaluation",

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.",

keywords = "Reliability, Performance, Safety, Quantitative evaluation, Probabilistic systems, Model checking, Timed systems, Verification, Monitoring",

author = "Jane Hillston and Sadegh Soudjani and Masaki Waga",

year = "2026",

month = mar,

day = "25",

doi = "10.1007/s10009-026-00853-1",

language = "English",

volume = "28",

pages = "1--3",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer",

}

TY - JOUR

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

AU - Hillston, Jane

AU - Soudjani, Sadegh

AU - Waga, Masaki

PY - 2026/3/25

Y1 - 2026/3/25

N2 - 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.

AB - 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.

KW - Reliability

KW - Performance

KW - Safety

KW - Quantitative evaluation

KW - Probabilistic systems

KW - Model checking

KW - Timed systems

KW - Verification

KW - Monitoring

U2 - 10.1007/s10009-026-00853-1

DO - 10.1007/s10009-026-00853-1

M3 - Article

SN - 1433-2779

VL - 28

SP - 1

EP - 3

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

ER -

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

Abstract

Keywords

Access to Document

Fingerprint

Cite this