William H. Sanders

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Passive Replication Schemes in Aqua.

[BibT_eX]

[DOI]

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

Formal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System.

[BibT_eX]

[DOI]

HariGovind V. Ramasamy

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation.

[BibT_eX]

[DOI]

Constantine D. Polychronopoulos

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol.

[BibT_eX]

[DOI]

Kaustubh R. Joshi

Proceedings of the Dependable Computing, 2002

Modeling of Service-Level Agreements for Composed Services.

[BibT_eX]

[DOI]

David Daly

Gautam Kar

Proceedings of the Management Technologies for E-Commerce and E-Business Applications, 2002

Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach.

[BibT_eX]

[DOI]

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

Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems.

[BibT_eX]

[DOI]

HariGovind V. Ramasamy

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

An Adaptive Framework for Tunable Consistency and Timeliness Using Replication.

[BibT_eX]

[DOI]

Sudha Krishnamurthy

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

2001

An Adaptive Algorithm for Tolerating Value Faults and Crash Failures.

[BibT_eX]

[DOI]

Jennifer Ren

IEEE Trans. Parallel Distributed Syst., 2001

On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading.

[BibT_eX]

[DOI]

Perform. Evaluation, 2001

Measure-adaptive state-space construction.

[BibT_eX]

[DOI]

Perform. Evaluation, 2001

Möbius: Framework and Atomic Models.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

The Möbius Execution Policy.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

The Möbius Modeling Tool.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.

[BibT_eX]

[DOI]

Graham Clark

Proceedings of the Process Algebra and Probabilistic Methods, 2001

Low-Cost Flexible Software Fault Tolerance for Distributed Computing.

[BibT_eX]

[DOI]

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

Synergistic Coordination between Software and Hardware Fault Tolerance Techniques.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Business Meeting: IEEE Technical Committee on Fault Tolerance.

[BibT_eX]

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

A Dynamic Replica Selection Algorithm for Tolerating Timing Faults.

[BibT_eX]

[DOI]

Sudha Krishnamurthy

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

A Connection Formalism for the Solution of Large and Stiff Models.

[BibT_eX]

[DOI]

David Daly

Proceedings of the Proceedings 34th Annual Simulation Symposium (SS 2001), 2001

2000

Dynamic Node Management and Measure Estimation in a State-Driven Fault Injector.

[BibT_eX]

[DOI]

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

On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

GSU middleware architecture design.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

Stochastic Activity Networks: Formal Definitions and Concepts.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Loki: A State-Driven Fault Injector for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Möbius: An Extensible Tool for Performance and Dependability Modeling.

[BibT_eX]

[DOI]

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

1999

Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6).

[BibT_eX]

[DOI]

Catherine Meadows

IEEE Trans. Software Eng., 1999

State-Space Support for Path-Based Reward Variables.

[BibT_eX]

[DOI]

Perform. Evaluation, 1999

Fault Injection based on a Partial View of the Global State of a Distributed System.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Integrated frameworks for multi-level and multi-formalism modeling.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

An efficient well-specified check.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

Building Dependable Distributed Applications Using AQUA.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

1998

"On-the-Fly'' Solution Techniques for Stochastic Petri Nets and Extensions.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Performance Analysis of the Knockout Switch Under Bursty Traffic Based on a Stochastic Activity Network Model.

[BibT_eX]

[DOI]

Simul., 1998

An Efficient Disk-Based Tool for Solving Large Markov Models.

[BibT_eX]

[DOI]

Perform. Evaluation, 1998

AQuA: An Adaptive Architecture that Provides Dependable Distributed Objects.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

1997

Probabilistic Verification of a Synchronous Round-Based Consensus Protocol.

[BibT_eX]

[DOI]

Harpreet S. Duggal

Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

An Efficient Disk-Based Tool for Solving Very Large Markov Models.

[BibT_eX]

[DOI]

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

1996

Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures.

[BibT_eX]

[DOI]

Reinhard German

IEEE Trans. Software Eng., 1996

An Efficient Two-Stage Iterative Method for the Steady-State Analysis of Markov Regenerative Stochastic Petri Net Models.

[BibT_eX]

Perform. Evaluation, 1996

Numerical performability evaluation of a group multicast protocol.

[BibT_eX]

[DOI]

Richard D. Schlichting

Distributed Syst. Eng., 1996

Using ZPL to Develop a Parallel Chaos Router Simulator.

[BibT_eX]

[DOI]

Wilkey Richardson

Mary L. Bailey

Proceedings of the 28th conference on Winter simulation, 1996

A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-26, 1996

Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets.

[BibT_eX]

[DOI]

Reinhard German

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

Computation of the Asymptotic Bias and Variance for Simulation of Markov Reward Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996

1995

The UltraSAN Modeling Environment.

[BibT_eX]

[DOI]

Perform. Evaluation, 1995

Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks.

[BibT_eX]

[DOI]

Richard D. Schlichting

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

UltraSAN version 3 overview.

[BibT_eX]

[DOI]

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

The Effect of Workload on the Performance and Availability of Voting Algorithms.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS '95, 1995

Loss process analysis of the knockout switch using stochastic activity networks.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

1994

Importance Sampling Simulation in UltraSAN.

[BibT_eX]

[DOI]

Simul., 1994

Reward Model Solution Methods with Impulse and Rate Rewards: An Algorithm and Numerical Results.

[BibT_eX]

[DOI]

Perform. Evaluation, 1994

An Environment for Importance Sampling Based on Stochastic Activity Networks.

[BibT_eX]

[DOI]

Proceedings of the 13th Symposium on Reliable Distributed Systems, 1994

1993

Performance evaluation of a picture archiving and communication network using stochastic activity networks.

[BibT_eX]

[DOI]

IEEE Trans. Medical Imaging, 1993

A modular method for evaluating the performance of picture archiving and communication systems.

[BibT_eX]

[DOI]

Abhijit S. Kudrimoti

J. Digit. Imaging, 1993

Frameworks for evaluating discrete event dynamic systems.

[BibT_eX]

[DOI]

Bernard P. Zeigler

Discret. Event Dyn. Syst., 1993

Efficient simulation of hierarchical stochastic activity network models.

[BibT_eX]

[DOI]

Roberto S. Freire

Discret. Event Dyn. Syst., 1993

Dependability Evaluation Using U<i>ltra</i>SAN.

[BibT_eX]

[DOI]

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

1992

Dependability Evaluation Using Composed SAN-Based Reward Models.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1992

Recently asked questions (RAQS).

[BibT_eX]

[DOI]

Proceedings of the 20st Annual ACM SIGUCCS Conference on User Services, 1992

A modular method for evaluating the performance of picture archiving and communication systems.

[BibT_eX]

[DOI]

Abhijit S. Kudrimoti

Proceedings of the Fifth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'92), 1992

1991

Performability Modeling with UltraSAN.

[BibT_eX]

[DOI]

IEEE Softw., 1991

Reduced Base Model Construction Methods for Stochastic Activity Networks.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1991

Performability Evaluation of CASMA/CD and CASMA/DCR Protocols under Transient Fault Conditions.

[BibT_eX]

[DOI]

Kevin H. Prodromides

Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

Performability Modeling with <i>UltraSAN</i>.

[BibT_eX]

[DOI]

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

1989

Panel: Applications of Performance Petri Nets.

[BibT_eX]

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

Performability of a token bus network under transient fault conditions.

[BibT_eX]

[DOI]

K. H. Muralidhar

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

Construction and solution of performability models based on stochastic activity networks.

[BibT_eX]

[DOI]

PhD thesis, 1988

1987

Performability Evaluation of Distributed Systems Using Stochastic Activity Networks.

[BibT_eX]

Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987

Performance Variable Driven Construction Methods for Stochastic Activity Networks.

[BibT_eX]

Proceedings of the Computer Performance and Reliability, 1987

1986

METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks.

[BibT_eX]

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

1985

Stochastic Activity Networks: Structure, Behavior, and Application.

[BibT_eX]

Ali Movaghar