• Publications
  • Influence
Probability and Statistics with Reliability, Queuing, and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition, offers a comprehensive introduction to probabiliby, stochastic processes, and statistics forExpand
SPNP: stochastic Petri net package
SPNP, a powerful GSPN package that allows the modeling of complex system behaviors, is presented and is compared with two other SPN-based packages, Great SPN and METASAN. Expand
A BDD-based algorithm for reliability analysis of phased-mission systems
This paper presents a new algorithm (PMS-BDD) based on the binary decision diagram (BDD) for reliability analysis of phased-mission systems (PMS). PMS-BDD uses phase algebra to deal with theExpand
Markov Regenerative Stochastic Petri Nets
A new class of stochastic Petri nets, called Markov Regenerative StochasticPetri Nets (MRSPNs), is introduced that can be analyzed by means of Markov regenerative processes and constitutes a true generalization of all the above classes. Expand
Model-based evaluation: from dependability to security
It is found that many techniques from dependiveness evaluation can be applied in the security domain, but that significant challenges remain, largely due to fundamental differences between the accidental nature of the faults commonly assumed in dependability evaluation, and the intentional, human nature of cyber attacks. Expand
Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software
The SHARPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) package is the `toolchest' that allows the authors to specify stochastic models easily and solve them quickly, adopting model hierarchies and very efficient solution techniques. Expand
Analysis of Software Aging in a Web Server
Based on the models employed here, proactive management techniques like software rejuvenation triggered by actual measurements can be built and how the exploitation of the seasonal variation can help in adequately predicting the future resource usage is shown. Expand
Numerical transient analysis of markov models
The numerical evaluation of Markov model transient behavior is considered, with a focus on the general problem of finding the state probability vector of a large, continuous-time, discrete-state Markov chain. Expand