Service-based systems that are dynamically composed at runtime to provide complex,
adaptive functionality are currently one of the main development paradigms in software …

System-of-Systems (SoS) result from the collaboration of independent Constituent Systems
(CSs), connected in a certain configuration known as an architectural configuration, to …

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

Abstract Models play a central role in software engineering. They may be used to reason
about requirements, to identify possible missing parts or conflicts. They may be used at …

Reasoning about the performance of models of software systems typically entails the
derivation of metrics such as throughput, utilization, and response time. If the model is a …

Background Identifying a proper model structure, using methods that address both structural
and parameter uncertainty, is a crucial problem within the systems approach to biology. And …

We give a survey of formal verification techniques that can be used to corroborate existing
experimental results for gossiping protocols in a rigorous manner. We present properties of …

We investigate the behaviour of population models, specified in stochastic Concurrent
Constraint Programming (sCCP). In particular, we focus on models from which we can …

Markov processes with discrete time and arbitrary state spaces are important models in
probability theory. They model the infinite steps of non-terminating programs with (not just …

A System-of-Systems (SoS) is a complex, dynamic system whose Constituent Systems (CSs)
are not known precisely at design time, and the environment in which they operate is …