In the verification of reactive systems with nondeterministic densely valued temporal
parameters, the state-space can be covered through equivalence classes, each composed …

We present the next generation of ORIS, a toolbox for quantitative evaluation of concurrent
models with non-Markovian timers. The tool shifts its focus from timed models to stochastic …

Oris is a tool for qualitative verification and quantitative evaluation of reactive timed systems,
which supports modeling and analysis of various classes of timed extensions of Petri Nets …

We consider the problem of verifying quantitative reachability properties in stochastic
models of concurrent activities with generally distributed durations. Models are specified as …

This paper presents a parameter analysis method to solve the parameter uncertainty
problem for hybrid system and explore the correlation of key parameters for distributed …

Abstract Stochastic Timed Automata (STA) associate logical locations with continuous,
generally distributed sojourn times. In this paper, we introduce Networks of Stochastic Timed …

Abstract The European Rail Traffic Management System/European Train Control System
(ERTMS/ETCS) is an innovative standard introduced to enhance reliability, safety …

Abstract Analysis of stochastic models is often hurdled by the complexity of probability
density functions associated with generally distributed random variables. Among the …

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 …

Workflows are patterns of orchestrated activities designed to deliver some specific output,
with application in various relevant contexts including software services, business …