Learn More
CASPA Composition and Analysis of Stochastic Process Algebra stochastic process algebra tool performance and dependability modelling, analysis and verification. Markovian transitions negative exponentially distributed transitions used for modelling delays specification by rates Immediate transitions used for modelling timeless actions (e.g.(More)
This paper presents LARES, a novel approach to the modeling of fault-tolerant systems. We introduce a formalism for describing the structure of a system which is able to express dynamic behavior such as imperfect coverage, common cause errors, failure propagation, increase of failure rates after partial system failure, and phased missions. It is designed(More)
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' behaviours, we present a new approach based on summary stochastic models for the peer sampling service. Instead of an ordinary state- and transition-based model, a matrix-based approach(More)
Anterior uveitis and secondary glaucoma resulting from intraocular ointment has not been reported. The advent of small-incision surgery has likely reduced the incidence of this complication to low levels. We report a case of anterior uveitis after small-incision cataract surgery due to an intraocular ointment base. The course of this rare case is described(More)
Literatur: Context-free Chomsky Grammars can be used as a medium to describe syntactic structures of sentences of natural language. But not all syntactic peculiarities of certain languages can be modeled. For example non-continuous constituents or free word-order, which appears in German or many other languages. The phenomenon of non-continuous constituents(More)
Critical infrastructures (CI) are very complex and highly interdependent systems, networks and assets that provide essential services in our daily life. Most CI are either built upon or monitored and controlled by vulnerable information and communication technology (ICT) systems. Critical infrastructures are highly interconnected systems and often use(More)