John F. Meyer

Publication Activity (10 Years)

Years Active: 1971-2020
Publications (10 Years): 1

Top Topics

Visual Navigation

Autonomous Vehicles

Top Venues

Publications

Jaynarayan H. Lala, Carl E. Landwehr, John F. Meyer
Autonomous vehicle safety: lessons from aviation. Commun. ACM 63 (9) (2020)
John F. Meyer
Model-based evaluation of system resilience. DSN Workshops (2013)
Sankalp Singh, Adnan Agbaria, Fabrice Stevens, Tod Courtney, John F. Meyer, William H. Sanders, Partha P. Pal
Validation of a survivable Publish-Subscribe System. Int. J. Comput. 4 (2) (2005)
Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha P. Pal
Model-Based Validation of an Intrusion-Tolerant Information System. SRDS (2004)
John F. Meyer
Performability of an Algorithm for Connection Admission Control. IEEE Trans. Computers 50 (7) (2001)
John F. Meyer
Performability of Algorithms for Connection Admission Control. DSN (2000)
William H. Sanders, John F. Meyer
Stochastic Activity Networks: Formal Definitions and Concepts. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
John F. Meyer, Sergio Montagna, Roberto Paglino, A. Puglisi
Analysis of an ATM Multiplexer with Prioritized Service. Modelling and Evaluation of ATM Networks (1997)
Ann T. Tai, John F. Meyer
Performability Management in Distributed Database Systems: An Adaptive Concurrency Control Protocol. MASCOTS (1996)
John F. Meyer, Bev Littlewood, David Wright
Dependability of modular software in a multiuser operational environment. ISSRE (1995)
Sergio Montagna, Roberto Paglino, John F. Meyer
An integrated approach to evaluating the loss performance of ATM switches. Modelling and Evaluation of ATM Networks (1995)
John F. Meyer, Sergio Montagna, Roberto Paglino
Dimensioning of an ATM Switch with Shared Buffer and Threshold Priority. Comput. Networks ISDN Syst. 26 (1) (1993)
John F. Meyer
Performability: A Retrospective and Some Pointers to the Future. Perform. Evaluation 14 (3-4) (1992)
John F. Meyer
The Role of Modeling and Evaluation in the Design Process. IFIP Congress (1) (1992)
William H. Sanders, John F. Meyer
Reduced Base Model Construction Methods for Stochastic Activity Networks. IEEE J. Sel. Areas Commun. 9 (1) (1991)
B. E. Aupperle, John F. Meyer
State Space Generation for Degradable Multiprocessor Systems. FTCS (1991)
B. E. Aupperle, John F. Meyer, Lu Wei
Evaluation of fault-tolerant systems with nonhomogeneous workloads. FTCS (1989)
John F. Meyer
Hardware and Software Dependability Evaluation: Future Trends. IFIP Congress (1989)
William H. Sanders, John F. Meyer
Reduced Base Model Construction Methods for Stochastic Activity Networks. PNPM (1989)
John F. Meyer, K. H. Muralidhar, William H. Sanders
Performability of a token bus network under transient fault conditions. FTCS (1989)
John F. Meyer, Lu Wei
Analysis of workload influence on dependability. FTCS (1988)
John F. Meyer, Lu Wei
Influence of Workload on Error Recovery in Random Access Memories. IEEE Trans. Computers 37 (4) (1988)
B. E. Aupperle, John F. Meyer
Fault-tolerant BIBD networks. FTCS (1988)
William H. Sanders, John F. Meyer
Performance Variable Driven Construction Methods for Stochastic Activity Networks. Computer Performance and Reliability (1987)
William H. Sanders, John F. Meyer
Performability Evaluation of Distributed Systems Using Stochastic Activity Networks. PNPM (1987)
William H. Sanders, John F. Meyer
METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks. FJCC (1986)
John F. Meyer
Which LAN in the Factory (Panel). IFIP Congress (1986)
John F. Meyer, Ali Movaghar, William H. Sanders
Stochastic Activity Networks: Structure, Behavior, and Application. PNPM (1985)
David G. Furchtgott, John F. Meyer
A Performability Solution Method for Degradable Nonrepairable Systems. IEEE Trans. Computers 33 (6) (1984)
John F. Meyer
Performability Modeling of Distributed Real-Time Systems. Computer Performance and Reliability (1983)
John F. Meyer
Closed-Form Solutions of Performability. IEEE Trans. Computers 31 (7) (1982)
John F. Meyer
On Evaluating the Performability of Degradable Computing Systems. IEEE Trans. Computers 29 (8) (1980)
John F. Meyer, David G. Furchtgott, Liang T. Wu
Performability Evaluation of the SIFT Computer. IEEE Trans. Computers 29 (6) (1980)
F. Gail Gray, John F. Meyer
Algebraic Properties of Functions Affecting Optimum Fault-Tolerant Realizations. IEEE Trans. Computers 25 (11) (1976)
John F. Meyer
Computation-Based Reliability Analysis. IEEE Trans. Computers 25 (6) (1976)
John F. Meyer, Robert J. Sundstrom
On-Line Diagnosis of Unrestricted Faults. IEEE Trans. Computers 24 (5) (1975)
John F. Meyer
Fault Tolerant Sequential Machines. IEEE Trans. Computers 20 (10) (1971)
F. Gail Gray, John F. Meyer
Locatability of Faults in Combinational Networks. IEEE Trans. Computers 20 (11) (1971)