On the logical characterisation of performability properties

C Baier, B Haverkort, H Hermanns… - Automata, Languages and …, 2000 - Springer
Markov-reward models, as extensions of continuous-time Markov chains, have received
increased attention for the specification and evaluation of performance and dependability …

Markovian models for performance and dependability evaluation

BR Haverkort - School organized by the European Educational Forum, 2000 - Springer
Markovian models have been used for about a century now for the evaluation of the
performance and dependability of computer and communication systems. In this paper, we …

Transient analysis of manufacturing systems performance

Y Narahari, N Viswanadham - IEEE transactions on robotics …, 1994 - ieeexplore.ieee.org
We present several situations in manufacturing systems where transient analysis is very
important. Manufacturing systems and models in which such situations arise include …

Performability modelling tools and techniques

BR Haverkort, IG Niemegeers - Performance evaluation, 1996 - Elsevier
Over the last decade considerable effort has been put in the development of techniques to
assess the performance and the dependability of computer and communication systems in …

Specification techniques for Markov reward models

BR Haverkort, KS Trivedi - Discrete Event Dynamic Systems, 1993 - Springer
Markov reward models (MRMs) are commonly used for the performance, dependability, and
performability analysis of computer and communication systems. Many papers have …

Reliability and performability techniques and tools: A survey

KS Trivedi, M Malhotra - … , Modellierung und Bewertung von Rechen-und …, 1993 - Springer
Reliability and performability modeling techniques and tools have been an area of lot of
research activity in the last ten years. We present a survey of different techniques and tools …

Dependability and performability analysis

KS Trivedi, G Ciardo, M Malhotra… - … Symposium on Computer …, 1993 - Springer
In this tutorial, we discuss several practical issues regarding specification and solution of
dependability and performability models. We compare model types with and without …

State space exploration in Markov models

E de Souza e Silva, PM Ochoa - … of the 1992 ACM SIGMETRICS joint …, 1992 - dl.acm.org
Performance and dependability analysis is usually based on Markov models. One of the
main problems faced by the analyst is the large state space cardinality of the Markov chain …

[LIBRO][B] Information assurance: dependability and security in networked systems

Y Qian, D Tipper, P Krishnamurthy, J Joshi - 2010 - books.google.com
In today's fast paced, infocentric environment, professionals increasingly rely on networked
information technology to do business. Unfortunately, with the advent of such technology …

[PDF][PDF] Specification and construction of performability models

JF Meyer, WH Sanders - Proceedings of the Second …, 1993 - perform.illinois.edu
Model-based performability evaluation of computer and communication systems requires
accurate and efficient techniques for model construction as well as model solution …