What question did this study set out to answer?

This special issue aims to explore advancements in timed and stochastic approaches for evaluating systems.

March 27, 2026International Journal on Software Tools for Technology Transfer0 citationsOpen Access

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

JHJane HillstonUniversity of Edinburgh SSSadegh SoudjaniUniversity of Alabama at Birmingham MWMasaki WagaNational Institute of Informatics

Key Points

This special issue aims to explore advancements in timed and stochastic approaches for evaluating systems.
Extended versions of four selected papers from a joint conference
Focus on quantitative evaluation and timed systems research
Papers provide a compact snapshot of current directions
Showcase cutting-edge research in timed systems
Highlight trends in quantitative evaluation
Include insights from international experts gathered at the conference

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.

Demander à l'IA

Bookmark

View Full Paper