Methods for the formal verification and specification of systems are a critical tool for the
development of correct systems, and they have been applied to the design of hardware …

In this paper we present a novel performance analysis technique for large scale systems
modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of …

Data flow models are used for specifying and analysing signal processing and streaming
applications. However, traditional data flow models are either not capable of expressing the …

This paper examines numerical issues in computing solutions to networks of stochastic
automata. It is well-known that when the matrices that represent the automata contain only …

Bisimulation is a well known equivalence relation for discrete event systems and has been
extended to probabilistic and stochastic systems. This paper introduces a general definition …

Improving patient flow is a way to refine health services. An efficient patient flow can improve
the quality of services and the utilization of resources. A smart environment could facilitate …

In the 1980s process algebras became widely accepted formalisms for describing and
analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems …

We present a toolbox for the combined functional and quantitative analysis of discrete event
dynamic systems (DEDS) on the basis of a common model interchange format, the Abstract …

This paper introduces structured analysis approaches for the iterative numerical analysis of
continuous time Markov chains (CTMCs) which are a means to extend the size of analyzable …

The numerical analysis of various modeling formalisms profits from a structured
representation for the generator matrix Q of the underlying continuous-time Markov chain …