Kishor S. Trivedi

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Reliability and survivability of vehicular ad hoc networks.

[BibT_eX]

[DOI]

Resham Vinayak

Proceedings of the International Symposium on Performance Evaluation of Computer & Telecommunication Systems, 2012

The Nature of the Times to Flight Software Failure during Space Missions.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Software Rejuvenation: Do IT & Telco Industries Use It?

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees.

[BibT_eX]

[DOI]

Arpan Roy

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

Software Aging and Rejuvenation for Increased Resilience: Modeling, Analysis and Applications.

[BibT_eX]

[DOI]

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

A refined EM algorithm for PH distributions.

[BibT_eX]

[DOI]

Hiroyuki Okamura

Perform. Evaluation, 2011

A stochastic model for beaconless IEEE 802.15.4 MAC operation.

[BibT_eX]

[DOI]

Comput. Commun., 2011

A Robust Broadcast Scheme for VANET One-Hop Emergency Services.

[BibT_eX]

[DOI]

Xiaoyan Yin

Proceedings of the 74th IEEE Vehicular Technology Conference, 2011

Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS 2011), 2011

Recovery from Failures Due to Mandelbugs in IT Systems.

[BibT_eX]

[DOI]

Rajesh K. Mansharamani

Manoj Nambiar

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Performance Modeling of Apache Web Server Affected by Aging.

[BibT_eX]

[DOI]

Jing Zhao

Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

Injecting Memory Leaks to Accelerate Software Failures.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

Uncertainty Propagation through Software Dependability Models.

[BibT_eX]

[DOI]

Kesari Mishra

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.

[BibT_eX]

[DOI]

Fumio Machida

Victor F. Nicola

Rúbens de Souza Matos Júnior

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.

[BibT_eX]

[DOI]

Jean Araujo

Paulo Romero Martins Maciel

Francisco Vieira

Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011

A Comparative Evaluation of Software Rejuvenation Strategies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Haiyang Qian

Deep Medhi

Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM).

[BibT_eX]

[DOI]

Felix Salfner

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

A scalable availability model for Infrastructure-as-a-Service cloud.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rahul Ghosh

Vijay K. Naik

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.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Availability, 2011

2010

Software Reliability and Testing Time Allocation: An Architecture-Based Approach.

[BibT_eX]

[DOI]

Roberto Pietrantuono

Stefano Russo

IEEE Trans. Software Eng., 2010

Accelerated Degradation Tests Applied to Software Aging Experiments.

[BibT_eX]

[DOI]

Pedro Alberto Barbetta

Paulo José de Freitas Filho

IEEE Trans. Reliab., 2010

Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2010

Software fault mitigation and availability assurance techniques.

[BibT_eX]

[DOI]

Ermeson C. Andrade

Int. J. Syst. Assur. Eng. Manag., 2010

In Memoriam: Dr. Chandra Kintala.

[BibT_eX]

[DOI]

J. Syst. Softw., 2010

Quantifying Resiliency of IaaS Cloud.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Amita Devaraj

Kesari Mishra

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.

[BibT_eX]

[DOI]

Rahul Ghosh

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.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing, 2010

Evaluation of software performance affected by aging.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Software Aging and Rejuvenation, 2010

Computing the Number of Calls Dropped Due to Failures.

[BibT_eX]

[DOI]

D. Jason Hunt

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Using Accelerated Life Tests to Estimate Time to Software Aging Failure.

[BibT_eX]

[DOI]

Paulo Romero Martins Maciel

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

Modeling and analysis of software rejuvenation in a server virtualized system.

[BibT_eX]

[DOI]

Fumio Machida

Proceedings of the Second IEEE International Workshop on Software Aging and Rejuvenation, 2010

Online Monitoring of Software System Reliability.

[BibT_eX]

[DOI]

Roberto Pietrantuono

Stefano Russo

Proceedings of the Eighth European Dependable Computing Conference, 2010

Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM).

[BibT_eX]

[DOI]

Felix Salfner

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.

[BibT_eX]

[DOI]

Allen P. Nikora

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Cyber security analysis using attack countermeasure trees.

[BibT_eX]

[DOI]

Arpan Roy

Proceedings of the 6th Cyber Security and Information Intelligence Research Workshop, 2010

On-Line Adaptive Algorithms in Autonomic Restart Control.

[BibT_eX]

[DOI]

Hiroyuki Okamura

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010

2009

Markovian arrival process parameter estimation with group data.

[BibT_eX]

[DOI]

Hiroyuki Okamura

IEEE/ACM Trans. Netw., 2009

SHARPE at the age of twenty two.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2009

Network survivability modeling.

[BibT_eX]

[DOI]

Comput. Networks, 2009

Survivability Modeling with Stochastic Reward Nets.

[BibT_eX]

[DOI]

Proceedings of the 2009 Winter Simulation Conference, 2009

Availability Modeling and Analysis of a Virtualized System.

[BibT_eX]

[DOI]

Fumio Machida

Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009

Resilience in computer systems and networks.

[BibT_eX]

[DOI]

Rahul Ghosh

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

Workshop on proactive failure avoidance, recovery and maintenance (PFARM).

[BibT_eX]

[DOI]

Felix Salfner

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Dependability and security models.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Design of Reliable Communication Networks, 2009

Analyzing the Hold Time Schemes to Limit the Routing Table Calculations in OSPF Protocol.

[BibT_eX]

[DOI]

Mukul Goyal

Mohd Soperi

Seyed Hossein Hosseini

Aman Shaikh

G. Choudhury

Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Software Aging and Rejuvenation.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Combined Guard Channel and Mobile-Assisted Handoff for Cellular Networks.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2008

Availability analysis of blade server systems.

[BibT_eX]

[DOI]

IBM Syst. J., 2008

Availability Modeling of SIP Protocol on IBM(c) WebSphere(c).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

The fundamentals of software aging.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Reliability Engineering Workshops, 2008

Achieving and Assuring High Availability.

[BibT_eX]

[DOI]

Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

Ten Fallacies of Availability and Reliability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

Achieving and assuring high availability.

[BibT_eX]

[DOI]

Andrew J. Rindos

Bart Vashaw

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.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Systems and Networks Communications, 2008

Reliable system design: models, metrics and design techniques.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

Survivability quantification of communication services.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2007

A Best Practice Guide to Resource Forecasting for Computing Systems.

[BibT_eX]

[DOI]

Günther A. Hoffmann

IEEE Trans. Reliab., 2007

Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation.

[BibT_eX]

[DOI]

Yuan-Shun Dai

Gregory Levitin

IEEE Trans. Computers, 2007

Performability analysis of clustered systems with rejuvenation under varying workload.

[BibT_eX]

[DOI]

Wei Xie

Perform. Evaluation, 2007

Quantifying software performance, reliability and security: An architecture-based approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate.

[BibT_eX]

[DOI]

Computer, 2007

Simulation versus analytic-numeric methods: illustrative examples.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

N. Sato

Proceedings of the Service-Oriented Computing, 2007

Availability Monitor for a Software Based System.

[BibT_eX]

[DOI]

Marc Haberkorn

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.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

Survivability Quantification - Keynote.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

N. Sato

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.

[BibT_eX]

[DOI]

Yun Liu

IEEE Trans. Veh. Technol., 2006

Modeling and performance analysis for soft handoff schemes in CDMA cellular systems.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2006

Analysis of Software Aging in a Web Server.

[BibT_eX]

[DOI]

Lei Li

IEEE Trans. Reliab., 2006

Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2006

Incorporating fault debugging activities into software reliability models: a simulation approach.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2006

Modeling High Availability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Günther A. Hoffmann

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.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Model Based Approach for Autonomic Availability Management.

[BibT_eX]

[DOI]

Kesari Mishra

Proceedings of the Service Availability, 2006

Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

A Performance Engineering Tool for Tiered Software Systems.

[BibT_eX]

[DOI]

Pankaj Jalote

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, Second Edition.

[BibT_eX]

[DOI]

Wiley, ISBN: 978-0-471-56525-3, 2006

2005

Computing steady-state mean time to failure for non-coherent repairable systems.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2005

A workload-based analysis of software aging, and rejuvenation.

[BibT_eX]

[DOI]

Yujuan Bao

Xiaobai Sun

IEEE Trans. Reliab., 2005

A Comprehensive Model for Software Rejuvenation.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2005

Analysis of a two-level software rejuvenation policy.

[BibT_eX]

[DOI]

Wei Xie

Reliab. Eng. Syst. Saf., 2005

Optimization for condition-based maintenance with semi-Markov decision process.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2005

A proactive approach towards always-on availability in broadband cable networks.

[BibT_eX]

[DOI]

Comput. Commun., 2005

Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls.

[BibT_eX]

[DOI]

Pawan K. Choudhary

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.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Software and Performance, 2005

StackOFFence: A Technique for Defending Against Buffer Overflow Attacks.

[BibT_eX]

[DOI]

Shashi Phoha

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Modeling User-Perceived Service Availability.

[BibT_eX]

[DOI]

Proceedings of the Service Availability, 2005

On a Method for Mending Time to Failure Distributions.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

State Space Approach to Security Quantification.

[BibT_eX]

[DOI]

Christopher Griffin

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Evaluating Performance Attributes of Layered Software Architecture.

[BibT_eX]

[DOI]

Pankaj Jalote

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

2004

Optimal Estimation of Training Interval for Channel Equalization.

[BibT_eX]

[DOI]

IEEE Trans. Wirel. Commun., 2004

Model-Based Evaluation: From Dependability to Security.

[BibT_eX]

[DOI]

David M. Nicol

William H. Sanders

IEEE Trans. Dependable Secur. Comput., 2004

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

[BibT_eX]

[DOI]

Softw. Qual. J., 2004

A method for modeling and quantifying the security attributes of intrusion tolerant systems.

[BibT_eX]

[DOI]

Perform. Evaluation, 2004

An analytical approach to architecture-based software performance and reliability prediction.

[BibT_eX]

[DOI]

Perform. Evaluation, 2004

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

[BibT_eX]

[DOI]

Yonghuan Cao

Perform. Evaluation, 2004

Security modeling and quantification of intrusion tolerant systems using attack-response graph.

[BibT_eX]

[DOI]

J. High Speed Networks, 2004

Comparing Software Rejuvenation Policies under Different Dependability Measures.

[BibT_eX]

[DOI]

Hiroaki Suzuki

IEICE Trans. Inf. Syst., 2004

Software Rejuvenation Policies for Cluster Systems under Varying Workload.

[BibT_eX]

[DOI]

Wei Xie

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

A General Framework for Network Survivability Quantification.

[BibT_eX]

Yun Liu

Proceedings of the MMB & PGTS 2004, 2004

Survivability Analysis of Telephone Access Network.

[BibT_eX]

[DOI]

Yun Liu

Veena B. Mendiratta

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Software Rejuvenation - Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the Information Technology, Selected Tutorials, 2004

Discrete Event Simulation with Application to Computer Communication Systems Performance - Introduction to Simulation.

[BibT_eX]

[DOI]

Helena Szczerbicka

Pawan K. Choudhary

Proceedings of the Information Technology, Selected Tutorials, 2004

Hierarchical Computation of Interval Availability and Related Metrics.

[BibT_eX]

[DOI]

Dong Tang

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.

[BibT_eX]

[DOI]

Shunji Osaki

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.

[BibT_eX]

[DOI]

Yonghuan Cao

IEEE Trans. Veh. Technol., 2003

Hierarchical composition and aggregation of state-based availability and performability models.

[BibT_eX]

[DOI]

Mark Lanus

Liang Yin

IEEE Trans. Reliab., 2003

A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2003

Recent advances in modeling response-time distributions in real-time systems.

[BibT_eX]

[DOI]

Ricardo M. Fricks

Proc. IEEE, 2003

Performability modelling of wireless communication systems.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2003

Performance modeling of wireless networks with generally distributed handoff interarrival times.

[BibT_eX]

[DOI]

Comput. Commun., 2003

Maximizing Interval Reliability in Operational Software System with Rejuvenation.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Modeling of user perceived webserver availability.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2003

Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.

[BibT_eX]

[DOI]

Chandra M. R. Kintala

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme.

[BibT_eX]

[DOI]

Yujuan Bao

Xiaobai Sun

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Security analysis of SITAR intrusion tolerance system.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

Software performance analysis using a language measure.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2003

2002

System availability with non-exponentially distributed outages.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2002

Closed-form analytical results for condition-based maintenance.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2002

Second-order stochastic fluid models with fluid-dependent flow rates.

[BibT_eX]

Perform. Evaluation, 2002

Analytic modeling of handoffs in wireless cellular networks.

[BibT_eX]

[DOI]

Inf. Sci., 2002

Call admission control for reducing dropped calls in CDMA cellular systems.

[BibT_eX]

[DOI]

Comput. Commun., 2002

Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Availability Models with Age-Dependent Checkpointing.

[BibT_eX]

[DOI]

Naoto Kaio

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Software Reliability and Rejuvenation: Modeling and Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2002

Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Reliability Prediction and Sensitivity Analysis Based on Software Architecture.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

An Approach for Estimation of Software Aging in a Web Server.

[BibT_eX]

[DOI]

Lei Li

Proceedings of the 2002 International Symposium on Empirical Software Engineering (ISESE 2002), 2002

Specification-Level Integration of Simulation and Dependability Analysis.

[BibT_eX]

[DOI]

Joseph R. Horgan

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ming Qian

Proceedings of the 11th International Conference on Computer Communications and Networks, 2002

Optimal estimation of training interval for channel equalizations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2002

SREPT: A Tool for Software Reliability Estimation and Prediction.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Modeling and Quantification of Security Attributes of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

A Simple Characterization of Provably Efficient Prefetching Algorithms.

[BibT_eX]

[DOI]

Wei Jin

Rakesh D. Barve

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.

[BibT_eX]

[DOI]

Dong Chen

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Failure mitigation for quality of service of wireless networks.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition.

[BibT_eX]

[DOI]

Wiley, ISBN: 978-1-119-28544-1, 2002

2001

Composite performance and availability analysis of wireless communication networks.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2001

Loss formulas and their application to optimization for cellular networks.

[BibT_eX]

[DOI]

IEEE Trans. Veh. Technol., 2001

Performance of broadcast and unknown server (BUS) in ATM LAN emulation.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2001

Architecture-based approach to reliability assessment of software systems.

[BibT_eX]

[DOI]

Perform. Evaluation, 2001

Proactive management of software aging.

[BibT_eX]

[DOI]

William P. Zeggert

IBM J. Res. Dev., 2001

Comparison of Hybrid Systems and Fluid Stochastic Petri Nets.

[BibT_eX]

[DOI]

Bruno Tuffin

Dong S. Chen

Discret. Event Dyn. Syst., 2001

A performance model of partial packet discard and early packet discard schemes in ATM switches.

[BibT_eX]

[DOI]

Comput. Commun., 2001

A method for multiple channel recovery in TDMA wireless communications systems.

[BibT_eX]

[DOI]

Comput. Commun., 2001

Estimating Software Rejuvenation Schedules in High-Assurance Systems.

[BibT_eX]

[DOI]

Comput. J., 2001

Performance Analysis of the CORBA Notification Service .

[BibT_eX]

[DOI]

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

Analysis and implementation of software rejuvenation in cluster systems.

[BibT_eX]

[DOI]

Richard E. Harper

Steven W. Hunter

Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

Analysis of Periodic Preventive Maintenance with General System Failure Distribution.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Aditya P. Mathur

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Analysis of Hypergeometric Distribution Software Reliability Model.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Reliable Messaging Using the CORBA Notification Service.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

2000

Failure correlation in software reliability models.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2000

SREPT: software reliability estimation and prediction tool.

[BibT_eX]

[DOI]

Perform. Evaluation, 2000

Channel Allocation with Recovery Strategy in Wireless Networks.

[BibT_eX]

[DOI]

Eur. Trans. Telecommun., 2000

Performance Analysis of the CORBA Event Service using Stochastic Reward Nets.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems, 2000

Effects of failure correlation on software in operation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Shunji Osaki

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

Building a Reliable Message Delivery System Using the CORBA Event Service.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing, 2000

Call Admission Control for Reducing Dropped Calls in Code Division Multiple Access (CDMA) Cellular Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM 2000, 2000

Analysis of software cost models with rejuvenation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Global Telecommunications Conference, 2000. GLOBECOM 2000, San Francisco, CA, USA, 27 November, 2000

Stochastic Modeling Formalisms for Dependability, Performance and Performability.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation: Origins and Directions, 2000

Implementation of Importance Splitting Techniques in Stochastic Petri Net Package.

[BibT_eX]

[DOI]

Bruno Tuffin

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

SREPT: Software Reliability Estimation and Prediction Tool.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

SPNP: Stochastic Petri Nets. Version 6.0.

[BibT_eX]

[DOI]

Christophe Hirel

Bruno Tuffin

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

Reliability and Performability Modeling Using SHARPE 2000.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

Modeling and Analysis of Software Aging and Rejuvenation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

Proactive Fault-Management in Software System.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 33th Annual Simulation Symposium (SS 2000), 2000

1999

Discrete-Event Simulation of Fluid Stochastic Petri Nets.

[BibT_eX]

[DOI]

David M. Nicol

IEEE Trans. Software Eng., 1999

Performance Analysis of Distributed Real-Time Databased.

[BibT_eX]

[DOI]

Ricardo M. Fricks

Perform. Evaluation, 1999

The effect of Web caching on network planning.

[BibT_eX]

[DOI]

Comput. Commun., 1999

A stochastic reward net model for performance analysis of prioritized DQDB MAN.

[BibT_eX]

[DOI]

Comput. Commun., 1999

A time/structure based software reliability model.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1999

A channel recovery method for RF channel failure in wireless communications systems.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE Wireless Communications and Networking Conference, 1999

Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System.

[BibT_eX]

[DOI]

Proceedings of the 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 1999

Confidence interval estimation of NHPP-based software reliability models.

[BibT_eX]

[DOI]

Liang Yin

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

A measurement-based model for estimation of resource exhaustion in operational software systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

A reliable CORBA-based network management system.

[BibT_eX]

[DOI]

Tong Luo

Tony Confrey

Proceedings of the 1999 IEEE International Conference on Communications: Global Convergence Through Communications, 1999

Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-29, 1999

Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance.

[BibT_eX]

[DOI]

Yennun Huang

Chandra M. R. Kintala

Shalini Yajnik

Proceedings of the Digest of Papers: FTCS-29, 1999

Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.

[BibT_eX]

[DOI]

Andrea Bondavalli

Ivan Mura

Proceedings of the Dependable Computing, 1999

1998

Analysis of Preventive Maintenance in Transactions Based Software Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1998

Applications of non-Markovian stochastic Petri nets.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 1998

Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions.

[BibT_eX]

[DOI]

Marco Scarpa

Perform. Evaluation, 1998

Recent Developments in Non-Markovian Stochastic Petri Nets.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 1998

Increasing Application Accessibility through Java.

[BibT_eX]

[DOI]

IEEE Internet Comput., 1998

Fluid stochastic Petri nets: Theory, applications, and solution techniques.

[BibT_eX]

[DOI]

Graham Horton

David M. Nicol

Eur. J. Oper. Res., 1998

Software reliability analysis incorporating fault detection and debugging activities.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Reliability simulation of component-based software systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

A methodology for detection and estimation of software aging.

[BibT_eX]

[DOI]

Aad P. A. van Moorsel

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Log-Logistic Software Reliability Growth Model.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

An Improved Multiple Variable Inversion Algorithm for Reliability Calculation.

[BibT_eX]

[DOI]

Tong Luo

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.

[BibT_eX]

[DOI]

Telecommun. Syst., 1997

The Effect of Detection and Restoration Times on Error Recovery in Communication Networks.

[BibT_eX]

[DOI]

D. Logothesis

J. Netw. Syst. Manag., 1997

Performability analysis of handoff calls in personal communication networks.

[BibT_eX]

[DOI]

Cheul Woo Ro

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Combined Performance and Availability Analysis of a Switched Network Applications.

[BibT_eX]

[DOI]

Steven W. Hunter

Teebu Philip

Proceedings of the 1997 IEEE International Conference on Communications: Towards the Knowledge Millennium, 1997

On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers.

[BibT_eX]

[DOI]

Ann T. Tai

Herbert Hecht

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

Comment/correction: dependability modeling using Petri nets.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 1996

Optimal Software Rejuvenation for Tolerating Soft Failures.

[BibT_eX]

Perform. Evaluation, 1996

Accelerating Mean Time to Failure Computations.

[BibT_eX]

Philip Heidelberger

Perform. Evaluation, 1996

Minimizing Completion Time of a Program by Checkpointing and Rejuvenation.

[BibT_eX]

[DOI]

Yennun Huang

Chandra M. R. Kintala

Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 1996

Important Milestones in Software Reliability Modeling.

[BibT_eX]

Peter N. Marinos

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.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Software Reliability Engineering, 1996

Transient Behavior of ATM Networds under Overloads.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '96, 1996

IDEA: Integrated Design Environment for Assessment of ATM Networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 1996

Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package.

[BibT_eX]

[DOI]

Kluwer, ISBN: 978-1-4615-2367-3, 1996

1995

Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage.

[BibT_eX]

[DOI]

Perform. Evaluation, 1995

A survey of efficient reliability computation using disjoint products approach.

[BibT_eX]

[DOI]

Suresh Rai

Networks, 1995

Non-Markovian Petri Nets (Panel).

[BibT_eX]

[DOI]

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

Fixed point iteration using stochastic reward nets.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Performance evaluation of dynamic priority operating systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Reinhard German

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets.

[BibT_eX]

[DOI]

Andrea Bobbio

Miklós Telek

Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

Steady State Analysis of Markov Regenerative SPN with Age Memory Policy.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Computing and Communication Systems, 1995

From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '95, 1995

Analysis of software rejuvenation using Markov Regenerative Stochastic Petri Net.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components.

[BibT_eX]

[DOI]

Meera Balakrishnan

Proceedings of the Digest of Papers: FTCS-25, 1995

Semi-numerical transient analysis of Markov models.

[BibT_eX]

[DOI]

A. V. Ramesh

Proceedings of the 33th Annual Southeast Regional Conference, 1995

1994

Reliability analysis of the double counter-rotating ring with concentrator attachments.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 1994

Guarded Repair of Dependable Systems.

[BibT_eX]

[DOI]

Hermann de Meer

Mario Dal Cin

Theor. Comput. Sci., 1994

A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1994

Reliability modeling of life-critical, real-time systems.

[BibT_eX]

[DOI]

Proc. IEEE, 1994

Markov Regenerative Stochastic Petri Nets.

[BibT_eX]

[DOI]

Perform. Evaluation, 1994

Numerical computation of response time distributions using stochastic reward nets.

[BibT_eX]

[DOI]

Ann. Oper. Res., 1994

Phased-Mission System Analysis Using Boolean Algebraic Methods.

[BibT_eX]

[DOI]

Arun K. Somani

Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1994

Markov Reward Approach to Performability and Reliability Analysis.

[BibT_eX]

[DOI]

Ricardo M. Fricks

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.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '94, 1994

The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage.

[BibT_eX]

[DOI]

Wei Wang

Babubhai V. Shah

Joseph A. Profeta III

Proceedings of the Digest of Papers: FTCS/24, 1994

Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Andrew J. Rindos

Proceedings of the Computer Performance Evaluation, 1994

1993

Modeling Correlation in Software Recovery Blocks.

[BibT_eX]

[DOI]

Lorrie A. Tomek

IEEE Trans. Software Eng., 1993

Performance Evaluation of Client-Server Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1993

The Completion Time of Programs on Processors Subject to Failure and Repair.

[BibT_eX]

[DOI]

Phillip F. Chimento Jr.

IEEE Trans. Computers, 1993

A Decomposition Approach for Stochastic Reward Net Models.

[BibT_eX]

[DOI]

Perform. Evaluation, 1993

Reliability Analysis of Redundant Arrays of Inexpensive Disks.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1993

Specification techniques for Markov reward models.

[BibT_eX]

[DOI]

Boudewijn R. Haverkort

Discret. Event Dyn. Syst., 1993

An Approach for Combinatorial Performance and Availability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

Dependability and Performability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

On the Sensitivity of Transient Solutions of Markov Models.

[BibT_eX]

[DOI]

A. V. Ramesh

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.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Sensitivity analysis of Markov regenerative stochastic Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Reliability and Performability Techniques and Tools: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Messung, 1993

Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems.

[BibT_eX]

[DOI]

Hermann de Meer

Proceedings of the Messung, 1993

Modeling Using Stochastic Reward Nets.

[BibT_eX]

Proceedings of the MASCOTS '93, 1993

SPNP: The Stochastic Petri Net Package (Version 3.1).

[BibT_eX]

Proceedings of the MASCOTS '93, 1993

Sensitivity Analysis of Deterministic and Stochastic Petri Nets.

[BibT_eX]

Proceedings of the MASCOTS '93, 1993

Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-23, 1993

Integration of Specification for Modeling and Specification for System Design.

[BibT_eX]

[DOI]

Chang-Yu Wang

Proceedings of the Application and Theory of Petri Nets 1993, 1993

FSPNs: Fluid Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1993, 1993

Transient Analysis of Deterministic and Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Ravishankar K. Iyer

IEEE Trans. Parallel Distributed Syst., 1992

Composite Performance and Dependability Analysis.

[BibT_eX]

[DOI]

Steven P. Woolet

Boudewijn R. Haverkort

Perform. Evaluation, 1992

Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1992

Approximate Performance Models of Polling Systems Using Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '92, 1992

1991

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

[BibT_eX]

[DOI]

Queueing Syst. Theory Appl., 1991

On the Solution of GSPN Reward Models.

[BibT_eX]

[DOI]

Perform. Evaluation, 1991

Real-Time-Systems Performance in the Presence of Failures.

[BibT_eX]

[DOI]

Steven P. Woolet

Computer, 1991

Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques.

[BibT_eX]

[DOI]

Heinz Kantz

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

A Decomposition Approach for Stochastic Petri Net Models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Reliability analysis of the FDDI token ring.

[BibT_eX]

[DOI]

Proceedings of the 16th Conference on Local Computer Networks, 1991

Fixed Point Iteration in Availability Modeling.

[BibT_eX]

[DOI]

Lorrie A. Tomek

Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991

1990

Performability Analysis Using Semi-Markov Reard Processes.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1990

Computing Cumulative Measures of Stiff Markov Chains Using Aggregation.

[BibT_eX]

[DOI]

Andrea Bobbio

IEEE Trans. Computers, 1990

Two Queues with Alternating Service and Server Breakdown.

[BibT_eX]

[DOI]

Queueing Syst. Theory Appl., 1990

System Performance with User Behavior Graphs.

[BibT_eX]

[DOI]

Maria Calzarossa

Raymond A. Marie

Perform. Evaluation, 1990

Stochastic Petri Net Models of Polling Systems.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1990

Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques.

[BibT_eX]

[DOI]

Computer, 1990

Availability and Reliability Modeling for Computer Systems.

[BibT_eX]

[DOI]

David I. Heimann

Nitin Mittal

Adv. Comput., 1990

An Improved ALgorithm for the Symbolic Reliability Analysis of Networks.

[BibT_eX]

[DOI]

Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990

GSPM models: sensitivity analysis and applications.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Southeast Regional Conference, 1990

1989

Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems.

[BibT_eX]

[DOI]

Joanne Bechta Dugan

IEEE Trans. Computers, 1989

Multistage Interconnection Network Reliability.

[BibT_eX]

[DOI]

James T. Blake

IEEE Trans. Computers, 1989

Analysis of Stiff Markov Chains.

[BibT_eX]

[DOI]

INFORMS J. Comput., 1989

Dependability Evaluation of a Class of Multi-Loop Topologies for Local Area Networks.

[BibT_eX]

[DOI]

W. Earl Smith

IBM J. Res. Dev., 1989

Transient Overloads in Fault-Tolerant Real-Time Systems.

[BibT_eX]

[DOI]

Philip M. Thambidurai

Proceedings of the Real-Time Systems Symposium, 1989

Stochastic Petri Net Modeling of VAXcluster System Availability.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

SPNP: Stochastic Petri Net Package.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Completion Times of Programs on Concurrent Processors with Failure and Repair.

[BibT_eX]

Phillip F. Chimento Jr.

Proceedings of the International Conference on Parallel Processing, 1989

On reliability modelling of fault-tolerant distributed systems.

[BibT_eX]

[DOI]

Philip M. Thambidurai

You-Keun Park

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

Performability Analysis: Measures, an Algorithm, and a Case Study.

[BibT_eX]

[DOI]

R. M. Smith

A. V. Ramesh

IEEE Trans. Computers, 1988

Performability Modeling Based on Real Data: A Case Study.

[BibT_eX]

[DOI]

Mei-Chen Hsueh

Ravishankar K. Iyer

IEEE Trans. Computers, 1988

Numerical transient analysis of markov models.

[BibT_eX]

[DOI]

Comput. Oper. Res., 1988

Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems.

[BibT_eX]

[DOI]

James T. Blake

Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1988

Reliabilities of two fault-tolerant interconnection networks.

[BibT_eX]

[DOI]

James T. Blake

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1987

Performance and Reliability Analysis Using Directed Acyclic Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1987

Queueing Analysis of Fault-Tolerant Computer Systems.

[BibT_eX]

[DOI]

Victor F. Nicola

IEEE Trans. Software Eng., 1987

Transient Analysis of Acyclic Markov Chains.

[BibT_eX]

[DOI]

Raymond A. Marie

Perform. Evaluation, 1987

A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue.

[BibT_eX]

[DOI]

Raymond A. Marie

Inf. Process. Lett., 1987

Transient Analysis of Markov and Markov Reward Models.

[BibT_eX]

Roger Smith

Proceedings of the Computer Performance and Reliability, 1987

A Measurement-Based Performability Model for a Multiprocessor System.

[BibT_eX]

Mei-Chen Hsueh

Ravishankar K. Iyer

Proceedings of the Computer Performance and Reliability, 1987

1986

Provably Conservative Approximations to Complex Reliability Models.

[BibT_eX]

[DOI]

Mark Smotherman

IEEE Trans. Computers, 1986

An Aggregation Technique for the Transient Analysis of Stiff Markov Chains.

[BibT_eX]

[DOI]

Andrea Bobbio

IEEE Trans. Computers, 1986

On modelling the performance and reliability of multimode computer systems.

[BibT_eX]

[DOI]

Victor F. Nicola

J. Syst. Softw., 1986

The Reliability of Life-Critical Computer Systems.

[BibT_eX]

[DOI]

Acta Informatica, 1986

A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models.

[BibT_eX]

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

Performance Analysis Using User Behavior Graphs.

[BibT_eX]

[DOI]

Maria Calzarossa

Proceedings of the Twelfth International Computer Measurement Group Conference, 1986

1985

The Conservativeness of Reliability Estimates Based on Instantaneous Coverage.

[BibT_eX]

[DOI]

John McGough

Mark Smotherman

IEEE Trans. Computers, 1985

The Design of a Unified Package for the Solution of Stochastic Petri Net Models.

[BibT_eX]

Proceedings of the International Workshop on Timed Petri Nets, 1985

1984

Extended Stochastic Petri Nets: Applications and Analysis.

[BibT_eX]

Proceedings of the Performance '84, 1984

Issues in reliability modeling of fault-tolerant computers.

[BibT_eX]

[DOI]

Proceedings of the Fehlertolerierende Rechensysteme, 1984

1983

Analytic Queueing Models for Programs with Internal Concurrency.

[BibT_eX]

[DOI]

Philip Heidelberger

IEEE Trans. Computers, 1983

Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1983

Task Allocation in Fault-Tolerant Distributed Systems.

[BibT_eX]

[DOI]

Joseph A. Bannister

Acta Informatica, 1983

The Integration of User Perception in the Heterogeneous M/M/2 Queue.

[BibT_eX]

Proceedings of the Performance '83, 1983

Analysis of M/G/2 - Standby Redundant System.

[BibT_eX]

François Baccelli

Proceedings of the Performance '83, 1983

On the Optimal Distribution of Processing Power in a Star Configured System.

[BibT_eX]

[DOI]

Günter Haring

Proceedings of the Messung, 1983

Reliability Evaluation for Fault-Tolerant Systems.

[BibT_eX]

Proceedings of the Computer Performance and Reliability, 1983

Computer Science and Applied Probability (abstract).

[BibT_eX]

[DOI]

Proceedings of the Ninth International Computer Measurement Group Conference, 1983

1982

Queueing Network Models for Parallel Processing with Asynchronous Tasks.

[BibT_eX]

[DOI]

Philip Heidelberger

IEEE Trans. Computers, 1982

Optimal Design of Multilevel Storage Hierarchies.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1982

Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems.

[BibT_eX]

[DOI]

Anneliese von Mayrhauser

Proceedings of the Eigth International Computer Measurement Group Conference, 1982

Probability and Statistics with Reliability, Queuing, and Computer Science Applications.

[BibT_eX]

Prentice Hall, ISBN: 978-0-13-711564-8, 1982

1981

Optimal Design of Linear Storage Hierarchies.

[BibT_eX]

[DOI]

Timothy M. Sigmon

J. ACM, 1981

Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection.

[BibT_eX]

[DOI]

Anneliese von Mayrhauser

Proceedings of the Seventh International Computer Measurement Group Conference, 1981

1980

Hardware configuration selection through discretizing a continuous variable solution.

[BibT_eX]

[DOI]

Robert A. Wagner

Proceedings of the 1980 International Symposium on Computer Performance Modelling, 1980

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

[BibT_eX]

[DOI]

Robert A. Wagner

Timothy M. Sigmon

J. ACM, 1980

A Model for Computer Configuration Design.

[BibT_eX]

[DOI]

Robert E. Kinicki

Computer, 1980

Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual Symposium on Computer Architecture, 1980

1979

A Decision Model for Closed Queuing Networks.

[BibT_eX]

[DOI]

Robert A. Wagner

IEEE Trans. Software Eng., 1979

An analysis of prepaging.

[BibT_eX]

[DOI]

Computing, 1979

A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory.

[BibT_eX]

[DOI]

Timothy M. Sigmon

Proceedings of the 6th Annual Symposium on Computer Architecture, 1979

1978

Analytic Modeling of Computer Systems.

[BibT_eX]

[DOI]

Computer, 1978

Higher radix on-line division.

[BibT_eX]

[DOI]

Joseph G. Rusnak

Proceedings of the 4th IEEE Symposium on Computer Arithmetic, 1978

1977

On-Line Algorithms for Division and Multiplication.

[BibT_eX]

[DOI]

Milos D. Ercegovac

IEEE Trans. Computers, 1977

On the Paging Performance of Array Algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1977

On the Use of Continued Fractions for Digital Computer Arithmetic.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1977

1976

Prepaging and Applications to Array Algorithms.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1976

On a Semaphore Anomaly.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1976

1975

On the use of continued emotions for digital computer arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE Symposium on Computer Arithmetic, 1975

1974

Prepaging and Applications to Structured Array Problems

[BibT_eX]

[DOI]

PhD thesis, 1974

1973

The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions.

[BibT_eX]

[DOI]

James E. Robertson

IEEE Trans. Computers, 1973

1972

The status of investigations into the use of continued fractions for computer hardware.

[BibT_eX]

[DOI]

James E. Robertson