Kishor S. Trivedi

According to our database1, Kishor S. Trivedi
  • authored at least 431 papers between 1972 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Analytical Model and Performance Evaluation of Long-Term Evolution for Vehicle Safety Services.
IEEE Trans. Vehicular Technology, 2017

Semi-Markov Models of Composite Web Services for their Performance, Reliability and Bottlenecks.
IEEE Trans. Services Computing, 2017

An Approach for Resiliency Quantification of Large Scale Systems.
SIGMETRICS Performance Evaluation Review, 2017

Redundant Eucalyptus Private Clouds: Availability Modeling and Sensitivity Analysis.
J. Grid Comput., 2017

An Empirical Investigation of Fault Triggers in Android Operating System.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017

Application-level scheme to enhance VANET event-driven multi-hop safety-related services.
Proceedings of the 2017 International Conference on Computing, 2017

2016
Optimization of Two-Granularity Software Rejuvenation Policy Based on the Markov Regenerative Process.
IEEE Trans. Reliability, 2016

Recovery From Software Failures Caused by Mandelbugs.
IEEE Trans. Reliability, 2016

Assessing survivability to support power grid investment decisions.
Rel. Eng. & Sys. Safety, 2016

Reliability and survivability of vehicular ad hoc networks: An analytical approach.
Rel. Eng. & Sys. Safety, 2016

Reliability and performance of general two-dimensional broadcast wireless network.
Perform. Eval., 2016

How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation.
Journal of Systems and Software, 2016

Software Reliability Analysis of NASA Space Flight Software: A Practical Experience.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Modeling of VANET for BSM Safety Messaging at Intersections with Non-homogeneous Node Distribution.
Proceedings of the Communication Technologies for Vehicles - 10th International Workshop, 2016

Model-Based Survivability Analysis of a Virtualized System.
Proceedings of the 41st IEEE Conference on Local Computer Networks, 2016

The Relationship between Software Bug Type and Number of Factors Involved in Failures.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Software Aging Detection Based on Differential Analysis: An Experimental Study.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

DSN 2016 Tutorial: Reliability and Availability Modeling in Practice.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Survivability Analysis of a Computer System Under an Advanced Persistent Threat Attack.
Proceedings of the Graphical Models for Security - Third International Workshop, 2016

Availability Modeling and Analysis of a Virtualized System Using Stochastic Reward Nets.
Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015
Defects per Million Computation in Service-Oriented Environments.
IEEE Trans. Services Computing, 2015

Quantification of system survivability.
Telecommunication Systems, 2015

Future research directions in design of reliable communication systems.
Telecommunication Systems, 2015

Performability Evaluation of Grid Environments Using Stochastic Reward Nets.
IEEE Trans. Dependable Sec. Comput., 2015

Sensitivity analysis of a hierarchical model of mobile cloud computing.
Simulation Modelling Practice and Theory, 2015

A Scalable Optimization Framework for Storage Backup Operations Using Markov Decision Processes.
Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Emulating Environment-Dependent Software Faults.
Proceedings of the 1st IEEE/ACM International Workshop on Complex Faults and Failures in Large Software Systems, 2015

SeReNe: On Establishing Secure and Resilient Networking Services for an SDN-based Multi-tenant Datacenter Environment.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

Workshop on Model Based Design for Cyber-Physical Systems (MB4CP).
Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

Survivability as a generalization of recovery.
Proceedings of the 11th International Conference on the Design of Reliable Communication Networks, 2015

An SRN-Based Resiliency Quantification Approach.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

Analytical Modeling of Reactive Autonomic Management Techniques in IaaS Clouds.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014
Stochastic Model Driven Capacity Planning for an Infrastructure-as-a-Service Cloud.
IEEE Trans. Services Computing, 2014

Ensuring the Performance of Apache HTTP Server Affected by Aging.
IEEE Trans. Dependable Sec. Comput., 2014

Performance and Availability Modeling of ITSystems with Data Backup and Restore.
IEEE Trans. Dependable Sec. Comput., 2014

Scalable Analytics for IaaS Cloud Availability.
IEEE Trans. Cloud Computing, 2014

Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-Channel Schemes.
IEEE Trans. Computers, 2014

MAC and application level performance evaluation of beacon message dissemination in DSRC safety communication.
Perform. Eval., 2014

Software rejuvenation scheduling using accelerated life testing.
JETC, 2014

Job completion time on a virtualized server with software rejuvenation.
JETC, 2014

Software aging in the eucalyptus cloud computing infrastructure: Characterization and rejuvenation.
JETC, 2014

Fast computation of bounds for two-terminal network reliability.
European Journal of Operational Research, 2014

Assessing survivability of smart grid distribution network designs accounting for multiple failures.
Concurrency and Computation: Practice and Experience, 2014

A Systematic Differential Analysis for Fast and Robust Detection of Software Aging.
Proceedings of the 33rd IEEE International Symposium on Reliable Distributed Systems, 2014

Computing Defects per Million in Cloud Caused by Virtual Machine Failures with Replication.
Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

Software Maintenance Optimization Based on Stackelberg Game Methods.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Performability Comparison of Lustre and HDFS for MR Applications.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Reproducibility of Environment-Dependent Software Failures: An Experience Report.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Defects Per Million (DPM): A user-oriented perspective of telecommunication systems.
Proceedings of the 2014 IEEE GLOBECOM Workshops, Austin, TX, USA, December 8-12, 2014, 2014

Non-Markovian Modeling of a BladeCenter Chassis Midplane.
Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

A Markov Decision Process Approach for Optimal Data Backup Scheduling.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Performance Analysis for Large IaaS Clouds.
Proceedings of the Large Scale and Big Data - Processing and Management., 2014

2013
Optimal Preventive Maintenance Rate for Best Availability With Hypo-Exponential Failure Distribution.
IEEE Trans. Reliability, 2013

Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques.
IEEE Trans. Dependable Sec. Comput., 2013

Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques.
IEEE Trans. Dependable Sec. Comput., 2013

An Interacting Stochastic Models Approach for the Performance Evaluation of DSRC Vehicular Safety Communication.
IEEE Trans. Computers, 2013

System resiliency quantification using non-state-space and state-space analytic models.
Rel. Eng. & Sys. Safety, 2013

Non-Markovian State-Space Models in Dependability Evaluation.
Quality and Reliability Eng. Int., 2013

A comprehensive approach to optimal software rejuvenation.
Perform. Eval., 2013

Modeling and analysis of software rejuvenation in a server virtualized system with live VM migration.
Perform. Eval., 2013

A comparative experimental study of software rejuvenation overhead.
Perform. Eval., 2013

Packet Delivery Ratio in k-Dimensional Broadcast Ad Hoc Networks.
IEEE Communications Letters, 2013

Modeling and performance analysis of large scale IaaS Clouds.
Future Generation Comp. Syst., 2013

Global communications newsletter: June 2013.
IEEE Communications Magazine, 2013

Survivability models for the assessment of smart grid distribution automation network designs.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Performance of BSM Dissemination in Multi-Channel DSRC.
Proceedings of the 77th IEEE Vehicular Technology Conference, 2013

Channel fading impact on multi-hop DSRC safety communication.
Proceedings of the 16th ACM International Conference on Modeling, 2013

Performance of VANET safety message broadcast at rural intersections.
Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013

Design of distribution automation networks using survivability modeling and power flow equations.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Failure data analytics to build failure prediction mechanisms.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Fault triggers in open-source software: An experience report.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Towards fast OS rejuvenation: An experimental evaluation of fast OS reboot techniques.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

MAC and application-level broadcast reliability in vanets with channel fading.
Proceedings of the International Conference on Computing, Networking and Communications, 2013

Analysis of bugs in Apache Virtual Computing Lab.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

An empirical investigation of fault repairs and mitigations in space mission system software.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012
Design and Analysis of a Robust Broadcast Scheme for VANET Safety-Related Services.
IEEE Trans. Vehicular Technology, 2012

Sensitivity Analysis of Server Virtualized System Availability.
IEEE Trans. Reliability, 2012

Survivability analysis of power distribution in smart grids with active and reactive power modeling.
SIGMETRICS Performance Evaluation Review, 2012

Dynamic aspects and behaviors of complex systems in performance and reliability assessment.
SIGMETRICS Performance Evaluation Review, 2012

Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees.
Security and Communication Networks, 2012

Editorial: Special Issue on Internet of Things: Convergence of Sensing, Networking, and Web Technologies.
EURASIP J. Wireless Comm. and Networking, 2012

Combining Cloud and sensors in a smart city environment.
EURASIP J. Wireless Comm. and Networking, 2012

Improving Convergence Speed and Scalability in OSPF: A Survey.
IEEE Communications Surveys and Tutorials, 2012

Investigating dynamic reliability and availability through state-space models.
Computers & Mathematics with Applications, 2012

Combining Performance and Availability Analysis in Practice.
Advances in Computers, 2012

Optimizing Software Rejuvenation Policies under Interval Reliability Criteria.
Proceedings of the 9th International Conference on Ubiquitous Intelligence and Computing and 9th International Conference on Autonomic and Trusted Computing, 2012

Availability Modeling and Analysis for Data Backup and Restore Operations.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Fast Optimization Algorithms for Designing Cellular Networks with Guard Channel.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

The Nature of the Times to Flight Software Failure during Space Missions.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Software Rejuvenation: Do IT & Telco Industries Use It?
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

Software Aging and Rejuvenation for Increased Resilience: Modeling, Analysis and Applications.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011
A refined EM algorithm for PH distributions.
Perform. Eval., 2011

A stochastic model for beaconless IEEE 802.15.4 MAC operation.
Computer Communications, 2011

A Robust Broadcast Scheme for VANET One-Hop Emergency Services.
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML.
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Recovery from Failures Due to Mandelbugs in IT Systems.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Performance Modeling of Apache Web Server Affected by Aging.
Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

Injecting Memory Leaks to Accelerate Software Failures.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain.
Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

Uncertainty Propagation through Software Dependability Models.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation.
Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds.
Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

A Comparative Evaluation of Software Rejuvenation Strategies.
Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

A hierarchical model to evaluate quality of experience of online services hosted by cloud computing.
Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM).
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM).
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

A scalable availability model for Infrastructure-as-a-Service cloud.
Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

Power-performance trade-offs in IaaS cloud: A scalable analytic approach.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets.
Proceedings of the Sixth International Conference on Availability, 2011

2010
Software Reliability and Testing Time Allocation: An Architecture-Based Approach.
IEEE Trans. Software Eng., 2010

Accelerated Degradation Tests Applied to Software Aging Experiments.
IEEE Trans. Reliability, 2010

Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams.
IEEE Trans. Computers, 2010

Software fault mitigation and availability assurance techniques.
Int. J. Systems Assurance Engineering and Management, 2010

In Memoriam: Dr. Chandra Kintala.
Journal of Systems and Software, 2010

Quantifying Resiliency of IaaS Cloud.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Uncertainty Propagation in Analytic Availability Models.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

A Hierarchical Model for Reliability Analysis of Sensor Networks.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach.
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Evaluation of software performance affected by aging.
Proceedings of the Second IEEE International Workshop on Software Aging and Rejuvenation, 2010

Computing the Number of Calls Dropped Due to Failures.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Using Accelerated Life Tests to Estimate Time to Software Aging Failure.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Modeling and analysis of software rejuvenation in a server virtualized system.
Proceedings of the Second IEEE International Workshop on Software Aging and Rejuvenation, 2010

Online Monitoring of Software System Reliability.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM).
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

An empirical investigation of fault types in space mission system software.
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Cyber security analysis using attack countermeasure trees.
Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

On-Line Adaptive Algorithms in Autonomic Restart Control.
Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

2009
Markovian arrival process parameter estimation with group data.
IEEE/ACM Trans. Netw., 2009

SHARPE at the age of twenty two.
SIGMETRICS Performance Evaluation Review, 2009

Network survivability modeling.
Computer Networks, 2009

Survivability Modeling with Stochastic Reward Nets.
Proceedings of the 2009 Winter Simulation Conference, 2009

Availability Modeling and Analysis of a Virtualized System.
Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Resilience in computer systems and networks.
Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

Workshop on proactive failure avoidance, recovery and maintenance (PFARM).
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Analyzing the Hold Time Schemes to Limit the Routing Table Calculations in OSPF Protocol.
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008
Software Aging and Rejuvenation.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Combined Guard Channel and Mobile-Assisted Handoff for Cellular Networks.
IEEE Trans. Vehicular Technology, 2008

Availability analysis of blade server systems.
IBM Systems Journal, 2008

Availability Modeling of SIP Protocol on IBM(c) WebSphere(c).
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Toward optimal virtual machine placement and rejuvenation scheduling in a virtualized data center.
Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

The fundamentals of software aging.
Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

Achieving and Assuring High Availability.
Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

Ten Fallacies of Availability and Reliability Analysis.
Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

Achieving and assuring high availability.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Survivability Quantification of Real-Sized Networks Including End-to-End Delay Distributions.
Proceedings of the 3rd International Conference on Systems and Networks Communications, 2008

Reliable system design: models, metrics and design techniques.
Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Survivability quantification of communication services.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
Reliability Analysis of Phased-Mission System With Independent Component Repairs.
IEEE Trans. Reliability, 2007

A Best Practice Guide to Resource Forecasting for Computing Systems.
IEEE Trans. Reliability, 2007

Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation.
IEEE Trans. Computers, 2007

Performability analysis of clustered systems with rejuvenation under varying workload.
Perform. Eval., 2007

Quantifying software performance, reliability and security: An architecture-based approach.
Journal of Systems and Software, 2007

Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate.
IEEE Computer, 2007

Simulation versus analytic-numeric methods: illustrative examples.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks.
Proceedings of the Service-Oriented Computing, 2007

Availability Monitor for a Software Based System.
Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Survivability Quantification - Keynote.
Proceedings of the Fourth International Conference on Broadband Communications, 2007

Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006
Design and Performance Analysis of a New Soft Handoff Scheme for CDMA Cellular Systems.
IEEE Trans. Vehicular Technology, 2006

Modeling and performance analysis for soft handoff schemes in CDMA cellular systems.
IEEE Trans. Vehicular Technology, 2006

Analysis of Software Aging in a Web Server.
IEEE Trans. Reliability, 2006

Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.
IEEE Trans. Reliability, 2006

Incorporating fault debugging activities into software reliability models: a simulation approach.
IEEE Trans. Reliability, 2006

Modeling High Availability.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

A Best Practice Guide to Resources Forecasting for the Apache Webserver.
Proceedings of the 12th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2006), 2006

Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Model Based Approach for Autonomic Availability Management.
Proceedings of the Service Availability, 2006

Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

A Performance Engineering Tool for Tiered Software Systems.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Queueing networks and Markov chains - modeling and performance evaluation with computer science applications; 2nd Edition.
Wiley, ISBN: 978-0-471-56525-3, 2006

2005
Computing steady-state mean time to failure for non-coherent repairable systems.
IEEE Trans. Reliability, 2005

A workload-based analysis of software aging, and rejuvenation.
IEEE Trans. Reliability, 2005

A Comprehensive Model for Software Rejuvenation.
IEEE Trans. Dependable Sec. Comput., 2005

Analysis of a two-level software rejuvenation policy.
Rel. Eng. & Sys. Safety, 2005

Optimization for condition-based maintenance with semi-Markov decision process.
Rel. Eng. & Sys. Safety, 2005

A proactive approach towards always-on availability in broadband cable networks.
Computer Communications, 2005

Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls.
Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, 2005

Architecture based analysis of performance, reliability and security of software systems.
Proceedings of the Fifth International Workshop on Software and Performance, 2005

StackOFFence: A Technique for Defending Against Buffer Overflow Attacks.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Modeling User-Perceived Service Availability.
Proceedings of the Service Availability, 2005

On a Method for Mending Time to Failure Distributions.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

State Space Approach to Security Quantification.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Evaluating Performance Attributes of Layered Software Architecture.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004
Model-Based Evaluation: From Dependability to Security.
IEEE Trans. Dependable Sec. Comput., 2004

Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain.
Software Quality Journal, 2004

A method for modeling and quantifying the security attributes of intrusion tolerant systems.
Perform. Eval., 2004

An analytical approach to architecture-based software performance and reliability prediction.
Perform. Eval., 2004

The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data.
Perform. Eval., 2004

Security modeling and quantification of intrusion tolerant systems using attack-response graph.
J. High Speed Networks, 2004

Comparing Software Rejuvenation Policies under Different Dependability Measures.
IEICE Transactions, 2004

Software Rejuvenation Policies for Cluster Systems under Varying Workload.
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

A General Framework for Network Survivability Quantification.
Proceedings of the MMB & PGTS 2004, 2004

Survivability Analysis of Telephone Access Network.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Software Rejuvenation - Modeling and Analysis.
Proceedings of the Information Technology, Selected Tutorials, 2004

Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation.
Proceedings of the Information Technology, Selected Tutorials, 2004

Hierarchical Computation of Interval Availability and Related Metrics.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2003
Performance analysis of reservation media-access protocol with access and serving queues under bursty traffic in GPRS/EGPRS.
IEEE Trans. Vehicular Technology, 2003

Hierarchical composition and aggregation of state-based availability and performability models.
IEEE Trans. Reliability, 2003

A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.
IEEE Trans. Computers, 2003

Recent advances in modeling response-time distributions in real-time systems.
Proceedings of the IEEE, 2003

Performability modelling of wireless communication systems.
Int. J. Communication Systems, 2003

Performance modeling of wireless networks with generally distributed handoff interarrival times.
Computer Communications, 2003

Maximizing Interval Reliability in Operational Software System with Rejuvenation.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Modeling of user perceived webserver availability.
Proceedings of IEEE International Conference on Communications, 2003

Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2002
System availability with non-exponentially distributed outages.
IEEE Trans. Reliability, 2002

Closed-form analytical results for condition-based maintenance.
Rel. Eng. & Sys. Safety, 2002

Second-order stochastic fluid models with fluid-dependent flow rates.
Perform. Eval., 2002

Analytic modeling of handoffs in wireless cellular networks.
Inf. Sci., 2002

Call admission control for reducing dropped calls in CDMA cellular systems.
Computer Communications, 2002

Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Availability Models with Age-Dependent Checkpointing.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Software Reliability and Rejuvenation: Modeling and Analysis.
Proceedings of the Performance Evaluation of Complex Systems: Techniques and Tools, 2002

Network survivability performance evaluation: : a quantitative approach with applications in wireless ad-hoc networks.
Proceedings of the 5th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2002

Analytic Modeling of Handoffs in Wireless Cellular Networks.
Proceedings of the 6th Joint Conference on Information Science, 2002

Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Reliability Prediction and Sensitivity Analysis Based on Software Architecture.
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

An Approach for Estimation of Software Aging in a Web Server.
Proceedings of the 2002 International Symposium on Empirical Software Engineering (ISESE 2002), 2002

Specification-Level Integration of Simulation and Dependability Analysis.
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

A Framework for Performability Modeling of Messaging Services in Distributed Systems.
Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

All-terminal reliability analysis of the SRP-ring: the effect of enhanced intelligent protection switching.
Proceedings of the 11th International Conference on Computer Communications and Networks, 2002

Optimal estimation of training interval for channel equalizations.
Proceedings of the IEEE International Conference on Communications, 2002

SREPT: A Tool for Software Reliability Estimation and Prediction.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Modeling and Quantification of Security Attributes of Software Systems.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

A Simple Characterization of Provably Efficient Prefetching Algorithms.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Composite performance and availability analysis of wireless communication networks.
IEEE Trans. Vehicular Technology, 2001

Loss formulas and their application to optimization for cellular networks.
IEEE Trans. Vehicular Technology, 2001

Performance of broadcast and unknown server (BUS) in ATM LAN emulation.
IEEE/ACM Trans. Netw., 2001

Architecture-based approach to reliability assessment of software systems.
Perform. Eval., 2001

Proactive management of software aging.
IBM Journal of Research and Development, 2001

Comparison of Hybrid Systems and Fluid Stochastic Petri Nets.
Discrete Event Dynamic Systems, 2001

A performance model of partial packet discard and early packet discard schemes in ATM switches.
Computer Communications, 2001

A method for multiple channel recovery in TDMA wireless communications systems.
Computer Communications, 2001

Estimating Software Rejuvenation Schedules in High-Assurance Systems.
Comput. J., 2001

Performance Analysis of the CORBA Notification Service .
Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Analysis and implementation of software rejuvenation in cluster systems.
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

Analysis of Periodic Preventive Maintenance with General System Failure Distribution.
Proceedings of the 8th Pacific Rim International Symposium on Dependable Computing (PRDC 2001), 2001

Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Analysis of Hypergeometric Distribution Software Reliability Model.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Reliable Messaging Using the CORBA Notification Service.
Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

2000
Failure correlation in software reliability models.
IEEE Trans. Reliability, 2000

SREPT: software reliability estimation and prediction tool.
Perform. Eval., 2000

Channel Allocation with Recovery Strategy in Wireless Networks.
European Transactions on Telecommunications, 2000

Performance Analysis of the CORBA Event Service using Stochastic Reward Nets.
Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Effects of failure correlation on software in operation.
Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule.
Proceedings of the 2000 Pacific Rim International Symposium on Dependable Computing (PRDC 2000), 2000

Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Building a Reliable Message Delivery System Using the CORBA Event Service.
Proceedings of the Parallel and Distributed Processing, 2000

Call Admission Control for Reducing Dropped Calls in Code Division Multiple Access (CDMA) Cellular Systems.
Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

Analysis of software cost models with rejuvenation.
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

Composite performance and availability analysis of communications networks. A comparison of exact and approximate approaches.
Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000

Stochastic Modeling Formalisms for Dependability, Performance and Performability.
Proceedings of the Performance Evaluation: Origins and Directions, 2000

Implementation of Importance Splitting Techniques in Stochastic Petri Net Package.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

SREPT: Software Reliability Estimation and Prediction Tool.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

SPNP: Stochastic Petri Nets. Version 6.0.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

Reliability and Performability Modeling Using SHARPE 2000.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

Modeling and Analysis of Software Aging and Rejuvenation.
Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

Proactive Fault-Management in Software System.
Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

1999
Discrete-Event Simulation of Fluid Stochastic Petri Nets.
IEEE Trans. Software Eng., 1999

Performance Analysis of Distributed Real-Time Databased.
Perform. Eval., 1999

The effect of Web caching on network planning.
Computer Communications, 1999

A stochastic reward net model for performance analysis of prioritized DQDB MAN.
Computer Communications, 1999

A time/structure based software reliability model.
Ann. Software Eng., 1999

A channel recovery method for RF channel failure in wireless communications systems.
Proceedings of the 1999 IEEE Wireless Communications and Networking Conference, 1999

Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System.
Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999

Confidence interval estimation of NHPP-based software reliability models.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

A measurement-based model for estimation of resource exhaustion in operational software systems.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

Failure correlation in software reliability models.
Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.
Proceedings of the Digest of Papers: FTCS-29, 1999

Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance.
Proceedings of the Digest of Papers: FTCS-29, 1999

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
Proceedings of the Dependable Computing, 1999

1998
Analysis of Preventive Maintenance in Transactions Based Software Systems.
IEEE Trans. Computers, 1998

Applications of non-Markovian stochastic Petri nets.
SIGMETRICS Performance Evaluation Review, 1998

Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions.
Perform. Eval., 1998

Recent Developments in Non-Markovian Stochastic Petri Nets.
Journal of Circuits, Systems, and Computers, 1998

Increasing Application Accessibility through Java.
IEEE Internet Computing, 1998

Fluid stochastic Petri nets: Theory, applications, and solution techniques.
European Journal of Operational Research, 1998

Software reliability analysis incorporating fault detection and debugging activities.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Reliability simulation of component-based software systems.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

A methodology for detection and estimation of software aging.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Log-Logistic Software Reliability Growth Model.
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

SREPT: Software Reliability Estimation and Prediction Tool.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

An Improved Multiple Variable Inversion Algorithm for Reliability Calculation.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998

1997
Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach.
Telecommunication Systems, 1997

The Effect of Detection and Restoration Times on Error Recovery in Communication Networks.
J. Network Syst. Manage., 1997

Discrete-event simulation of fluid stochastic Petri nets.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Performability analysis of handoff calls in personal communication networks.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Combined Performance and Availability Analysis of a Switched Network Applications.
ICC (1), 1997

On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools.
Proceedings of the Digest of Papers: FTCS-27, 1997

1996
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models.
IEEE Trans. Software Eng., 1996

Comment/correction: dependability modeling using Petri nets.
IEEE Trans. Reliability, 1996

Optimal Software Rejuvenation for Tolerating Soft Failures.
Perform. Eval., 1996

Accelerating Mean Time to Failure Computations.
Perform. Eval., 1996

Minimizing Completion Time of a Program by Checkpointing and Rejuvenation.
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1996

Important Milestones in Software Reliability Modeling.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Unification of finite failure non-homogeneous Poisson process models through test coverage.
Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Transient Behavior of ATM Networds under Overloads.
Proceedings of the Proceedings IEEE INFOCOM '96, 1996

IDEA: Integrated Design Environment for Assessment of ATM Networks.
Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

1995
Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage.
Perform. Eval., 1995

A survey of efficient reliability computation using disjoint products approach.
Networks, 1995

Non-Markovian Petri Nets (Panel).
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

Fixed point iteration using stochastic reward nets.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Performance evaluation of dynamic priority operating systems.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Steady State Analysis of Markov Regenerative SPN with Age Memory Policy.
Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets.
Proceedings of the MASCOTS '95, 1995

Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components.
Proceedings of the Digest of Papers: FTCS-25, 1995

Semi-numerical transient analysis of Markov models.
Proceedings of the 33th Annual Southeast Regional Conference, 1995

1994
Reliability analysis of the double counter-rotating ring with concentrator attachments.
IEEE/ACM Trans. Netw., 1994

Guarded Repair of Dependable Systems.
Theor. Comput. Sci., 1994

A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models.
IEEE Trans. Computers, 1994

Markov Regenerative Stochastic Petri Nets.
Perform. Eval., 1994

Phased-Mission System Analysis Using Boolean Algebraic Methods.
Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1994

Markov Reward Approach to Performability and Reliability Analysis.
Proceedings of the MASCOTS '94, Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 31, 1994

Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources.
Proceedings of the Proceedings IEEE INFOCOM '94, 1994

The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage.
Proceedings of the Digest of Papers: FTCS/24, 1994

Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives.
Proceedings of the Computer Performance Evaluation, 1994

1993
Modeling Correlation in Software Recovery Blocks.
IEEE Trans. Software Eng., 1993

Performance Evaluation of Client-Server Systems.
IEEE Trans. Parallel Distrib. Syst., 1993

The Completion Time of Programs on Processors Subject to Failure and Repair.
IEEE Trans. Computers, 1993

A Decomposition Approach for Stochastic Reward Net Models.
Perform. Eval., 1993

Reliability Analysis of Redundant Arrays of Inexpensive Disks.
J. Parallel Distrib. Comput., 1993

Specification techniques for Markov reward models.
Discrete Event Dynamic Systems, 1993

An Approach for Combinatorial Performance and Availability Analysis.
Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

Dependability and Performability Analysis.
Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

On the Sensitivity of Transient Solutions of Markov Models.
Proceedings of the 1993 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1993

A methodology for formal expression of hierarchy in model solution.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Sensitivity analysis of Markov regenerative stochastic Petri nets.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Reliability and Performability Techniques and Tools: A Survey.
Proceedings of the Messung, 1993

Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems.
Proceedings of the Messung, 1993

Modeling Using Stochastic Reward Nets.
Proceedings of the MASCOTS '93, 1993

SPNP: The Stochastic Petri Net Package (Version 3.1).
Proceedings of the MASCOTS '93, 1993

Sensitivity Analysis of Deterministic and Stochastic Petri Nets.
Proceedings of the MASCOTS '93, 1993

Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems.
Proceedings of the Digest of Papers: FTCS-23, 1993

Integration of Specification for Modeling and Specification for System Design.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

FSPNs: Fluid Stochastic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

Transient Analysis of Deterministic and Stochastic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992
Guest Editors' Introduction.
IEEE Trans. Parallel Distrib. Syst., 1992

Composite Performance and Dependability Analysis.
Perform. Eval., 1992

Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.
J. Parallel Distrib. Comput., 1992

Approximate Performance Models of Polling Systems Using Stochastic Petri Nets.
Proceedings of the Proceedings IEEE INFOCOM '92, 1992

1991
Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems.
Queueing Syst., 1991

On the Solution of GSPN Reward Models.
Perform. Eval., 1991

Real-Time-Systems Performance in the Presence of Failures.
IEEE Computer, 1991

Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

A Decomposition Approach for Stochastic Petri Net Models.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Reliability analysis of the FDDI token ring.
Proceedings of the 16th Conference on Local Computer Networks, 1991

Fixed Point Iteration in Availability Modeling.
Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991

1990
Performability Analysis Using Semi-Markov Reard Processes.
IEEE Trans. Computers, 1990

Computing Cumulative Measures of Stiff Markov Chains Using Aggregation.
IEEE Trans. Computers, 1990

Two Queues with Alternating Service and Server Breakdown.
Queueing Syst., 1990

System Performance with User Behavior Graphs.
Perform. Eval., 1990

Stochastic Petri Net Models of Polling Systems.
IEEE Journal on Selected Areas in Communications, 1990

Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques.
IEEE Computer, 1990

Availability and Reliability Modeling for Computer Systems.
Advances in Computers, 1990

An Improved ALgorithm for the Symbolic Reliability Analysis of Networks.
Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990

GSPM models: sensitivity analysis and applications.
Proceedings of the 28th Annual Southeast Regional Conference, 1990

1989
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems.
IEEE Trans. Computers, 1989

Multistage Interconnection Network Reliability.
IEEE Trans. Computers, 1989

Analysis of Stiff Markov Chains.
INFORMS Journal on Computing, 1989

Dependability Evaluation of a Class of Multi-Loop Topologies for Local Area Networks.
IBM Journal of Research and Development, 1989

Transient Overloads in Fault-Tolerant Real-Time Systems.
Proceedings of the Real-Time Systems Symposium, 1989

Stochastic Petri Net Modeling of VAXcluster System Availability.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

SPNP: Stochastic Petri Net Package.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Completion Times of Programs on Concurrent Processors with Failure and Repair.
Proceedings of the International Conference on Parallel Processing, 1989

On reliability modelling of fault-tolerant distributed systems.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988
Performability Analysis: Measures, an Algorithm, and a Case Study.
IEEE Trans. Computers, 1988

Performability Modeling Based on Real Data: A Case Study.
IEEE Trans. Computers, 1988

Numerical transient analysis of markov models.
Computers & OR, 1988

Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems.
Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988

Reliabilities of two fault-tolerant interconnection networks.
Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1987
Performance and Reliability Analysis Using Directed Acyclic Graphs.
IEEE Trans. Software Eng., 1987

Queueing Analysis of Fault-Tolerant Computer Systems.
IEEE Trans. Software Eng., 1987

Transient Analysis of Acyclic Markov Chains.
Perform. Eval., 1987

A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue.
Inf. Process. Lett., 1987

Transient Analysis of Markov and Markov Reward Models.
Proceedings of the Computer Performance and Reliability, 1987

A Measurement-Based Performability Model for a Multiprocessor System.
Proceedings of the Computer Performance and Reliability, 1987

1986
Provably Conservative Approximations to Complex Reliability Models.
IEEE Trans. Computers, 1986

An Aggregation Technique for the Transient Analysis of Stiff Markov Chains.
IEEE Trans. Computers, 1986

On modelling the performance and reliability of multimode computer systems.
Journal of Systems and Software, 1986

The Reliability of Life-Critical Computer Systems.
Acta Inf., 1986

Queueing Analysis of Fault-Tolerant Computer Systems.
Proceedings of the 1986 ACM SIGMETRICS joint international conference on Computer performance modelling, 1986

A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

Performance Analysis Using User Behavior Graphs.
Proceedings of the Twelfth International Computer Measurement Group Conference, 1986

1985
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage.
IEEE Trans. Computers, 1985

The Design of a Unified Package for the Solution of Stochastic Petri Net Models.
Proceedings of the International Workshop on Timed Petri Nets, 1985

1984
Extended Stochastic Petri Nets: Applications and Analysis.
Proceedings of the Performance '84, 1984

Issues in reliability modeling of fault-tolerant computers.
Proceedings of the Fehlertolerierende Rechensysteme, 1984

1983
Analytic Queueing Models for Programs with Internal Concurrency.
IEEE Trans. Computers, 1983

Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems.
IEEE Trans. Computers, 1983

Task Allocation in Fault-Tolerant Distributed Systems.
Acta Inf., 1983

The Integration of User Perception in the Heterogeneous M/M/2 Queue.
Proceedings of the Performance '83, 1983

Analysis of M/G/2 - Standby Redundant System.
Proceedings of the Performance '83, 1983

On the Optimal Distribution of Processing Power in a Star Configured System.
Proceedings of the Messung, 1983

Reliability Evaluation for Fault-Tolerant Systems.
Proceedings of the Computer Performance and Reliability, 1983

Computer Science and Applied Probability (abstract).
Proceedings of the Ninth International Computer Measurement Group Conference, 1983

1982
Queueing Network Models for Parallel Processing with Asynchronous Tasks.
IEEE Trans. Computers, 1982

Optimal Design of Multilevel Storage Hierarchies.
IEEE Trans. Computers, 1982

Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems.
Proceedings of the Eigth International Computer Measurement Group Conference, 1982

Probability and statistics with reliability, queuing, and computer science applications.
Prentice Hall, ISBN: 978-0-13-711564-8, 1982

1981
Optimal Design of Linear Storage Hierarchies.
J. ACM, 1981

Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection.
Proceedings of the Seventh International Computer Measurement Group Conference, 1981

1980
Hardware configuration selection through discretizing a continuous variable solution.
SIGMETRICS Performance Evaluation Review, 1980

Optimal Selection of CPU Speed, Device Capacities, and File Assignments.
J. ACM, 1980

A Model for Computer Configuration Design.
IEEE Computer, 1980

Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints.
Proceedings of the 7th Annual Symposium on Computer Architecture, May 1980, 1980

1979
A Decision Model for Closed Queuing Networks.
IEEE Trans. Software Eng., 1979

An analysis of prepaging.
Computing, 1979

A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory.
Proceedings of the 6th Annual Symposium on Computer Architecture, April 1979, 1979

1978
Analytic Modeling of Computer Systems.
IEEE Computer, 1978

Higher radix on-line division.
Proceedings of the 4th IEEE Symposium on Computer Arithmetic, 1978

1977
On-Line Algorithms for Division and Multiplication.
IEEE Trans. Computers, 1977

On the Paging Performance of Array Algorithms.
IEEE Trans. Computers, 1977

On the Use of Continued Fractions for Digital Computer Arithmetic.
IEEE Trans. Computers, 1977

1976
Prepaging and Applications to Array Algorithms.
IEEE Trans. Computers, 1976

On a Semaphore Anomaly.
Inf. Process. Lett., 1976

1975
On-line algorithms for division and multiplication.
Proceedings of the 3rd IEEE Symposium on Computer Arithmetic, 1975

On the use of continued emotions for digital computer arithmetic.
Proceedings of the 3rd IEEE Symposium on Computer Arithmetic, 1975

1973
The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions.
IEEE Trans. Computers, 1973

1972
The status of investigations into the use of continued fractions for computer hardware.
Proceedings of the 2nd IEEE Symposium on Computer Arithmetic, 1972


  Loading...