The automated generation of cross-system software for supporting micro/mini computer systems. - Gearold R. Johnson; Robert A. Mueller (SIGMINI, 1976)

Automated Generation of Cross-System Software for Microcomputers. - Gearold R. Johnson; Robert A. Mueller (Computer, 1977)

Formalization and automated synthesis of microprograms. - Robert A. Mueller (MICRO, 1980)

Contrasting translation, verification and synthesis in software and firmware engineering. - Robert A. Mueller; Gearold R. Johnson (MICRO, 1981)

Formal semantics for the automated derivation of micro-code. - Robert A. Mueller; Joseph Varghese (DAC, 1982)

A survey of resource allocation methods in optimizing microcode compilers. - Robert A. Mueller; Michael R. Duda; Stephen M. O'Haire (MICRO, 1984)

Global methods in the flow graph approach to retargetable microcode generation. - Robert A. Mueller; Joseph Varghese; Vicki H. Allan (MICRO, 1984)

The Complexity of Horizontal Word Encoding in Microprogrammed Machines. - Robert A. Mueller; Vicki H. Allan; Joseph Varghese (IEEE Trans. Computers, 1984)

Knowledge-Based Code Selection Methods in Retargetable Microcode Synthesis. - Robert A. Mueller; Joseph Varghese (IEEE Des. Test, 1985)

Parallel Theorem Proving with Connection Graphs. - Rasiah Loganantharaj; Robert A. Mueller (CADE, 1986)

A case study in signal processing microprogramming using the URPR software pipelining technique. - Robert A. Mueller; Bogong Su; Michael R. Duda; Brian L. Plomondon (MICRO, 1986)

Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology. - Subrata Dasgupta; Robert A. Mueller (IEEE Softw., 1986)

Formal Methods of Microcode Verification and Synthesis. - Robert A. Mueller; Michael R. Duda (IEEE Softw., 1986)

Phase coupling for horizontal microcode generation. - Vicki H. Allan; Robert A. Mueller (MICRO, 1987)

Trace scheduling optimization in a retargetable microcode compiler. - Michael A. Howland; Robert A. Mueller; Philip H. Sweany (MICRO, 1987)

Retargetable Microcode Synthesis. - Robert A. Mueller; Joseph Varghese (ACM Trans. Program. Lang. Syst., 1987)

Compaction with General Timing. - Vicki H. Allan; Robert A. Mueller (IEEE Trans. Software Eng., 1988)

Horizon: A Retargetable Compiler for Horizontal Microarchitectures. - Robert A. Mueller; Michael R. Duda; Philip H. Sweany; Jack S. Walicki (IEEE Trans. Software Eng., 1988)