Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement. - James Shin Young; Josh MacDonald; Michael Shilman; Abdallah Tabbara; Paul N. Hilfinger; A. Richard Newton (DAC, 1998)

Retiming for DSM with Area-Delay Trade-Offs and Delay Constraints. - Abdallah Tabbara; Robert K. Brayton; A. Richard Newton (DAC, 1999)

Task response time optimization using cost-based operation motion. - Bassam Tabbara; Abdallah Tabbara; Alberto L. Sangiovanni-Vincentelli (CODES, 2000)

A Force-Directed Macro-Cell Placer. - Fan Mo 003; Abdallah Tabbara; Robert K. Brayton (ICCAD, 2000)

Integration of retiming with architectural floorplanning. - Abdallah Tabbara; Bassam Tabbara; Robert K. Brayton; A. Richard Newton (Integr., 2000)

A Force-Directed Maze Router. - Fan Mo 003; Abdallah Tabbara; Robert K. Brayton (ICCAD, 2001)

A Timing-Driven Macro-Cell Placement Algorithm. - Fan Mo 003; Abdallah Tabbara; Robert K. Brayton (ICCD, 2001)