The emergence of the Internet of Things (IoT) introduced new classes of applications whose
latency and bandwidth requirements could not be satisfied by the traditional Cloud …

This paper presents a new system, called NetSolve, that allows users to access
computational resources, such as hardware and software, distributed across the network …

Analytical modeling plays a crucial role in the analysis and design of computer systems.
Stochastic Petri Nets represent a powerful paradigm, widely used for such modeling in the …

The Mobius framework is an environment for supporting multiple modeling formalisms and
solution techniques. Models expressed in formalisms that are compatible with the framework …

Critical services in a telecommunication network should be continuously provided even
when undesirable events like sabotage, natural disasters, or network failures happen. It is …

In this thesis, we present efficient implementation techniques for probabilistic model
checking, a method which can be used to analyse probabilistic systems such as randomised …

In a large Infrastructure-as-a-Service (IaaS) cloud, component failures are quite common.
Such failures may lead to occasional system downtime and eventual violation of Service …

For Cloud based services to support enterprise class production workloads, Mainframe like
predictable performance is essential. However, the scale, complexity, and inherent resource …

There is a need to quantify system properties methodically. Dependability and security
models have evolved nearly independently. Therefore, it is crucial to develop a classification …

High-availability assurance of cloud service is a critical and challenging issue for cloud
service providers. To quantify the availability of cloud services from both architectural and …