 | 1995 |
|---|
| 15 |       | Michael C. McFarland,
Thaddeus J. Kowalski:
Symbolic analysis and verification of CPA descriptions.
CHARME 1995: 103-123 |
| 1993 |
|---|
| 14 |  | Michael C. McFarland:
Military to Commercial Conversion: Is it Necessary, Is it Practical, Is it Possible? (Panel Abstract).
DAC 1993: 589 |
| 13 | | Michael C. McFarland:
Formal Analysis of Correctness of Behavioral Transformations.
Formal Methods in System Design 2(3): 231-257 (1993) |
| 12 | | Michael C. McFarland:
Formal verification of sequential hardware: a tutorial.
IEEE Trans. on CAD of Integrated Circuits and Systems 12(5): 633-654 (1993) |
| 1992 |
|---|
| 11 | | Michael C. McFarland:
Broadening the basis for ethical analysis.
Journal of Systems and Software 17(1): 39-40 (1992) |
| 1991 |
|---|
| 10 | | Michael C. McFarland:
Intellectual Property (Panel Abstract).
DAC 1991: 186 |
| 9 | | Michael C. McFarland,
Thaddeus J. Kowalski:
Specifying System Behavior in CPA.
ICCD 1991: 342-345 |
| 8 | | Michael C. McFarland:
Ethics and the Safety of Computer Systems.
IEEE Computer 24(2): 72-75 (1991) |
| 1990 |
|---|
| 7 | | Michael C. McFarland:
Urgency of Ethical Standards Intensifies in Computer Community.
IEEE Computer 23(3): 77-81 (1990) |
| 6 | | Michael C. McFarland,
Thaddeus J. Kowalski:
Incorporating bottom-up design into hardware synthesis.
IEEE Trans. on CAD of Integrated Circuits and Systems 9(9): 938-950 (1990) |
| 1989 |
|---|
| 5 | | Michael C. McFarland:
The Social Implications of Computerization: Making the Technology Humane.
DAC 1989: 129-134 |
| 1988 |
|---|
| 4 | | Michael C. McFarland,
Alice C. Parker,
Raul Camposano:
Tutorial on High-Level Synthesis.
DAC 1988: 330-336 |
| 1986 |
|---|
| 3 | | W. H. Wolf,
Thaddeus J. Kowalski,
Michael C. McFarland:
Knowledge Engineering Issues in VLSI Synthesis.
AAAI 1986: 866-871 |
| 2 | | Michael C. McFarland:
Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions.
DAC 1986: 474-480 |
| 1983 |
|---|
| 1 | | Michael C. McFarland,
Alice C. Parker:
An Abstract Model of Behavior for Hardware Descriptions.
IEEE Trans. Computers 32(7): 621-637 (1983) |
