John F. Meyer

According to our database, John F. Meyer authored at least 37 papers between 1971 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Autonomous vehicle safety: lessons from aviation.

Jaynarayan H. Lala, Carl E. Landwehr, John F. Meyer

Commun. ACM, 2020

2013

Model-based evaluation of system resilience.

John F. Meyer

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2004

Model-Based Validation of an Intrusion-Tolerant Information System.

Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha P. Pal

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

2001

Performability of an Algorithm for Connection Admission Control.

John F. Meyer

IEEE Trans. Computers, 2001

2000

Stochastic Activity Networks: Formal Definitions and Concepts.

William H. Sanders, John F. Meyer

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

Performability of Algorithms for Connection Admission Control.

John F. Meyer

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

1997

Analysis of an ATM Multiplexer with Prioritized Service.

John F. Meyer, Sergio Montagna, Roberto Paglino, A. Puglisi

Proceedings of the Performance Analysis of ATM Networks, 1997

1996

Performability Management in Distributed Database Systems: An Adaptive Concurrency Control Protocol.

Ann T. Tai, John F. Meyer

Proceedings of the MASCOTS '96, 1996

Software performability - from concepts to applications.

Ann T. Tai, John F. Meyer, Algirdas Avizienis

The Kluwer international series in engineering and computer science 347, Kluwer, ISBN: 978-0-7923-9670-3, 1996

1995

Dependability of modular software in a multiuser operational environment.

John F. Meyer, Bev Littlewood, David Wright

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

An integrated approach to evaluating the loss performance of ATM switches.

Sergio Montagna, Roberto Paglino, John F. Meyer

Proceedings of the ATM Networks, 1995

1993

Dimensioning of an ATM Switch with Shared Buffer and Threshold Priority.

John F. Meyer, Sergio Montagna, Roberto Paglino

Comput. Networks ISDN Syst., 1993

1992

Performability: A Retrospective and Some Pointers to the Future.

John F. Meyer

Perform. Evaluation, 1992

The Role of Modeling and Evaluation in the Design Process.

John F. Meyer

Proceedings of the Algorithms, Software, Architecture, 1992

1991

Reduced Base Model Construction Methods for Stochastic Activity Networks.

William H. Sanders, John F. Meyer

IEEE J. Sel. Areas Commun., 1991

State Space Generation for Degradable Multiprocessor Systems.

Bryan Eric Aupperle, John F. Meyer

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1989

Hardware and Software Dependability Evaluation: Future Trends.

John F. Meyer

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Performability of a token bus network under transient fault conditions.

John F. Meyer, K. H. Muralidhar, William H. Sanders

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

Evaluation of fault-tolerant systems with nonhomogeneous workloads.

Bryan Eric Aupperle, John F. Meyer, Lu Wei

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

1988

Influence of Workload on Error Recovery in Random Access Memories.

John F. Meyer, Lu Wei

IEEE Trans. Computers, 1988

Analysis of workload influence on dependability.

John F. Meyer, Lu Wei

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

Fault-tolerant BIBD networks.

Bryan Eric Aupperle, John F. Meyer

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

1987

Performability Evaluation of Distributed Systems Using Stochastic Activity Networks.

William H. Sanders, John F. Meyer

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

Performance Variable Driven Construction Methods for Stochastic Activity Networks.

William H. Sanders, John F. Meyer

Proceedings of the Computer Performance and Reliability, 1987

1986

Which LAN in the Factory (Panel).

John F. Meyer

Proceedings of the Information Processing 86, 1986

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

William H. Sanders, John F. Meyer

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

1985

Stochastic Activity Networks: Structure, Behavior, and Application.

John F. Meyer, Ali Movaghar, William H. Sanders

Proceedings of the International Workshop on Timed Petri Nets, 1985

1984

A Performability Solution Method for Degradable Nonrepairable Systems.

David G. Furchtgott, John F. Meyer

IEEE Trans. Computers, 1984

1983

Performability Modeling of Distributed Real-Time Systems.

John F. Meyer

Proceedings of the Computer Performance and Reliability, 1983

1982

Closed-Form Solutions of Performability.

John F. Meyer

IEEE Trans. Computers, 1982

1980

Performability Evaluation of the SIFT Computer.

John F. Meyer, David G. Furchtgott, Liang T. Wu

IEEE Trans. Computers, 1980

On Evaluating the Performability of Degradable Computing Systems.

John F. Meyer

IEEE Trans. Computers, 1980

1976

Computation-Based Reliability Analysis.

John F. Meyer

IEEE Trans. Computers, 1976

Algebraic Properties of Functions Affecting Optimum Fault-Tolerant Realizations.

F. Gail Gray, John F. Meyer

IEEE Trans. Computers, 1976

1975

On-Line Diagnosis of Unrestricted Faults.

John F. Meyer, Robert J. Sundstrom

IEEE Trans. Computers, 1975

1971

Fault Tolerant Sequential Machines.

John F. Meyer

IEEE Trans. Computers, 1971

Locatability of Faults in Combinational Networks.

F. Gail Gray, John F. Meyer

IEEE Trans. Computers, 1971