On proving the correctness of optimizing transformations in a digital design automation system. - Michael C. McFarland (DAC, 1981)

Computer-aided partitioning of behavioral hardware descriptions. - Michael C. McFarland (DAC, 1983)

An Abstract Model of Behavior for Hardware Descriptions. - Michael C. McFarland; Alice C. Parker (IEEE Trans. Computers, 1983)

Knowledge Engineering Issues in VLSI Synthesis. - Wayne H. Wolf; Thaddeus J. Kowalski; Michael C. McFarland (AAAI, 1986)

Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions. - Michael C. McFarland (DAC, 1986)

Tutorial on High-Level Synthesis. - Michael C. McFarland; Alice C. Parker; Raul Camposano (DAC, 1988)

The Social Implications of Computerization: Making the Technology Humane. - Michael C. McFarland (DAC, 1989)

A fast floor planning algorithm for architectural evaluation. - Michael C. McFarland (ICCD, 1989)

Urgency of Ethical Standards Intensifies in Computer Community. - Michael C. McFarland (Computer, 1990)

The high-level synthesis of digital systems. - Michael C. McFarland; Alice C. Parker; Raúl Camposano (Proc. IEEE, 1990)

Incorporating bottom-up design into hardware synthesis. - Michael C. McFarland; Thaddeus J. Kowalski (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Intellectual Property (Panel Abstract). - Michael C. McFarland (DAC, 1991)

Specifying System Behavior in CPA. - Michael C. McFarland; Thaddeus J. Kowalski (ICCD, 1991)

Ethics and the Safety of Computer Systems. - Michael C. McFarland (Computer, 1991)

Broadening the basis for ethical analysis. - Michael C. McFarland (J. Syst. Softw., 1992)

Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible? (Panel Abstract). - Michael C. McFarland (DAC, 1993)

Formal Analysis of Correctness of Behavioral Transformations. - Michael C. McFarland (Formal Methods Syst. Des., 1993)

Formal verification of sequential hardware: a tutorial. - Michael C. McFarland (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Symbolic analysis and verification of CPA descriptions. - Michael C. McFarland; Thaddeus J. Kowalski (CHARME, 1995)