Automatic Generation of a Real-Time Operating System for Embedded Systems. - Felice Balarin; Massimiliano Chiodo; Attila Jurecska; Luciano Lavagno; Bassam Tabbara; Alberto L. Sangiovanni-Vincentelli (CODES, 1997)

Cycle and Phase Accurate DSP Modeling and Integration for HW/SW Co-Verification. - Lisa M. Guerra; Joachim Fitzner; Dipankar Talukdar; Chris Schläger; Bassam Tabbara; Vojin Zivojnovic (DAC, 1999)

Fast Hardware-Software Co-simulation Using VHDL Models. - Bassam Tabbara; Marco Sgroi; Alberto L. Sangiovanni-Vincentelli; Enrica Filippi; Luciano Lavagno (DATE, 1999)

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

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

Advanced techniques for RTL debugging. - Yu-Chin Hsu; Bassam Tabbara; Yirng-An Chen; Fur-Shing Tsai (DAC, 2003)