1995 |
15 | | Michael C. McFarland,
Thaddeus J. Kowalski:
Symbolic analysis and verification of CPA descriptions.
CHARME 1995: 103-123 |
1993 |
14 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Michael C. McFarland:
The Social Implications of Computerization: Making the Technology Humane.
DAC 1989: 129-134 |
1988 |
4 | EE | 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 | EE | 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) |