Books and Book Contributions

John F. Meyer

Books

• Software Performability: From Concepts to Applications (with A. T. Tai and A. Avizienis), Kluwer Academic Publishers, 1996.
  
• Dependable Computing for Critical Applications 2 (co-editor with R. D. Schlichting), Dependable Computing and Fault-Tolerant Systems, vol. 6, Springer-Verlag, 1992.
  
• Sets, Relations and Algebraic Systems, Ulrich's, Ann Arbor, MI, 1971.
  

Book Contributions

• "Stochastic activity networks: Formal definitions and concepts" (with W. H. Sanders), in Lectures on Formal Methods and Performance Analysis , edited by B. Brinksma, H. Hermanns,and J-P. Katoen, pp. 315-343, Springer Lecture Notes in Computer Science, Vol. 2090, 2001.
• "Specification and construction of performability models" (with W. H. Sanders), Chapter 9 of Performability Modelling: Techniques and Tools, edited by B. R. Haverkort, R. Marie, G. Rubino, and K. Trivedi, pp. 179-222, Wiley, 2001.
• "Analysis of an ATM multiplexer with prioritized service" (with S. Montagna, R. Paglino, and A. Puglisi), in ATM Networks: Performance Modelling and Analysis, edited by D. Kouvatsos, Chapman & Hall, 1998.
• "An integrated approach to evaluating the loss performance of ATM switches" (with S. Montagna and R. Paglino), in ATM Networks: Performance Modelling and Analysis, edited by D. Kouvatsos, Chapman & Hall, 1996.
  
• "Fault-tolerant software: A performability modeling approach" (with A. T. Tai and A. Avizienis), in Dependable Computing for Critical Applications 3, edited by C. Landwehr, B. Randell, and L. Simoncini, vol. 7, Springer-Verlag, pp. 113-135, 1993.
  
• "A unified approach for specifying measures of performance, dependability, and performability" (with W. H. Sanders), in Dependable Computing for Critical Applications, edited by A. Avizienis and J.-C. Laprie, Dependable Computing and Fault-Tolerant Systems, vol. 4, pp. 215-237, Springer-Verlag, 1991.
  
• "Performability evaluation of telecommunication networks," in Teletraffic Science, edited by M. Bonnati, Studies in Telecommunication, vol. 12, pp. 1163-1172, North-Holland, 1989.
  
• "Performance variable driven construction methods for stochastic activity networks" (with W. H. Sanders), in Computer Performance and Reliability, edited by G. Iazeolla, P.-J. Courtois, and O. J. Boxma, pp. 383-398, North-Holland, 1988.
  
• "The evolution of fault-tolerant computing at the University of Michigan,'' in The Evolution of Fault-Tolerant Computing, edited by A. Avizienis, H. Kopetz, and J.-C. Laprie, Dependable Computing and Fault-Tolerant Systems, vol. 1, pp. 289-311, Springer-Verlag, 1987.
  
• "Performability modeling of distributed real-time systems,'' in Mathematical Computer Performance and Reliability, edited by G. Iazeolla, P.-J. Courtois and A. Hordijk, pp. 361-372, North-Holland, 1984.
  
• "Reliable design of software,'' in Rational Fault Analysis, edited by R. Saeks and S. R. Liberty, pp. 112-123, Marcel Dekker, New York, 1977.
  
• "Algebraic isomorphism invariants for graphs of automata,'' in Graph Theory and Computing, edited by R. C. Read, pp. 123-152, Academic Press, New York, 1972.
  
• "On the limits of linearity'' (with B. P. Ziegler), in Theory of Machines and Computations, edited by Z. Kohavi and A. Paz, pp. 229-241, Academic Press, New York, 1971.