Curriculum Vitae

John F. Meyer

RESIDENCE: 1946 Ridge Ave., Ann Arbor, MI 48104

TELEPHONE: (734) 764-8517 (office)
(734) 769-2563 (home)

FAX: (734) 763-1260

E-mail: jfm@umich.edu

DATE OF BIRTH: July 26, 1934

EDUCATION:

BS Electrical Engineering, The University of Michigan, 1957
MS Electrical Engineering, Stanford University, 1958
PhD Communication Sciences, The University of Michigan, 1967

PROFESSIONAL INTERESTS:

Performability evaluation
Computer security validation
Fault-tolerant computing
Software dependability
Telecommunication networks

PROFESSIONAL EXPERIENCE:

The University of Michigan

Professor Emeritus of Electrical Engineering and Computer Science, 2002-
Professor of Electrical Engineering and Computer Science, 1976-2002
Director, Computing Research Laboratory, 1984-89
Director, Systems Engineering Laboratory, 1971-72, 1980-81
Associate Professor of Computer Engineering
Assistant Professor of Electrical Engineering
Research Assistant, Systems Engineering Laboratory, 1965-67

R&D Laboratories

Research Engineer, Telecommunications Division,
Data Systems Engineer, Missiles Division,
Research Assistant, Office of Physical Research,

Visiting Research Appointments

Chalmers University (Sweden), 1996
City University (England), 1991, 1993, 1994
Italtel (Italy), 1990, 1996-97
Hiroshima University (Japan), 1984
INRIA (France), 1983
LAAS (France), 1977
Thomson-CSF (France), 1975

Consulting

University of Illinois, 2002-05
The Applied Sciences Corporation (TASC), 1993-94
Italtel (Italy), 1991-99
General Motors, 1989-93
Unisys, 1989
Industrial Technology Institute, 1983-92
Caltech Jet Propulsion Laboratory, 1968-72, 1979-81
Bendix Advanced Technology Center, 1977-86
CIMSA (France), 1983
Integrated Systems, Inc., 1981
Battelle Columbus Laboratories, 1979-80
Honeywell Systems and Research Center, 1977
U.S. Army Electronics Command, 1973-74

PATENTS:

U.S. Patent Number 3,100,294, Time-Division Multiplexer, 1963 (issued to NASA)
European Patent Number EP1142217, Admission Control of Mixed VBR Sources in Broadband Networks (with S. Montagna, R. Paglino, and A. Puglisi) , 2004

HONORS AND AWARDS:

Jean-Claude Laprie Award in Dependable Computing (IFIP Working Group 10.4), 2012
Golden Core (IEEE Computer Society), 1996
Silver Core (IFIP), 1995
Certificate of Appreciation (IEEE Computer Society), 1995
Meritorious Service Award (IEEE Computer Society), 1985
Fellow of the IEEE, 1985
Certificate of Appreciation (IEEE Computer Society), 1981
1938E Distinguished Service Award (The University of Michigan), 1973
NASA Inventions and Contributions Award, 1964
National Institutes of Health Trainee Grant, 1964
IBM Fellowship (Stanford University), 1957
James B. Angell Scholar (The University of Michigan), 1953
Regents-Alumni Honor Award (The University of Michigan), 1952

HONOR SOCIETIES:

Sigma Xi
Tau Beta Pi
Phi Kappa Phi
Eta Kappa Nu

PROFESSIONAL SOCIETIES:

Fellow, Institute of Electrical and Electronics Engineers

Computer Society
Reliability Society

Member, Association for Computing Machinery
Member, American Association for the Advancement of Science

SPECIAL INTEREST GROUPS AND COMMITTEES:

Technical Committee on Dependable Computing and Fault Tolerance (IEEE CS)
Working Group 10.4 on Dependable Computing and Fault Tolerance (IFIP)
Special Interest Group on Measurement and Evaluation (ACM)

PROFESSIONAL SERVICE:

Honorary Chair, 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
Chair, 3rd Int'l Workshop on Performability Modeling of Computer and Communication Systems, 1996
Vice-Chair, IEEE Computer Society 25th International Symposium on Fault-Tolerant Computing, 1995
Guest Editor, Special Issue on Fault-Tolerant Software, IEEE Trans. Rel., 1993
Member, SAE IVHS Division Working Group on System Architecture, 1992-94
Member, IEEE Aerospace Research and Development Committee, 1986-91
Member, Advisory Board, IEEE Computer Society Technical Committee on Fault-Tolerant Computing, 1980-
Chair, Program Committee, 2nd IFIP Working Conference on Dependable Computing for Critical Applications, 1990
Chair, IEEE Computer Society 15th International Symposium on Fault-Tolerant Computing, 1985
Member, IEEE Engr. Accreditation Comm. (Ad Hoc Visitor), 1984-90
Member, IEEE Computer Society Governing Board, 1982-86
Member, IEEE Computer Society Technical Activities Board, 1982-86
Member, IEEE Computer Society Publications Board, 1978-82
Vice-Chair, IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance, 1986-95
Chair, IEEE Computer Society Technical Committee on Fault-Tolerant Computing, 1976-79
Vice-Chair, IEEE Computer Society 10th International Symposium on Fault-Tolerant Computing, 1980
Vice-Chair, IEEE Computer Society 8th International Symposium on Fault-Tolerant Computing, 1978
Co-Chair, IEEE Computer Society Workshop on Distributed Fault-Tolerant Computers, 1976
Guest Editor, Special Issue on Fault-Tolerant Computing, IEEE Trans. Comput., 1976

COURSES TAUGHT (The University of Michigan):

Analog and Digital Systems
Automata Theory
Computing System Evaluation
Discrete Structures
Formal Languages
Foundations of Computer and Communication Sciences
Introduction to Algorithms
Introduction to Computing Systems
Introduction to Logic Design
ITS Research Topics
Logical Design of Digital Computers
Reliable Computing Systems
Switching Theory and Sequential Systems

MAJOR ACADEMIC COMMITTEES (The University of Michigan):

Department of Electrical Engineering and Computer Science

Computer Engineering Program Advisor, 1998-2001
Engineering College Freshman Counsellor (for EECS), 1990-96
Chair, CSE Graduate Committee, 1988-89
Chair, Faculty Search Committee, 1984-85, 1986-87, 1991-92
Member, CSE Division Personnel Committee, 1985-86

Department of Electrical and Computer Engineering

CE/CICE Curriculum Committee, Chair, 1981-84
Computer Curriculum Committee, 1971-74, 1980
Curriculum Committee, 1968-71
Representative Committee, 1969-70, 1973-75
Counselling, 1968-71

Department of Computer and Communication Sciences

Policy Committee, 1969-77, 1978-84
Executive Committee, 1971-72, 1974-78
Curriculum Committee, 1968-69, 1974-76, 1977-78, 1980-84
Award Nominations Committee, 1974-77
Admissions Committee, 1970-72

Graduate Program in Computer, Information and Control Engineering

Program Committee, 1971-73, 1976-78
Curriculum Committee, 1972-74, 1980-84

College and University

Scholastic Standing Committee (College of Engineering), 1980-90
Research Policies Committee (SACUA), 1987-89
Senate Assembly, 1986-89
State Relations Committee (SACUA), 1980-82
Library Committee (College of Engineering), 1976-79
Computing Center Executive Committee, 1972-78
Rackham Divisional Board II (vice B. Galler), 1973
Computer Policy and Utilization Committee, 1969-70

SCHOLARLY PUBLICATIONS:

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, Kluwer Academic Publishers, 1999.
"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.

Papers:

"Autonomous vehicle safety: Lessons from aviation" (with Jaynarayan H. Lala and Carl E. Landwehr), in Communications of the ACM, Vol. 63, No. 9, Sept. 2020.
"Model-based evaluation of system resilience," in Proc. 43rd Int'l Conf. on Dependable Systems and Networks (DSN 2013), Workshop on Systems Resilience, Budapest, Hungary, June 2013.
"Mesures de la qualité des systèmes," in Génie Logiciel, no. 94, pp.45-46, 63, Sept. 2010.
"Defining and evaluating resilience: A performability perspective," in Proc. 9th Int'l Workshop on the Performability Modeling of Computer and Communication Systems, Eger, Hungary, pp. 1-3, Sept. 2009.
"Performability modeling: Back to the future?", in Proc. 8th Int'l Workshop on the Performability Modeling of Computer and Communication Systems, Edinburgh, Scotland, pp. 5-9, Sept. 2007.
"Validation of a survivable publish-subscribe system" (with S. Singh, A. Agbaria, F. Stevens, T. Courtney, W. H. Sanders, and P. Pal), International Scientific Journal of Computing , vol. 4, no. 2, 2005.
"Model-based validation of an intrusion-tolerant information system" (with F. Stevens, T. Courtney, S. Singh, A. Agbaria, W. H. Sanders, and P. Pal), in Proc. 23rd IEEE International Symposium on Reliable Distributed Systems (SRDS'04), Florianpolis, Brazil, pp. 184-194, October 2004.
"Performability: An e-utility imperative" (with L. F. Spainhower), in Proc. 14th Int'l Conference on Software and Systems Engineering and their Applications (ICSSEA 2001), Vol. 3, Paris, France, Dec. 2001.
"Performability of an algorithm for connection admission control," IEEE Trans. Comput., vol. 50, no. 7, pp. 724-733, July 2001.
"Performability of algorithms for connection admission control," in Proc. ICDSN 2000, New York, NY, pp. 181-190, June 2000.
"Multiplexability of VBR traffic in networks with fluctuating capacity," in Proc. 4nd Int'l Workshop on the Performability Modeling of Computer and Communication Systems, Williamsburg, VA, Sept. 1998.
"Analysis of an ATM multiplexer with prioritized service" (with S. Montagna, R. Paglino, and A. Puglisi), in Proc. 5th Int'l Workshop on Performance Modelling and Evaluation of ATM Networks, Ilkley, UK, July 1997.
"Solution of operational profiles for multiuser systems," in Proc. 18th IFIP TC7 Conference on System Modelling and Optimization , Detroit, MI, July 1997.
"Exact and approximate analysis of ATM cell loss correlation" (with J.-L. Tseng), in Proc. 1996 IEEE Int'l Computer Performance and Dependability Symposium, Urbana, IL, Sept. 1996.
"Performability management in distributed database systems: An adaptive concurrency control protocol" (with A. T. Tai), in Proc. 4th Int'l Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems , San Jose, CA, pp. 212-216, Feb. 1996.
"Fast approximate analysis of an ATM multiplexer" (with S. Montagna, R. Paglino, and F. Bonomi), in Proc. 9th ITC Specialists Seminar, Leidschendam, The Netherlands, pp. 95-108, Nov. 1995.
"Dependability of modular software in a multiuser operational environment" (with B. Littlewood and D. R. Wright), in Proc. 6th Int'l Symposium on Software Reliability Engineering, Toulouse, France, pp. 170-179, Oct. 1995.
"An integrated approach to evaluating the loss performance of ATM switches" (with S. Montagna and R. Paglino), in Proc. 3rd Int'l Workshop on Performance Modelling and Evaluation of ATM Networks, Ilkley, UK, July 1995.
"Performance evaluation of the UT-XC system with controlled bursty traffic" (with S. Montagna and R. Paglino), in Proc. 3rd Int'l Workshop on Performance Modelling and Evaluation of ATM Networks, Ilkley, UK, July 1995.
"Probabilistic modeling," in Proc. 25th Int'l Symposium on Fault-Tolerant Computing (Special Issue of Invited Papers), Pasadena, CA, pp. 88-95, June 1995.
"Performability evaluation: Where it is and what lies ahead," in Proc. IEEE Int'l Computer Performance and Dependability Symposium , Erlangen, Germany, pp. 334-343, April 1995.
"Evaluation of cell loss correlation using stochastic activity networks (with J.-L. Tseng), in Proc. 3rd ORSA Telecommunications Conference , Boca Raton, FL, March 1995.
"Correlation of cell losses in ATM switches" (with J.-L. Tseng), in Bull. 1994 ORSA/TIMS Joint National Meeting, Detroit, MI, Oct. 1994.
"Delay performance of a multistage ATM switching network" (with S. Montagna and R. Paglino), in Proc. 14th Int'l Teletraffic Congress , Antibes Juan-les-Pins, France, June 1994.
"Minimal ON/OFF source models for ATM traffic" (with F. Bonami, S. Montagna and R. Paglino), in Proc. 14th Int'l Teletraffic Congress , Antibes Juan-les-Pins, France, June 1994.
"Dimensioning of an ATM switch with shared buffer and threshold priority" (with S. Montagna and R. Paglino), Computer Networks and ISDN Systems , North-Holland, vol. 26, pp. 95-108, Sept. 1993.
"Fault-tolerant software" (Guest Editors' Prolog, with H. G. Pham), IEEE Trans. Reliability, pp. 127-128, June 1993.
"Performability enhancement of fault-tolerant software" (with A. T. Tai and A. Avizienis), IEEE Trans. Reliability, pp. 227-237, June 1993.
"Specification and construction of performability models" (with W. H. Sanders), Proc. 2nd Int'l Workshop on the Performability Modeling of Computer and Communication Systems, Mont St.-Michel, France, June 1993.
"The role of modeling and evaluation in the design process," in Information Processing 92: Proc. 12th IFIP World Computer Congress , vol. I, pp. 636-644, 1992.
"Performability evaluation of ATM switches in a prioritized traffic environment" (with S. Montagna and R. Paglino), in Proc. 2nd ORSA Telecommunications Conference, Boca Raton, FL, March 1992.
"Performability: A retrospective and some pointers to the future," Performance Evaluation, vol. 14, pp. 139-156, Feb. 1992.
"Performability evaluation of broadband networks," in Proc. TIMS XXX-SOBRAPO XXIII, Rio de Janeiro, Brazil, July 1991.
"State space generation for degradable multiprocessor systems" (with B. E. Aupperle), in Proc. 21st Int'l Symposium on Fault-Tolerant Computing , pp. 308-315, Montréal, Canada, June 1991.
"Performability: A retrospective and some pointers to the future," in Proc. 1st Int'l Workshop on the Performability Modeling of Computer and Communication Systems, Enschede, The Netherlands, Feb. 1991.
"A performability model for real-time software" (with A. T. Tai and H. Hecht), in Proc. 1st Int'l Workshop on the Performability Modeling of Computer and Communication Systems, pp. 189-205, Enschede, The Netherlands, Feb. 1991.
"Reduced base model construction methods for stochastic activity networks" (with W. H. Sanders), IEEE Journal on Selected Areas in Communications , vol. 9, no. 1, pp. 25-36, Jan. 1991.
"Cell loss in ATM switches with prioritized traffic" (with S. Montagna and R. Paglino), in Proc. RACE Workshop on Traffic and Performance Aspects in IBCNs, Munich, West Germany, July 1990.
"Reduced base model construction methods for stochastic activity networks" (with W. H. Sanders), in Proc. 3rd Int'l Workshop on Petri Nets and Performance Models, Kyoto, Japan, pp. 74-84, Dec 1989.
"Hardware and software dependability evaluation: Future Trends," in Information Processing 89: Proc. 11th IFIP World Computer Congress , San Francisco, CA, Aug. 1989.
"Performability of a token bus network under transient fault conditions" (with K. H. Muralidhar and W. H. Sanders), in Proc. 19th Int'l Symposium on Fault-Tolerant Computing, pp. 175-182, Chicago, IL, June 1989.
"Evaluation of fault-tolerant systems with nonhomogeneous workloads" (with B. E. Aupperle and L. Wei), in Proc. 19th Int'l Symposium on Fault-Tolerant Computing, pp. 159-166, Chicago, IL, June 1989.
"Analysis of workload influence on dependability" (with L. Wei), in Proc. 18th Int'l Symposium on Fault-Tolerant Computing, pp. 84-89, Tokyo, Japan, June 1988.
"Fault-Tolerant BIBD Networks" (with B. E. Aupperle), in Proc. 18th Int'l Symposium on Fault-Tolerant Computing , pp. 306-311, Tokyo, Japan, June 1988.
"Influence of workload on error recovery in random access memories" (with L. Wei), in IEEE Trans. Comput. vol. C-37, no. 4, pp. 500-507, April 1988.
"Multiprocessor systems for high performance, high reliability applications" (with J. P. Hayes, and K. G. Shin), in Proc.\ SPIE, vol. 880 (High Speed Computing), pp. 142-149, Los Angeles, CA, Jan. 1988.
"LAN protocol validation" (with K. H. Muralidhar and W. H. Sanders), in INRIA Bulletin, Institut National de Recherche en Informatique et en Automatique, France, Dec. 1987.
"Performability modeling of distributed systems using stochastic activity Networks" (with W. H. Sanders), in Proc. Int'l Workshop on Petri Nets and Performance Models, pp. 111-120, Madison, WI, Aug. 1987.
"Performability evaluation: Techniques and tools," in Proc. Int'l Teletraffic Congress Seminar on Traffic Engineering for ISDN Design and Planning , Lake Como, Italy, May 1987.
"METASAN: A performability evaluation tool based on stochastic activity networks" (with W. H. Sanders), in Proc. Fall Joint Computer Conference, pp. 807-816, Dallas, TX, Nov. 1986.
"Decision grounds for factory LANs," Information Processing 6: Proc. 10th IFIP World Congress, Dublin, Ireland, Sept. 1986.
"Performability validation of fault-tolerant multiprocessor systems," in Proc. IEEE International Conference on Computer Design, Port Chester, NY, Oct. 1985.
"Stochastic activity networks: structure, behavior, and application" (with A. Movaghar and W. H. Sanders), in International Workshop on Timed Petri Nets, pp. 106-115, Torino, Italy, July 1985.
"Performability modeling tools," in Proc. NBS Workshop on Analytic and Simulation Modeling of IEEE 802.4 Token Bus, Gaithersburg, MD, April 1985.
"Performability modeling with stochastic activity networks" (with A. Movaghar), in Proc. 1984 Real-Time Systems Symp., pp. 215-224, Austin, TX, Dec. 1984.
"Unified performance-reliability evaluation," in Proc. 1984 American Control Conference, pp. 1771-1778, San Diego, CA, June 1984.
"A performability solution method for degradable, nonrepairable systems" (with D. G. Furchtgott), IEEE Trans. Comput., vol. C-33, pp. 550-554, June 1984.
"Closed-form solutions of performability," IEEE Trans. Comput. , vol. C-31, no. 7, pp. 648-657, June 1982.
"Closed-form solutions of performability," in Proc. 11th Int'l Symp. on Fault-Tolerant Computing, pp. 66-71, Portland, ME, June 1981.
"Evaluation of computing systems using functionals of a Markov process" (with L. T. Wu), in Proc. 14th Hawaii Int'l Conf. on System Sciences, pp. 74-83, Honolulu, HI, Jan. 1981.
"On evaluating the performability of degradable computing systems," IEEE Trans. Comput., vol. C-29, no. 8, pp. 720-731, Aug. 1980.
"Performability evaluation of the SIFT computer" (with D. G. Furchtgott and L. T. Wu), IEEE Trans. Comput., vol. C-29, no. 6, pp. 501-509, June 1980.
"Performability evaluation of the SIFT computer" (with D. G. Furchtgott and L. T. Wu), in Proc. 9th Int'l Symp. on Fault-Tolerant Computing, pp. 43-50, Madison, WI, June 1979.
"Phased models for evaluating the performability of computing systems" (with L. T. Wu), in Proc. 1979, Conference on Information Sciences and Systems, The Johns Hopkins Univ., pp. 426-431, Baltimore, MD, Mar. 1979.
"Performability evaluation of fault-tolerant multiprocessors" (with D. G. Furchtgott), in Digest 1978 Government Microcircuit Applications Conference, pp. 362-365, Monterey, CA, Nov. 1978.
"On evaluating the performability of degradable computing systems," in Proc. 8th Int'l Symp. on Fault-Tolerant Computing, pp. 44-49, Toulouse, France, June 1978.
"Functional dependence and its application to system evaluation" (with R. A. Ballance), in Proc. 1978 Conference on Information Sciences and Systems, pp. 280-285, The Johns Hopkins University, Baltimore, MD, Mar. 1978.
"Algebraic properties of functions affecting optimum fault-tolerant realizations" (with F. G. Gray), IEEE Trans. Comput., vol. C-25, no. 11, pp. 1078-1088, Nov. 1976.
"A model hierarchy for evaluating the effectiveness of computing systems," in Proc. 3rd National Reliability Symposium, pp. 539-555, Perros-Guirec, France, Sept. 1976.
"Computation-based reliability analysis," IEEE Trans. Comput. , vol C-25, no. 6, pp. 578-584, June 1976.
"Fault-tolerant computing: An introduction" (with J.-C. Rault), IEEE Trans. Comput., vol. C-25, no. 6, pp. 553-556, June 1976.
"An approach to evaluating the effectiveness of computing systems," in Proc. 1976 Conference on Information Sciences and Systems, The Johns Hopkins University, pp. 376-383, Baltimore, MD, April 1976.
"The reliable design of software: A formal view and a survey," in Proc. 1975 Int'l Computing Symposium, Juan-les-Pins, France, June 1975.
"On-line diagnosis of unrestricted faults'' (with R. J. Sundstrom), IEEE Trans. Comput., vol. C-24, no. 5, pp. 468-475, May 1975.
"Logically consistent task sets for system evaluation" (with A. W. Naylor), in Proc. Seminaire sur l'Approche Systemes, vol. I, ENSAE, pp. 65-99, Toulouse, France, Nov. 1973.
"Diagnosis of unrestricted faults in sequential machines" (with L. Hsieh), Proc. 3rd Int'l Symp. on Fault-Tolerant Computing, pp. 175, Palo Alto, CA, June 1973.
"A general model for the study of fault tolerance and diagnosis," in Proc. 6th Hawaii Int'l Conference on System Sciences, pp. 163-165, Honolulu, HI, Jan. 1973.
"Sequential behavior and its inherent tolerance to memory faults," in Proc. 5th Hawaii Int'l Conference on System Sciences, pp. 476-478, Honolulu, HI, Jan. 1972.
"Locatability of faults in combinational networks" (with F. G. Gray), IEEE Trans. Comput., vol. C-20, no. 11, pp. 1407-1412, Nov. 1971.
"Fault tolerant sequential machines," IEEE Trans. Comput., vol. C-20, no. 10, pp. 1167-1177, Oct. 1971.
"Diagnosable machine realizations of sequential behavior" (with K. Yeh), Proc. 1st Int'l Symp. on Fault-Tolerant Computing, pp. 22-25, Pasadena, CA, Mar. 1971.
"Locatability of faults in abstract networks" (with F. G. Gray), Proc. 1st Int'l Symp. on Fault-Tolerant Computing, pp. 30-33, Pasadena, CA, Mar. 1971.
"On the structure of fault tolerant sequential machines," in Proc. 3rd Hawaii Int'l Conference on System Sciences, pp. 443-447, Honolulu, HI, Jan. 1970.
"Algebraic isomorphism invariants for transition graphs," (Ph.D. dissertation), University Microfilms, Ann Arbor, Michigan. Abstract published in Dissertation Abstracts, vol. XXVIII, June 1968.
"Low speed time multiplexing," IEEE Trans. Space Electronics and Telemetry, vol. 7, no. 2, pp. 34-41, June 1961.