Dependability is an umbrella concept that subsumes many key properties about a system, including reliability, maintainability, safety, availability, confidentiality, and integrity. Various dependability modeling techniques have been developed to effectively capture the failure characteristics of systems over time. Traditionally, dependability models are analyzed using paper-and-pencil proof met...

There is a wide range of new applications that stress the need for business process models that are able to handle imprecise data. This paper studies the underlying modelling and analysis issues. It uses as formal model to describe process behaviours a labelled transitions system in which transitions are guarded by conditions defined over a probabilistic database and presents an approach for te...

One of the major advantages of model checking over other formal methods of verification is its ability to generate an error trace when the specification is falsified in the model. We call this trace a counterexample. In probabilistic model checking (PMC), counterexample generation has a quantitative aspect. The counterexample is a set of paths in which a path formula holds, and their accumulate...

The paper describes existing applications of probabilistic methods, namely simulated annealing and genetic algorithms, in solving problems concerning triangulated models. Most of applications are related to global optimization triangulation criteria, improvement of shapes of triangles or tetrahedra and positions of vertices, sometimes in the context of digital images. The paper also sums up typ...