Interface Timing Verification with Application to Synthesis. - Elizabeth A. Walkup; Gaetano Borriello (DAC, 1994)

Scheduling for reactive real-time systems. - Pai H. Chou; Elizabeth A. Walkup; Gaetano Borriello (IEEE Micro, 1994)

How to test a tree. - Andrew B. Kahng; Gabriel Robins; Elizabeth A. Walkup (Networks, 1998)