We evaluate a stochastic upper bound on the response time Probability Density Function
(PDF) of complex workflows through an efficient and accurate compositional approach …

We present a new method for the accurate analysis of the quality-of-service (QoS) properties
of component-based systems. Our method takes as input a QoS property of interest and a …

Emerging technologies, like self-driving cars, drones, and the Internet-of-Things must not
impose threats to people, neither due to accidental failures (safety), nor due to malicious …

We propose a compositional technique for efficient evaluation of the cumulative distribution
function of the response time of complex workflows, consisting of activities with generally …

We consider parametric version of fixed-delay continuous-time Markov chains (or
equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are …

We introduce a tool-supported method for the automated refinement of continuous-time
Markov chains (CTMCs) used to assess quality properties of component-based software …

We present a practically appealing extension of the probabilistic model checker PRISM
rendering it to handle fixed-delay continuous-time Markov chains (fdCTMCs) with rewards …

We consider the fixed-delay synthesis problem for continuous-time Markov chains extended
with fixed-delay transitions (fdCTMC). The goal is to synthesize concrete values of the fixed …

Workflows describe processes of concurrent activities orchestrated by precedence
constraints and control-flow constructs and are successfully applied to a large variety of …

Operational processes are at the core of many organisations. The failure and misuse of
these processes can cause significant economic losses to businesses or, in the worst cases …