Kishor Shridharbhai Trivedi

Kishor Shridharbhai Trivedi's AcademicInfluence.com Rankings

Engineering

#1515

World Rank

#2221

Historical Rank

Electrical Engineering

#214

World Rank

#246

Historical Rank

engineering Degrees

Kishor Shridharbhai Trivedi

Computer Science

#2465

World Rank

#2575

Historical Rank

Database

#301

World Rank

#315

Historical Rank

computer-science Degrees

Download Badge

Engineering
Computer Science

Why Is Kishor Shridharbhai Trivedi Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Kishor Shridharbhai Trivedi's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Probability and Statistics with Reliability, Queuing, and Computer Science Applications (1984) (2962)
Queueing Networks and Markov Chains (2005) (872)
Queueing Networks and Markov Chains - Modeling and Performance Evaluation with Computer Science Applications, Second Edition (1998) (866)
SPNP: stochastic Petri net package (1989) (672)
Model-based evaluation: from dependability to security (2004) (531)
Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software (1997) (433)
Performance and Reliability Analysis of Computer Systems (1996) (340)
Numerical transient analysis of markov models (1988) (333)
A methodology for detection and estimation of software aging (1998) (315)
Proactive management of software aging (2001) (307)
Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets (1993) (307)
A Decomposition Approach for Stochastic Reward Net Models (1993) (303)
Reliability Modeling Using SHARPE (1987) (300)
Markov Regenerative Stochastic Petri Nets (1994) (294)
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems (1989) (287)
Performability Analysis: Measures, an Algorithm, and a Case Study (1988) (284)
Extended Stochastic Petri Nets: Applications and Analysis (1984) (277)
Analysis of Software Aging in a Web Server (2006) (273)
Combining Cloud and sensors in a smart city environment (2012) (272)
A comprehensive model for software rejuvenation (2005) (262)
Dependability modeling using Petri-nets (1995) (258)
Performance Modeling of PBFT Consensus Process for Permissioned Blockchain Network (Hyperledger Fabric) (2017) (251)
A BDD-based algorithm for reliability analysis of phased-mission systems (1999) (248)
Fighting bugs: remove, retry, replicate, and rejuvenate (2007) (247)
Design and Analysis of a Robust Broadcast Scheme for VANET Safety-Related Services (2012) (245)
A COMPARISON OF APPROXIMATE INTERVAL ESTIMATORS FOR THE BERNOULLI PARAMETER (1993) (240)
Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net (1995) (231)
The fundamentals of software aging (2008) (222)
Optimization for condition-based maintenance with semi-Markov decision process (2005) (221)
Analysis of Preventive Maintenance in Transactions Based Software Systems (1998) (221)
Fluid stochastic Petri nets: Theory, applications, and solution techniques (1998) (214)
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains (1986) (208)
A measurement-based model for estimation of resource exhaustion in operational software systems (1999) (194)
An approach for estimation of software aging in a Web server (2002) (191)
Markov and Markov reward model transient analysis: An overview of numerical approaches (1989) (182)
Availability Modeling and Analysis of a Virtualized System (2009) (181)
Reliability prediction and sensitivity analysis based on software architecture (2002) (178)
Analytic Queueing Models for Programs with Internal Concurrency (1983) (173)
Stochastic Reward Nets for Reliability Prediction (1996) (171)
Composite Performance and Dependability Analysis (1992) (171)
FSPNs: Fluid Stochastic Petri Nets (1993) (168)
Performance and Reliability Analysis Using Directed Acyclic Graphs (1987) (168)
SHARPE at the age of twenty two (2009) (167)
The hybrid automated reliability predictor (1986) (160)
Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees (2012) (159)
SPNP: Stochastic Petri Nets. Version 6.0 (2000) (158)
A time/structure based software reliability model (1999) (157)
Network survivability modeling (2009) (157)
Analysis and implementation of software rejuvenation in cluster systems (2001) (156)
Power-hierarchy of dependability-model types (1994) (155)
Stochastic Petri Net Models of Polling Systems (1990) (146)
Probabilistic modeling of computer system availability (1987) (144)
Loss formulas and their application to optimization for cellular networks (2001) (143)
An empirical investigation of fault types in space mission system software (2010) (141)
An analytical approach to architecture-based software reliability prediction (1998) (140)
Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework (2006) (136)
Log-logistic software reliability growth model (1998) (134)
A workload-based analysis of software aging, and rejuvenation (2005) (133)
On-line algorithms for division and multiplication (1975) (132)
Network survivability performance evaluation:: a quantitative approach with applications in wireless ad-hoc networks (2002) (129)
Reliability estimation of fault-tolerant systems: tools and techniques (1990) (124)
End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach (2010) (124)
Modeling and performance analysis of large scale IaaS Clouds (2013) (121)
Estimating Software Rejuvenation Schedules in High-Assurance Systems (2001) (119)
Scalable Analytics for IaaS Cloud Availability (2014) (117)
Queueing Network Models for Parallel Processing with Asynchronous Tasks (1982) (116)
Locating program features using execution slices (1999) (116)
On the Solution of GSPN Reward Models (1991) (116)
STIFFNESS-TOLERANT METHODS FOR TRANSIENT ANALYSIS OF STIFF MARKOV CHAINS (1994) (115)
Dependability and security models (2009) (115)
Transient Analysis of Deterministic and Stochastic Petri Nets (1993) (114)
Analysis of a two-level software rejuvenation policy (2005) (114)
A survey of efficient reliability computation using disjoint products approach (1995) (114)
Multistage Interconnection Network Reliability (1989) (113)
Closed-form analytical results for condition-based maintenance (2002) (112)
Performability Analysis Using Semi-Markov Reard Processes (1990) (111)
Sensitivity analysis of reliability and performability measures for multiprocessor systems (1988) (111)
Reliability analysis of interconnection networks using hierarchical composition (1989) (111)
Reliability simulation of component-based software systems (1998) (110)
Performance Modeling of Hyperledger Fabric (Permissioned Blockchain Network) (2018) (107)
A decomposition approach for stochastic Petri net models (1991) (106)
Quantifying software performance, reliability and security: An architecture-based approach (2007) (105)
Real-time systems performance in the presence of failures (1991) (104)
A scalable availability model for Infrastructure-as-a-Service cloud (2011) (104)
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components (2003) (103)
Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees (2012) (103)
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule (2000) (103)
Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package (2012) (102)
Discrete-event simulation of fluid stochastic Petri nets (1997) (102)
Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems (1983) (99)
Availability analysis of blade server systems (2008) (99)
Minimizing completion time of a program by checkpointing and rejuvenation (1996) (98)
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator (2002) (98)
Performability analysis of clustered systems with rejuvenation under varying workload (2007) (96)
Analysis of Typical Fault-Tolerant Architectures using HARP (1987) (96)
Quantifying Resiliency of IaaS Cloud (2010) (96)
An analytical approach to architecture-based software performance and reliability prediction (2004) (95)
THE SYSTEM AVAILABILITY ESTIMATOR (1996) (92)
Reliability and Performability Modeling Using SHARPE 2000 (2000) (91)
Software Reliability and Testing Time Allocation: An Architecture-Based Approach (2010) (90)
An improved algorithm for symbolic reliability analysis (1991) (90)
Decomposition in Reliability Analysis of Fault-Tolerant Systems (1983) (89)
Optimal Software Rejuvenation for Tolerating Soft Failures (1996) (89)
Cyber security analysis using attack countermeasure trees (2010) (89)
Markovian Arrival Process Parameter Estimation With Group Data (2009) (88)
Performability Modeling Based on Real Data: A Case Study (1988) (87)
Transient analysis of cumulative measures of markov model behavior (1989) (83)
A Best Practice Guide to Resource Forecasting for Computing Systems (2007) (82)
Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration (2013) (82)
Unification of finite failure non-homogeneous Poisson process models through test coverage (1996) (81)
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models (1996) (81)
Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks (2007) (80)
Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation (2007) (80)
Composite performance and availability analysis of wireless communication networks (2001) (80)
Modeling and analysis of software rejuvenation in a server virtualized system (2010) (78)
Security analysis of SITAR intrusion tolerance system (2003) (77)
Hierarchical composition and aggregation of state-based availability and performability models (2003) (77)
Accelerated Degradation Tests Applied to Software Aging Experiments (2010) (77)
NUMERICAL EVALUATION OF PERFORMABILITY AND JOB COMPLETION TIME IN REPAIRABLE FAULT-TOLERANT SYSTEMS. (1990) (76)
Improving Convergence Speed and Scalability in OSPF: A Survey (2012) (75)
A Classification of Software Faults (2011) (75)
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches (1995) (74)
Supporting VBR VoIP Traffic in IEEE 802.11 WLAN in PCF Mode (2002) (74)
Performance Evaluation of Client-Server Systems (1993) (73)
Recent Developments in Non-Markovian Stochastic Petri Nets (1998) (73)
Reliability Analysis of Phased-Mission System With Independent Component Repairs (2007) (72)
Modeling Correlation in Software Recovery Blocks (1993) (71)
Fault triggers in open-source software: An experience report (2013) (71)
Stochastic Modeling Formalisms for Dependability, Performance and Performability (2000) (70)
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets (1992) (70)
Analytic modeling of handoffs in wireless cellular networks (2002) (69)
Call admission control for reducing dropped calls in code division multiple access (CDMA) cellular systems (2000) (69)
Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML (2011) (69)
Markov Dependability Models of Complex Systems: Analysis Techniques (1996) (69)
Resilience in computer systems and networks (2009) (67)
Phased-mission system analysis using Boolean algebraic methods (1994) (66)
The Design of a Unified Package for the Solution of Stochastic Petri Net Models (1985) (66)
Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain (2004) (66)
Transient Analysis of Acyclic Markov Chains (1987) (65)
A General Framework for Network Survivability Quantification (2004) (65)
Performance and reliability evaluation of passive replication schemes in application level fault tolerance (1999) (65)
Analytical Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services (2017) (64)
On modelling the performance and reliability of multimode computer systems (1986) (64)
Approximate availability analysis of VAXcluster systems (1989) (63)
Incorporating fault debugging activities into software reliability models: a simulation approach (2006) (62)
Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms (2006) (62)
Sensitivity analysis of a hierarchical model of mobile cloud computing (2015) (62)
Uncertainty analysis in reliability modeling (2001) (62)
Sensitivity Analysis of Server Virtualized System Availability (2012) (60)
Survivability analysis of telephone access network (2004) (60)
Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-Channel Schemes (2014) (60)
Software Faults, Software Aging and Software Rejuvenation( New Development of Software Reliability Engineering) (2005) (60)
A refined EM algorithm for PH distributions (2011) (59)
An improved algorithm for coherent-system reliability (1998) (58)
Fixed Point Iteration in Availability Modeling (1991) (58)
Queueing Analysis of Fault-Tolerant Computer Systems (1986) (57)
Important Milestones in Software Reliability Modeling (1996) (57)
Performance modeling of wireless networks with generally distributed handoff interarrival times (2003) (57)
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage (1985) (56)
Reliability and Performability Techniques and Tools: A Survey (1993) (55)
Stochastic Model Driven Capacity Planning for an Infrastructure-as-a-Service Cloud (2014) (54)
A hierarchical model to evaluate quality of experience of online services hosted by cloud computing (2011) (54)
An Interacting Stochastic Models Approach for the Performance Evaluation of DSRC Vehicular Safety Communication (2013) (54)
Software aging in the eucalyptus cloud computing infrastructure (2014) (53)
The Completion Time of Programs on Processors Subject to Failure and Repair (1993) (53)
Adaptive software rejuvenation: degradation model and rejuvenation scheme (2003) (53)
Combined Guard Channel and Mobile-Assisted Handoff for Cellular Networks (2008) (53)
Reliability Analysis of Redundant Arrays of Inexpensive Disks (1993) (52)
Techniques for System Dependability Evaluation (2000) (52)
A comparative experimental study of software rejuvenation overhead (2013) (52)
Analysis of inspection-based preventive maintenance in operational software systems (2002) (51)
Importance analysis with Markov chains (2003) (50)
Modeling User-Perceived Service Availability (2005) (50)
Exact Methods for the Transient Analysis of Nonhomogeneous Continuous Time Markov Chains (1995) (50)
Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations (2007) (49)
Dependability and Performability Analysis (1993) (49)
Optimal Selection of CPU Speed, Device Capacities, and File Assignments (1980) (49)
Task allocation in fault-tolerant distributed systems (1983) (49)
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives (1994) (48)
SREPT: software reliability estimation and prediction tool (1998) (48)
Availability and Reliability Modeling for Computer Systems (1990) (48)
A stochastic model for beaconless IEEE 802.15.4 MAC operation (2009) (47)
Imperfect Coverage Models: Status and Trends (2008) (46)
Investigating dynamic reliability and availability through state-space models (2012) (46)
An algorithm for reliability analysis of phased-mission systems (1999) (46)
Availability Modeling and Analysis of a Virtualized System Using Stochastic Reward Nets (2009) (45)
A BDD-Based Algorithm for Reliability (2000) (45)
SPNP User's Manual Version 6.0 (1999) (45)
A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models (1994) (45)
An infinite server queueing approach for describing software reliability growth: unified modeling and estimation framework (2004) (45)
Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds (2011) (45)
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets (1995) (44)
Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis (2017) (44)
Composite Performance and Availability Analysis Using a Hierarchy of Stochastic Reward Nets (1991) (44)
Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions (1998) (44)
Numerical methods for reliability evaluation of Markov closed fault-tolerant systems (1995) (44)
MAC and application-level broadcast reliability in vanets with channel fading (2013) (44)
Analytical Modeling (1998) (43)
Optimal rejuvenation for tolerating soft failures (1996) (43)
Structure-based software reliability prediction* (1998) (43)
A hierarchial, combinatorial-Markov model of solving complex reliability models (1986) (43)
Extended Classification of Software Faults Based on Aging (2001) (43)
Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams (2010) (43)
Analysis of periodic preventive maintenance with general system failure distribution (2001) (42)
Steady State Analysis of Markov Regenerative SPN with Age Memory Policy (1995) (42)
Non‐Markovian State‐Space Models in Dependability Evaluation (2013) (42)
Dependability modeling of a heterogeneous VAX-cluster system using stochastic reward nets (1992) (41)
Power-performance trade-offs in IaaS cloud: A scalable analytic approach (2011) (41)
Architecture based analysis of performance, reliability and security of software systems (2005) (41)
Performance evaluation: Erratum to “Markov regenerative stochastic Petri nets” [20 (1994) 337–357] (1995) (41)
Markov regenerative models (1995) (40)
Using Accelerated Life Tests to Estimate Time to Software Aging Failure (2010) (40)
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems (1999) (39)
Numerical Transient Solution of Finite Markovian Queueing Systems (1992) (39)
System availability with non-exponentially distributed outages (2002) (38)
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package (2000) (38)
Reliability modeling of life-critical, real-time systems (1994) (38)
On the Paging Performance of Array Algorithms (1977) (38)
Modeling and analysis of software rejuvenation in cable modem termination systems (2002) (37)
Performability Evaluation of Grid Environments Using Stochastic Reward Nets (2015) (37)
Approximate performance models of polling systems using stochastic Petri nets (1992) (37)
Ten Fallacies of Availability and Reliability Analysis (2008) (37)
Confidence interval estimation of NHPP-based software reliability models (1999) (36)
Achieving and assuring high availability (2008) (36)
Effective Modeling Approach for IaaS Data Center Performance Analysis under Heterogeneous Workload (2018) (36)
A software tool for learning about stochastic models (1993) (36)
Reliabilities of two fault-tolerant interconnection networks (1988) (36)
Modeling and performance analysis for soft handoff schemes in CDMA cellular systems (2006) (36)
Transient behavior of ATM networks under overloads (1996) (36)
Prepaging and Applications to Array Algorithms (1976) (35)
Stochastic Petri net modeling of VAXcluster system availability (1989) (35)
Evaluating performance attributes of layered software architecture (2005) (35)
On the Reliability of Safety Applications in VANETs (2012) (34)
Dependency characterization in path-based approaches to architecture-based software reliability prediction (1998) (34)
Application of semi-Markov process and CTMC to evaluation of UPS system availability (2002) (33)
Semi-Markov Models of Composite Web Services for their Performance, Reliability and Bottlenecks (2017) (33)
Performability modelling of wireless communication systems (2003) (33)
How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation (2016) (33)
Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process (2016) (33)
Transient analysis of the leaky bucket rate control scheme under Poisson and ON-OFF sources (1994) (32)
Reliability and availability analysis for the JPL Remote Exploration and Experimentation System (2002) (32)
Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing (1996) (32)
Guarded Repair of Dependable Systems (1994) (32)
Modeling of user perceived webserver availability (2003) (32)
Recovery From Software Failures Caused by Mandelbugs (2016) (32)
Numerical computation of response time distributions using stochastic reward nets (1994) (32)
Fast computation of bounds for two-terminal network reliability (2014) (32)
A comprehensive approach to optimal software rejuvenation (2013) (31)
Reliability analysis techniques explored through a communication network example (1996) (31)
Markov reward approach to performability and reliability analysis (1994) (31)
Future research directions in design of reliable communication systems (2015) (31)
Injecting Memory Leaks to Accelerate Software Failures (2011) (30)
Job completion time on a virtualized server with software rejuvenation (2014) (30)
Modeling High Availability (2006) (30)
On a method for mending time to failure distributions (2005) (30)
Performance analysis of the CORBA event service using stochastic reward nets (2000) (29)
On the analysis of software rejuvenation policies (1997) (29)
Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center (2008) (29)
GSPN Models: Sensitivity Analysis and Applications (1990) (29)
Provably Conservative Approximations to Complex Reliability Models (1986) (29)
Specification and generation of Markov reward models (1992) (29)
The Effect of Detection and Restoration Times for Error Recovery in Communication Networks (1995) (29)
Reproducibility of Environment-Dependent Software Failures: An Experience Report (2014) (29)
Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs (2006) (28)
MODELING FAILURE DEPENDENCIES IN RELIABILITY ANALYSIS USING STOCHASTIC PETRI NETS (2007) (28)
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation (1990) (28)
Recovery from Failures Due to Mandelbugs in IT Systems (2011) (28)
Dependability enhancement for IEEE 802.11 wireless LAN with redundancy techniques (2003) (28)
System resiliency quantification using non-state-space and state-space analytic models (2013) (27)
Conditional MTTF and its computation in Markov reliability models (1993) (27)
The Evolution of Stochastic Petri Nets (1997) (27)
Reliability of Systems with Limited Repairs (1987) (27)
An improved algorithm for the symbolic reliability analysis of networks (1990) (27)
Second-order stochastic fluid models with fluid-dependent flow rates (2002) (27)
Software rejuvenation policies for cluster systems under varying workload (2004) (27)
Markov renewal theory applied to performability evaluation (1996) (27)
A Best Practice Guide to Resources Forecasting for the Apache Webserver (2006) (27)
Stochastic petri net analysis of finite-population vacation queueing systems (1991) (27)
Dependability analysis of distributed computer systems with imperfect coverage (1999) (26)
A Systematic Differential Analysis for Fast and Robust Detection of Software Aging (2014) (26)
A methodology for formal expression of hierarchy in model solution (1993) (26)
Security modeling and quantification of intrusion tolerant systems using attack-response graph (2004) (26)
Fixed point iteration using stochastic reward nets (1995) (26)
On the sensitivity of transient solutions of Markov models (1993) (26)
Software reliability analysis incorporating fault detection and debugging activities (1998) (26)
An empirical investigation of fault repairs and mitigations in space mission system software (2013) (26)
Survivability models for the assessment of smart grid distribution automation network designs (2013) (25)
Design of the hybrid automated reliability predictor (1983) (25)
A Decision Model for Closed Queuing Networks (1979) (25)
Optimal Preventive Maintenance Rate for Best Availability With Hypo-Exponential Failure Distribution (2013) (25)
Effect of repair policies on software reliability (1997) (24)
Survivability analysis of power distribution in smart grids with active and reactive power modeling (2012) (24)
A tutorial on the CARE III approach to reliability modeling. [of fault tolerant avionics and control systems] (1981) (24)
Optimal Design of Linear Storage Hierarchies (1981) (24)
Call admission control for reducing dropped calls in CDMA cellular systems (2002) (24)
Recent advances in modeling response-time distributions in real-time systems (2003) (24)
The completion time of a job on multimode systems (1987) (24)
Online Monitoring of Software System Reliability (2010) (23)
Model-based sensitivity analysis of IaaS cloud availability (2018) (23)
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models (2007) (23)
Computing steady-state mean time to failure for non-coherent repairable systems (2005) (23)
Time-Dependent Behavior of Redundant Systems with Deterministic Repair (1995) (23)
Transient overloads in fault-tolerant real-time systems (1989) (23)
System availability assessment using stochastic models (2013) (22)
Software Aging and Rejuvenation (2007) (22)
Software Rejuvenation: Modeling and Applications (2003) (22)
Reliability Evaluation for Fault-Tolerant Systems (1983) (22)
MAC and application level performance evaluation of beacon message dissemination in DSRC safety communication (2014) (22)
Dependability modeling for computer systems (1991) (22)
Higher radix on-line division (1978) (22)
Sensitivity Analysis of Deterministic and Stochastic Petri Nets (1993) (22)
Studying Aging-Related Bug Prediction Using Cross-Project Models (2019) (21)
GSPM models: sensitivity analysis and applications (1990) (21)
Boolean Algebraic Methods for Phased-Mission System Analysis. (1997) (21)
Software Reliability Analysis of NASA Space Flight Software: A Practical Experience (2016) (21)
Availability models with age-dependent checkpointing (2002) (21)
Preventive Maintenance of Multi-State System with Phase-Type Failure Time Distribution and Non-Zero Inspection Time (2003) (21)
Reliability simulation of fault-tolerant software and systems (1997) (21)
Model Based Approach for Autonomic Availability Management (2006) (20)
Software fault mitigation and availability assurance techniques (2010) (20)
MODELING USER-PERCEIVED RELIABILITY BASED ON USER BEHAVIOR GRAPHS (2009) (20)
Optimal periodic software rejuvenation policies based on interval reliability criteria (2018) (20)
The impact of fault expansion on the interval estimate for fault detection coverage (1994) (20)
Survivability quantification of communication services (2008) (20)
Performance and Availability Modeling of ITSystems with Data Backup and Restore (2014) (20)
An analytic treatment of the reliability and performance of mirrored disk subsystems (1993) (19)
Analyses Using Stochastic Reward Nets (1995) (19)
SPNP: The Stochastic Petri Net Package (Version 3.1) (1993) (19)
A cache error propagation model (1997) (19)
Combining Performance and Availability Analysis in Practice (2012) (19)
Response Time Distributions in Networks of Queues (2011) (19)
Availability Monitor for a Software Based System (2007) (19)
Sensitivity analysis of Markov regenerative stochastic Petri nets (1993) (19)
Analysis of Stiff Markov Chains (1989) (19)
Defects per Million Computation in Service-Oriented Environments (2015) (19)
A novel approach for software vulnerability classification (2017) (19)
Reliability modeling of the MARS system: a case study in the use of different tools and techniques (1991) (19)
Modeling Using Stochastic Reward Nets (1993) (18)
Accelerating Mean Time to Failure Computations (1996) (18)
An Empirical Investigation of Fault Triggers in Android Operating System (2017) (18)
Analysis of conditional MTTF of fault-tolerant systems (1998) (18)
Reliability analysis of the double counter-rotating ring with concentrator attachments (1994) (18)
Performance Analysis of Cellular Networks with Generally Distributed Handoff Interarrival Times (18)
Componentwise decomposition for an efficient reliability computation of systems with repairable components (1995) (18)
A BDD-Based Algorithm for Reliability Evaluation of Phased Mission System (1999) (18)
Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques (2013) (18)
Integration of Specification for Modeling and Specification for System Design (1993) (18)
Analysis of M/G/2 - Standby Redundant System (1983) (18)
Computing the Number of Calls Dropped Due to Failures (2010) (18)
Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets (2011) (17)
Modeling of Online Service Availability Perceived by Web Users (2002) (17)
StackOFFence: a technique for defending against buffer overflow attacks (2005) (17)
The Nature of the Times to Flight Software Failure during Space Missions (2012) (17)
Improvement of expectation–maximization algorithm for phase‐type distributions with grouped and truncated data (2013) (17)
An empirical study of software reliability in SDN controllers (2017) (17)
A proactive approach towards always-on availability in broadband cable networks (2005) (17)
Assessing survivability of smart grid distribution network designs accounting for multiple failures (2014) (16)
The Relationship between Software Bug Type and Number of Factors Involved in Failures (2016) (16)
Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation (2011) (16)
Reliability and performance of general two-dimensional broadcast wireless network (2016) (16)
Maximizing interval reliability in operational software system with rejuvenation (2003) (16)
Sensitivity Analysis of Availability of Redundancy in Computer Networks (2011) (16)
Non-Markovian Petri nets (1995) (16)
Evaluation of software performance affected by aging (2010) (16)
Channel Allocation with Recovery Strategy in Wireless Networks (2000) (16)
Simulation versus analytic-numeric methods: illustrative examples (2007) (16)
Quantification of system survivability (2015) (15)
Ensuring the Performance of Apache HTTP Server Affected by Aging (2014) (15)
Dependability Evaluation of a Class of Multi-Loop Topologies for Local Area Networks (1989) (15)
Approximate analysis of priority scheduling systems using stochastic reward nets (1993) (15)
Availability Modeling and Analysis for Data Backup and Restore Operations (2012) (15)
HiRel: Hybrid Automated Reliability Predictor (HARP) integrated reliability tool system, (version 7.0). Volume 2: HARP tutorial (1994) (15)
Transient Analysis of Markov and Markov Reward Models (1987) (15)
Two-Level Rejuvenation for Android Smartphones and Its Optimization (2019) (15)
Optimal Design of Multilevel Storage Hierarchies (1982) (15)
Uncertainty Propagation in Analytic Availability Models (2010) (15)
Uncertainty Propagation through Software Dependability Models (2011) (14)
Should I add a processor? (performance evaluation) (1990) (14)
Comparing Software Rejuvenation Policies under Different Dependability Measures (2004) (14)
The development of an integrated modeling environment (1998) (14)
Performability analysis of channel allocation with channel recovery strategy in cellular networks (1998) (14)
Analyzing Software Rejuvenation Techniques in a Virtualized System: Service Provider and User Views (2020) (14)
A channel recovery method in TDMA wireless systems (1999) (14)
A unified performance reliability analysis of a system with a cumulative down time constraint (1992) (14)
Assessing survivability to support power grid investment decisions (2016) (14)
State space approach to security quantification (2005) (14)
Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain (2011) (14)
A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models (1986) (14)
Analytic Modeling of Computer Systems (1978) (13)
An integrated reliability modeling environment (1999) (13)
Analytical Survivability Model for Fault Tolerant Cellular Networks Supporting Multiple Services (2006) (13)
Packet Delivery Ratio in k-Dimensional Broadcast Ad Hoc Networks (2013) (13)
Optimizing Software Rejuvenation Policies under Interval Reliability Criteria (2012) (13)
Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach (1997) (13)
Availability and performance evaluation for automatic protection switching in TDMA wireless system (1999) (13)
On Modeling the Performance of Real-Time Systems in the Presence of Failures (1993) (13)
Software Rejuvenation - Modeling and Analysis (2004) (13)
Monitoring and Mitigating Software Aging on IBM Cloud Controller System (2017) (13)
Software Rejuvenation: Do IT & Telco Industries Use It? (2012) (13)
Handbook of Software Aging and Rejuvenation - Fundamentals, Methods, Applications, and Future Directions (2020) (13)
Performability Modeling for RAID Storage Systems by Markov Regenerative Process (2018) (13)
Markov Regenerative Models of WebServers for Their User-Perceived Availability and Bottlenecks (2020) (12)
Hierarchical computation of interval availability and related metrics (2004) (12)
Application-level scheme to enhance VANET event-driven multi-hop safety-related services (2017) (12)
How Different Architecture Based Software Reliability Models Are Related (2000) (12)
Design and Performance Analysis of a New Soft Handoff Scheme for CDMA Cellular Systems (2006) (12)
A stochastic reward net model for performance analysis of prioritized DQDB MAN (1999) (12)
Analysis of bugs in Apache Virtual Computing Lab (2013) (12)
SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment (2015) (12)
Performance analysis of distributed real-time databases (1998) (12)
Reliability analysis of various station attachment schemes in a FDDI token ring (1993) (12)
Scalable stochastic models for cloud services (2012) (12)
A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue (1987) (12)
Analysis of propagation dynamics in complex dynamical network based on disturbance propagation model (2014) (12)
Hierarchical Modeling for Reliability and Performance Measures (1988) (12)
Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure : A Hybrid Method Based on Multiple Thresholds and Time Series Prediction (2012) (11)
Reliable messaging using the CORBA Notification Service (2001) (11)
A Model for Computer Configuration Design (1980) (11)
The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions (1973) (11)
ACT: Attack Countermeasure Trees for Information Assurance Analysis (2010) (11)
Analytical modeling of performance indices under epistemic uncertainty applied to cloud computing systems (2020) (11)
Modeling and Analysis of Software Rejuvenation in Cable Modem Termination System (2003) (11)
Performance analysis of reservation media-access protocol with access and serving queues under bursty traffic in GPRS/EGPRS (2003) (11)
Performance of VANET safety message broadcast at rural intersections (2013) (11)
On reliability modelling of fault-tolerant distributed systems (1989) (11)
Characterizing machines lifecycle in Google data centers (2018) (11)
Composite performance and availability analysis of communications networks. A comparison of exact and approximate approaches (2000) (10)
Markov Modeling Approach for Survivability Analysis of Cellular Networks (2011) (10)
IDEA: integrated design environment for assessment of ATM networks (1996) (10)
Experience Report: Fault Triggers in Linux Operating System: from Evolution Perspective (2017) (10)
Decompositional Analysis of Kronecker Structured Markov Chains (2008) (10)
Fixed-Point Iteration (2017) (10)
Semi-numerical transient analysis of Markov models (1995) (10)
Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds (2015) (10)
Performance Evaluation for DSRC Vehicular Safety Communication (2011) (10)
A Measurement-Based Performability Model for a Multiprocessor System (1987) (10)
An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective (2019) (10)
A Hierarchical Model for Reliability Analysis of Sensor Networks (2010) (10)
Analysis of software reliability and performance (1998) (10)
Increasing Application Accessibility through Java (1998) (10)
Transient analysis of non-Markovian queues via Markov regenerative processes (1996) (10)
The reliability of life-critical computer systems (1986) (10)
From stochastic Petri nets to Markov regenerative stochastic Petri nets (1995) (9)
Design of distribution automation networks using survivability modeling and power flow equations (2013) (9)
Largeness Avoidance in Availability Modeling using Hierarchical and Fixed-point Iterative Techniques (2015) (9)
Reliability analysis of the FDDI token ring (1991) (9)
A multiphase software reliability model: From testing to operational phase (1996) (9)
Stochastic Petri Nets and Their Applications to Performance Analysis of Computer Networks (1998) (9)
A framework for performability modeling of messaging services in distributed systems (2002) (9)
Semi-Markov models for performance evaluation of failure-prone IP multimedia subsystem core networks (2013) (9)
Transient performance analysis of smart grid with dynamic power distribution (2018) (9)
A Robust Broadcast Scheme for VANET One-Hop Emergency Services (2011) (9)
Software rejuvenation scheduling using accelerated life testing (2014) (9)
Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction (2019) (9)
Performance analysis of the CORBA notification service (2001) (8)
Control Networks (1998) (8)
Channel fading impact on multi-hop DSRC safety communication (2013) (8)
OPTIMAL RANDOM AGE REPLACEMENT FOR AVAILABILITY (2012) (8)
A Markov Decision Process Approach for Optimal Data Backup Scheduling (2014) (8)
Modeling and Analysis of Load and Time Dependent Software Rejuvenation Policies (1996) (8)
Effects of failure correlation on software in operation (2000) (8)
A stochastic reward net model for dependability analysis of real-time computing systems (1994) (8)
Survivability Model for Security and Dependability Analysis of a Vulnerable Critical System (2018) (8)
Improvement of EM Algorithm for Phase-Type Distributions with Grouped and Truncated Data (2012) (8)
A performance comparison of optimally designed computer systems with and without virtual memory (1979) (8)
Transient Analysis of Real-Time Systems Using Deterministic and Stochastic Petri Nets (1995) (8)
Survivability as a generalization of recovery (2015) (8)
A Performance Engineering Tool for Tiered Software Systems (2006) (8)
Spnp Users Manual Version 4.0 (1994) (8)
Applications of non-Markovian stochastic Petri nets (1998) (8)
Solutions of large and non-markovian performance models (1994) (8)
Multi-State Availability Modeling in Practice (2012) (8)
Software Aging Detection Based on Differential Analysis: An Experimental Study (2016) (8)
An Approach for Resiliency Quantification of Large Scale Systems (2017) (8)
Markov reliability models for digital flight control systems (1989) (8)
Specification-Level Integration of Simulation and Dependability Analysis (2002) (8)
Reliability models of chronic kidney disease (2016) (8)
The Integration of User Perception in the Heterogeneous M/M/2 Queue (1983) (7)
Markov Modeling in Reliability (2008) (7)
System performance in a failure prone environment (1988) (7)
Single Station Queueing Systems (2001) (7)
Performability-Based Workflow Scheduling in Grids (2018) (7)
Devlopment and validation of RP-HPLC Method for estimation of Metronidazole and Norfloxacin in suspension form (2013) (7)
A Comparative Evaluation of Software Rejuvenation Strategies (2011) (7)
Performance Modeling of Apache Web Server Affected by Aging (2011) (7)
Model-Based Survivability Analysis of a Virtualized System (2016) (7)
DASON: Dependability Assessment Framework for Imperfect Distributed SDN Implementations (2020) (7)
A Single Server Queue in a Hard-Real-Time Environment (1985) (7)
An analysis of prepaging (1979) (7)
Software Aging and Rejuvenation for Increased Resilience: Modeling, Analysis and Applications (2012) (6)
Quantitative security analysis of a dynamic network system under lateral movement-based attacks (2019) (6)
Comparative analysis of multistage interconnection networks (1987) (6)
Parametric Sensitivity and Uncertainty Propagation in Dependability Models (2017) (6)
Designing linear storage hierarchies so as to maximize reliability subject to cost and performance constraints (1980) (6)
Effect of low dietary levels of glucose, fructose and sucrose on rat lipid metabolism. (1969) (6)
IEEE Transactions on Software Engineering (1978) (6)
Simulation versus Analytic-Numeric Methods : a Petri Net Example (2007) (6)
Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation (2004) (6)
Modeling of VANET for BSM Safety Messaging at Intersections with Non-homogeneous Node Distribution (2016) (6)
On-Line Adaptive Algorithms in Autonomic Restart Control (2010) (6)
Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication (2014) (6)
Dependability and performability analysis using stochastic Petri nets (1994) (6)
Analyzing the Hold Time Schemes to Limit the Routing Table Calculations in OSPF Protocol (2009) (6)
Survivability Analysis of a Computer System Under an Advanced Persistent Threat Attack (2016) (6)
Model validation using simulated data (1998) (6)
Software Reliability and Rejuvenation: Modeling and Analysis (2002) (6)
Combined performance and availability analysis of a switched network application (1997) (6)
CHAPTER 2 - Multiple Variable Inversion Techniques (1993) (6)
RED parameters and performance of TCP connections (2001) (5)
Performance Analysis Tools (2001) (5)
A performance model of partial packet discard and early packet discard schemes in ATM switches (2001) (5)
Availability modeling of energy management systems (1998) (5)
Optimal estimation of training interval for channel equalization (2002) (5)
Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls (2005) (5)
Interacting Markov Chain based Hierarchical Approach for Cloud Services (2010) (5)
Performability analysis of handoff calls in personal communication networks (1997) (5)
Building a Reliable Message Delivery System Using the CORBA Event Service (2000) (5)
iSPN: An integrated environment for modeling using stochastic Petri nets (1998) (5)
Uncertainty Analysis of the Remote Exploration and Experimentation System (2012) (5)
Performance evaluation of dynamic priority operating systems (1995) (5)
Survivability modeling with stochastic reward nets (2009) (5)
Performance of broadcast and unknown server (BUS) in ATM LAN emulation (2001) (5)
Stress Testing With Influencing Factors to Accelerate Data Race Software Failures (2020) (5)
Performance of BSM Dissemination in Multi-Channel DSRC (2013) (5)
On the Analysis of Software (1997) (5)
Dynamic aspects and behaviors of complex systems in performance and reliability assessment (2012) (5)
SREPT: a tool for Software Reliability Estimation and Prediction (2002) (5)
Proactive management of software systems: analysis and implementation (2002) (5)
Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage (1995) (5)
Buffer sizing for ABR traffic in an ATM switch (1995) (5)
A reliable CORBA-based network management system (1999) (4)
An SRN-Based Resiliency Quantification Approach (2015) (4)
An Improved Multiple Variable Inversion Algorithm for Reliability Calculation (1998) (4)
Emulating Environment-Dependent Software Faults (2015) (4)
Prepaging and applications to structured array problems. (1974) (4)
Reliable system design: Models, metrics and design techniques (2008) (4)
Epistemic Uncertainty Propagation in Power Models (2018) (4)
Markov reward models: application domains and solution methods (1987) (4)
Steady‐State Solutions of Markov Chains (2001) (4)
Performability Analysis of TDMA Cellular Systems Based on Composite and Hierarchical Markov Chain Models (2001) (4)
Efficient Computation of the Mean Time to Security Failure in Cyber Physical Systems (2016) (4)
Queueing Network Models in Computer System Design (1982) (4)
Quantitative understanding serial-parallel hybrid sfc services: a dependability perspective (2022) (4)
Dependability modeling of real-time systems using stochastic reward nets (1995) (4)
Impact of Service Function Aging on the Dependability for MEC Service Function Chain (2022) (4)
A Performability Modeling Framework Considering Service Components Deployment (2012) (4)
Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques (2013) (4)
MARKOV REGENERATIVE PROCESS IN SHARPE (1999) (4)
SHARPE: a modeler's toolkit (1996) (4)
A method for multiple channel recovery in TDMA wireless communications systems (2001) (4)
Markov chain models and applications (2015) (4)
Hardware configuration selection through discretizing a continuous variable solution (1980) (4)
Closed-Form Approach for Epistemic Uncertainty Propagation in Analytic Models (2013) (4)
DSN 2016 Tutorial: Reliability and Availability Modeling in Practice (2016) (3)
The leaky bucket as a policing device: Transient analysis and dimensionings (1996) (3)
Software Rejuvenation and its Application in Distributed Systems (2015) (3)
Higher-order Methods for Transient Analysis of Stii Markov Chains. in Surf: a Program for Dependability Evaluation of Complex Fault-tolerant Computing Systems. in Proc. 11th Intl. Symposium on Fault-tolerant Computing, Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward (1993) (3)
Higher-order Methods for Transient Analysis of Stii Markov Chains. in Surf: a Program for Dependability Evaluation of Complex Fault-tolerant Computing Systems. in Proc. 11th Intl. Symposium on Fault-tolerant Computing, Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward (1993) (3)
Heuristic self-organization algorithms for software reliability assessment and their application (2000) (3)
Dependability modeling of computer systems and networks (1999) (3)
Non-Markovian Modeling of a BladeCenter Chassis Midplane (2014) (3)
Transient analysis of minimum duration outage for RF channel in cellular systems (1999) (3)
Approaches to Modeling and Simulation for Dynamic , Distributed Cyber-Physical Systems (2010) (3)
Availability Analysis of IaaS Cloud Using Analytic Models (2012) (3)
Interacting Stochastic Models Approach for Performability Analysis of IaaS Cloud (2010) (3)
Stochastic Petri Nets and Their Applications (2001) (3)
Performance Evaluation for DSRC Vehicular Safety Communication: A Semi-Markov Process Approach (2011) (3)
Parametric Uncertainty Propagation through Dependability Models (2018) (3)
Dependability evaluation through measurements and models (1994) (3)
System Dependencies in Markov Dependability Modelling (1995) (3)
Software Maintenance Optimization Based on Stackelberg Game Methods (2014) (3)
Performability Comparison of Lustre and HDFS for MR Applications (2014) (3)
Resiliency Quantification for Large Scale Systems: An IaaS Cloud Use Case (2017) (3)
Analysis of hypergeometric distribution software reliability model (2001) (3)
PerformanceandReliability Analysis Using Directed (1987) (3)
On the Optimal Distribution of Processing Power in a Star Configured System (1983) (3)
Survivability Quantification of Real-Sized Networks Including End-to-End Delay Distributions (2008) (3)
Editorial: Special issue on Internet of Things: convergence of sensing, networking, and web technologies (2012) (3)
Semi-Markov Chains (1996) (2)
Modeling hardware and software fault-tolerant systems (1996) (2)
Transient analysis of large, stiff markov models: numerical and approximate solution techniques (1987) (2)
Reliability validation of systems for life-critical applications (1980) (2)
On the use of continued emotions for digital computer arithmetic (1975) (2)
LSA Correlation to Schedule Routing Table Calculations (2008) (2)
A channel recovery method for RF channel failure in wireless communications systems (1999) (2)
A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes (2015) (2)
Completion Times of Programs on Concurrent Processors with Failure and Repair (1989) (2)
Security modeling and quantication of intrusion tolerant systems (2002) (2)
Validation Methods Research for Fault-Tolerant Avionics and Control Systems: Working Group Meeting, 2 (1980) (2)
Critical issues in the design of distributed, fault-tolerant, hard real-time systems (1988) (2)
Semi-Markov Models for Performance Evaluation of Telecommunication Networks in the Presence of Failures (2012) (2)
CHAPTER 7 – Stochastic Modeling Techniques for Secure and Survivable Systems (2008) (2)
Transient performance & availability modeling in high volume outpatient clinics (2017) (2)
Stochastic Reward Nets for Reliability (1994) (2)
Steady‐State Solution of Markov Chains (2006) (2)
Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals (2020) (2)
Truncated Non-homogeneous Poisson Process Models — Properties and Performance (2005) (2)
Transient Behavior of CTMCs (2011) (2)
The effect of Web caching on network planning (1999) (2)
Adaptive software rejuvenation (2004) (2)
Performance analysis of computer networks (1993) (2)
Epistemic uncertainty propagation in a Weibull environment for a two-core system-on-chip (2017) (2)
Availability and performance evaluation of e-business systems (2003) (1)
Performance evaluation of task graphs on parallel architectures (1991) (1)
Effectiveness Evaluation of Fault-Tolerant Multiprocessor Systems. (1988) (1)
Reliability Evaluation of Fault-Tolerant Multiprocessor Systems. (1985) (1)
Understanding the Impacts of Influencing Factors on Time to a DataRace Software Failure (2017) (1)
Discrete Event Simulation (2006) (1)
Performance Analysis of Voting Algorithms with Non-zero Network Delay and Site Processing Time (2003) (1)
Workload-Based Estimation of Resource Exhaustion in Software Systems (1999) (1)
Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection (1981) (1)
Basic Research in Support of Concurrent Fault Monitoring in Modular Digital Systems. (1978) (1)
Performance and Availability Evaluation of IMS‐Based Core Networks (2013) (1)
Online Reliability Monitoring : a Hybrid Approach (2009) (1)
Systems Modelling: Methodologies and Tools (2018) (1)
Fault-Tolerant Multiple Processor Systems—Modeling and Analysis (1988) (1)
Stochastic Petri Net Models (1996) (1)
Performance and Dependability Modeling with Stochastic Petri Nets (2008) (1)
Discrete-event simulation of uid stochastic Petri nets (1997) (1)
Directions in Design of Reliable Communication Systems (2013) (1)
A review of the research on quantitative reliability Prediction and Assessment for electronic components (2011) (1)
Effects of checkpointing and queuebsfg on program (2007) (1)
Performance Constraints (1)
Aging, Fast and Slow (2022) (1)
S-ADA: Software as an Autonomous, Dependable and Affordable System (2021) (1)
Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM) (2011) (1)
Software performance analysis using a language measure (2003) (1)
Comment/correction: dependability modeling using Petri nets (1996) (1)
Non-Homogeneous Continuous-Time Markov Chains (2017) (1)
Toward accessibility enhancement of dependability modeling techniques and tools (1997) (1)
Global communications newsletter: June 2013 (2013) (1)
The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data (2004) (1)
Assessing the Software Maturity of SDN Controllers Using Software Reliability Growth Models (2018) (1)
Properties of Distributions (2016) (1)
Defining Steady-State Service Level Agreeability using Semi-Markov Process (2006) (1)
A simple characterization of provably efficient prefetching algorithms (2002) (1)
A decomposition approach reward net models * for stochastic (1993) (1)
Stochastic Petri Nets을 이용한 시스템 분석 (1993) (1)
Non-State-Space (Combinatorial) Models (2017) (1)
An Architecture based Approach for Reliability Estimation of a Source Code Navigation tool (2011) (1)
ACCELERATED LIFE TESTS AND SOFTWARE AGING (2011) (1)
The Evolution of Stochastic Petri NetsAntonio (1997) (1)
Transient Security and Dependability Analysis of MEC Micro Datacenter under Attack (2021) (1)
Performance and reliability analysis of the corba event and notification services (2001) (1)
Coverage Evaluation Through Fault Injection: Fault Sampling And Statistical Analysis (1994) (1)
An approach for combinatorial performance and availability analysis (1993) (1)
Analysis methods for performance & availability in critical care medicine (2016) (1)
Emulating environment-dependent software faults: position paper (2015) (1)
SPADE: Series-Parallel Directed Acyclic Graph Evaluator. (1984) (1)
A methodology towards automatic implementation of N-body algorithms (2002) (1)
Generation techniques for Markov reward models (1992) (1)
Welcome to the 1st International Workshop on Software Engineering for the Smart Grid (SE4SG 2012) (2012) (1)
A Methodology of Simple Models (1985) (1)
Guest editorial: special issue on modeling and mitigation techniques for software aging (2020) (1)
Failure data analytics to build failure prediction mechanisms (2013) (1)
Performance Analysis Using User Behavior Graphs (1986) (1)
Survivability Quantification (2014) (1)
All-terminal reliability analysis of the SRP-ring: the effect of enhanced intelligent protection switching (2002) (1)
Reliability and Availability Models (1996) (1)
Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems (1993) (1)
Fundamentals (2020) (0)
Discrete Random Variables (2016) (0)
ICUMT 2012 Congress in St. Petersburg, Russia (2013) (0)
DeepSIM: Deep Semantic Information-Based Automatic Mandelbug Classification (2021) (0)
Algorithms for Non‐Product‐Form Networks (2001) (0)
WoSAR 2020 Workshop Committees (2020) (0)
Program Performance Analysis (2016) (0)
Editorial: Special issue on Internet of Things: convergence of sensing, networking, and web technologies (2012) (0)
BACK MATTER (2020) (0)
Top down design of the 8080 CPU in VHDL (1995) (0)
A Non-Homogeneous Markov Software Reliability Model withImperfect (1996) (0)
Ergonomics in India: a case study on workspace design for an Alphacomp phototypesetting machine (1984) (0)
Discrete-Event Simulation of Hybrid Petri Nets with General One-Shot Transitions (2014) (0)
5 Conclusions (1996) (0)
Approximate Computation of Sojourn Time Distribution in Open Queueing Networks (1995) (0)
Prepaging andApplications toArrayAlgorithms (1976) (0)
Optimal Software Rejuvenation for Tolerating Soft Failures Optimal Software Rejuvenation for Tolerating Soft Failures (2007) (0)
SPADE (Series Parallel Directed Acyclic Graph Evaluator): A Tool for Performance and Reliability Evaluation. Revision, (1985) (0)
Performance Analysis for Large IaaS Clouds (2014) (0)
A user-friendly dependability evaluation tool (1996) (0)
ICASE Report No . 93-85 ( 0 ) ii ICASE U DEPENDABILITY AND PERFORMABILITY ANALYSIS (0)
Improvements in Software Quality Assurance Using An Enhanced Software Reliability Model (2007) (0)
Survivability Quantification - Keynote (2007) (0)
Series-Parallel Acyclic Directed Graphs (1996) (0)
Proactive Management of Software Systems (2003) (0)
Proceedings of the 3rd International Workshop on Software Engineering Challenges for the Smart Grid (2014) (0)
INCREASING ACCESSIBILITY JAVA (1998) (0)
Fault Tree Analysis (2017) (0)
Ëøøøøý Ëøøøø Òòðý××× Óó Ååööóú Êêêêòòööøøú Ëèae Ûûøø Ååñóöý Èóðð Blockiný Åååðð Ó× Ìððð ½ ¸ Òòööö Óóóóó ¾ ¸ Ää ×þðð Ó Ââööö ½ Òøóòòó Èùððð¬øó ¿ ¸ Ãã××óö Ëº Ìööú (1995) (0)
On the Use of Java to Make Software Tools Accessible on the Web (2007) (0)
Dependability Quantification and Assurance of Mission-Critical Software Systems (2011) (0)
Performance and Dependability Modeling of Dynamic Systems (2011) (0)
Re ent Developments in Non-Markovian Sto hasti Petri Nets (2016) (0)
Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, measurement and evaluation (1986) (0)
Decomposition inReliability Analysis ofFault-Tolerant Systems (1983) (0)
Transient Analysis of Acyclic (1987) (0)
Techniques for On-Line Fault Monitoring in Modular Digital Systems. (1980) (0)
A Multiphase Software Reliability Model : From Testingto Operational (1996) (0)
Analysis of Hypergeometric Distribution Software Reliability Model (Mathematical Decision Making under Uncertainty) (2002) (0)
Proactive fault-management in software systems (2000) (0)
PERFORM ABILITY MODELING BASED ON REAL DATA : A CASE STUDY (2017) (0)
Customer Checking Nearby Railway Station Checking Nearby Airports Hotel checking Path Planning Traffic Mode Selection 1 (2015) (0)
2nd Workshop on Education and Practice ofPerformance Engineering: WEPPE'19 Chairs' Welcome (2019) (0)
Defects Per Million (DPM): A user-oriented perspective of telecommunication systems (2014) (0)
Issues in reliability modeling of fault-tolerant computers (1984) (0)
Failure mitigation for quality of service of wireless networks (2002) (0)
Ëáìêê Ë Blockin Blockinððððð Áòøöù××óò¹ìóððööòø Ö Blockinøø Blockinøùöö Óö ×øöööùøøø Ëëöúú Blockin (2007) (0)
On the development of dependability-evaluation workbench for high-assurance system designers (1997) (0)
Approximation Algorithms for Product‐Form Networks (2001) (0)
Transient Analysis of Determinist ic and Stochastic Petri Nets (0)
Reliability Block Diagram (2017) (0)
Dependability Metrics Defined on a Single Unit (2017) (0)
RAMPDS-2005 Organizing Committee (2005) (0)
Performance evaluation of Web Cache (2004) (0)
Reliability Simulation of Fault-Tolerant Software and (1997) (0)
Reliability Modeling UsingSHARPE (1987) (0)
Computer Science and Applied Probability (abstract) (1983) (0)
Reliability and Availability Modeling (1996) (0)
ソフトウェアにおけるフォールト, エージング, 若化の概念( 「ソフトウェア信頼性工学の新展開」) (2005) (0)
Continuous-Time Markov Chain: Queuing Systems (2017) (0)
Message from the RAMPDS-2005 Chairs (2005) (0)
A soft hando scheme for improving utilization eÆciency of traÆc channels (0)
Performance and Dependability Validation of Highly Parallel Fault-Tolerant Systems (1992) (0)
Êê Blockin Blockinòø Úðóôññòø× Ò Aeóò¹ååööóúúúò (2007) (0)
Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis (2016) (0)
Rejuvenation and the Age of Information (2019) (0)
Continuous-Time Markov Chain: Reliability Models (2017) (0)
Analysis and mitigation of failures in communication system with discrete and fluid models (2003) (0)
Phase-Type Expansion (2017) (0)
Third International Conference on Performance of Distributed Systems and Integrated Communication Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets. 5.3.2 Non-homogeneous Ctmcs 5.2.1 Stiness Avoidance 5.2.2 Stiness Tolerance (0)
Automated life cycle processing for complex medical imaging devices (2017) (0)
Provably conservative approximations to complex reliability models. [for computer systems] (1986) (0)
Steady‐State Aggregation/Disaggregation Methods (2001) (0)
Mathematical modelling of energy systems (1983) (0)
Validation Methods Research for Fault-Tolerant Avionics and Control Systems Sub-Working Group Meeting. CARE 3 peer review (1980) (0)
Rejoinder to reviewers’ comments on ‘system availability assessment using stochastic models’ (2013) (0)
Transient Solution of Markov Chains (2001) (0)
State-Space Models with Exponential Distributions (2017) (0)
Survivability Quantification a General Framework for Network Survivability Quantification (2011) (0)
Handling Algorithmic and Numerical Limitations (1996) (0)
Modeling Real-Life Systems (2017) (0)
Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM) (2011) (0)
Dependability and Security Models * (Keynote Paper) (2009) (0)
Computers and Mathematics with Applications (2012) (0)
Modeling and Analysis of Load and Time Dependent (1996) (0)
Third International Conference on Performance of Distributed Systems and Integrated Communication Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets. 5.3.2 Non-homogeneous Ctmcs 5.2.1 Stiness Avoidance 5.2.2 Stiness Tolerance (0)
Continuous-Time Markov Chain: Availability Models (2017) (0)
for Software Rejuvenation (2005) (0)
AD-A 249 749 ( i 3 PERFORMANCE and DEPENDABILITY VALIDATION of HIGHLY PARALLEL FAULT-TOLERANT SYSTEMS (0)
On a Semaphore Anomaly (1976) (0)
Robust Prediction Of Treatment Times In Concurrent Patient Care (2018) (0)
Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM) (2010) (0)
LIFT : Logical Information Feedback Tree for Information Dissemination in Wide-Area Networks (2008) (0)
ARES: A Framework for Management of Aging and Rejuvenation in Softwarized Networks (2021) (0)
Applications (2020) (0)
Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel (2012) (0)
Dis rete-event simulation of uid sto hasti Petri nets (1997) (0)
Product-Form Queueing Networks (1996) (0)
Refined Software Reliability Models Based on Non-Homogeneous Poisson Processes (2001) (0)
Performance Analysis of Distributed Real-Time Databased (1999) (0)
Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems (1982) (0)
Combining Cloud and sensors in a smart city environment (2012) (0)
Multi-Level Models (2017) (0)
Session details: Special issue on the modeling dynamic behaviors of complex distributed systems (2012) (0)
How Does Software Fail and What Should be Done About It (2015) (0)
Performance Engineering Education: A Viewpoint (2019) (0)
Workshop on Model Based Design for Cyber-Physical Systems (MB4CP) (2015) (0)
The status of investigations into the use of continued fractions for computer hardware (1972) (0)
Modeling SITAR System Security (2003) (0)
A Validated Model of a Fault-Tolerant System (2018) (0)
Guest Editors' Introduction (1992) (0)
In Memoriam: Dr. Chandra Kintala (2010) (0)
Sensitivity Analysis of Hierarchical Modeling for Mobile Cloud Computing (2013) (0)
8 EXACT METHODS FOR THE TRANSIENT ANALYSIS OF NONHOMOGENEOUS CONTINUOUS TIME MARKOV CHAINS (0)
Design and analysis of reliable corba-based software systems (2000) (0)
Methodology for the Specification of Fault-Tolerant Real-Time Systems. (1992) (0)
FRONT MATTER (2020) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Kishor Shridharbhai Trivedi?

Kishor Shridharbhai Trivedi is affiliated with the following schools:

Kishor Shridharbhai Trivedi's Academic­Influence.com Rankings

Why Is Kishor Shridharbhai Trivedi Influential?

Kishor Shridharbhai Trivedi's Published Works

Published Works

What Schools Are Affiliated With Kishor Shridharbhai Trivedi?

Kishor Shridharbhai Trivedi's AcademicInfluence.com Rankings