SHARPE
From MaRDI portal
Cited in
(53)- Approximate transient analysis of large stochastic models with WinPEPSY-QNS
- Closed-form solution of decomposable stochastic models
- PEPSY-QNS
- TimeNET
- DrawNET++
- LeZi-update
- A two-phase cyclic nonhomogeneous Markov chain performability evaluation by explicit approximate inverses applied to a replicated database system
- SREPT
- MOTOR
- SMART_
- Möbius
- A compositional model to reason about end-to-end QoS in stochastic Reo connectors
- PetriNets
- ExSpect
- Performance analysis of probabilistic action systems
- Agent-based forwarding strategies for reducing location management cost in mobile networks
- Analysis of the deviation of the nonstationary availability factor of a restorable system from its stationary value
- SPNP
- SCUBA
- A review of attack graph and attack tree visual syntax in cyber security
- AToM3
- Improving network service performance and reliability via links trunking technologies
- SPNica
- scientific article; zbMATH DE number 1629928 (Why is no real title available?)
- Rough set methods for the synthesis and analysis of concurrent processes
- MulVAL
- Fast computation of bounds for two-terminal network reliability
- Response Time Distributions in Networks of Queues
- FM - a pragmatic tool to model, analyse and predict complex behaviour of industrial systems
- Towards robust predictive fault-tolerant control for a battery assembly system
- ADEPTS
- A survivability model in wireless sensor networks
- Investigating dynamic reliability and availability through state-space models
- How to capture dynamic behaviours of dependable systems
- MOSEL
- scientific article; zbMATH DE number 1210206 (Why is no real title available?)
- scientific article; zbMATH DE number 1219609 (Why is no real title available?)
- scientific article; zbMATH DE number 1008397 (Why is no real title available?)
- scientific article; zbMATH DE number 1946769 (Why is no real title available?)
- Evaluating layered distributed software systems with fault-tolerant features
- Architecture-based approach to reliability assessment of software systems
- OPTIMAL SOFTWARE RELEASE POLICY BASED ON MARKOVIAN PERFECT DEBUGGING MODEL
- A Comparative Cost Analysis of Degradable Location Management Algorithms in Wireless Networks
- scientific article; zbMATH DE number 2156742 (Why is no real title available?)
- SREPT: software reliability estimation and prediction tool
- scientific article; zbMATH DE number 846276 (Why is no real title available?)
- Game theoretic modeling and dependability analysis of small cell relays under bandwidth spoofing attack in 5G wireless communication network
- Diagnosing Hybrid Dynamical Systems Using Max-Plus Algebraic Methods
- Stochastic Discrete Event Systems
- Architecture-based approaches to software reliability prediction
- Formal reliability analysis of redundancy architectures
- Stochastic modeling for delay analysis of a VoIP network
- A queueing theoretic approach for performance evaluation of low-power multi-core embedded systems
This page was built for software: SHARPE
