TAS: an accurate timing analyser for CMOS VLSI. - Amjad Hajjar; Alain Greiner; Roland Marbot; Payam Kiani (EURO-DAC, 1991)

Fast Antirandom (FAR) Test Generation. - Anneliese von Mayrhauser; Andre Bai; Tom Chen 001; Charles Anderson 001; Amjad Hajjar (HASE, 1998)

How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. - Tom Chen 001; Anneliese von Mayrhauser; Amjad Hajjar; Charles Anderson 001; Mehmet Sahinoglu (HASE, 1999)

Efficient Verification of Behavioral Models Using Sequential Sampling Technique. - Tom Chen 001; Isabelle Munn; Anneliese von Mayrhauser; Amjad Hajjar (VLSI, 1999)

VLSI Architecture for Real-Time Edge Linking. - Amjad Hajjar; Tom Chen 001 (IEEE Trans. Pattern Anal. Mach. Intell., 1999)

On statistical behavior of branch coverage in testing behavioral VHDL models. - Amjad Hajjar; Tom Chen 001; Anneliese von Mayrhauser (HLDVT, 2000)

On choosing test criteria for behavioral level hardware design verification. - Anneliese von Mayrhauser; Tom Chen 001; Jan Kok; Chuck Anderson 001; Anita Read; Amjad Hajjar (HLDVT, 2000)

Achieving the Quality of Verification for Behavioral Models with Minimum Effort. - Tom Chen 001; Anneliese von Mayrhauser; Amjad Hajjar; Charles Anderson 001; Mehmet Sahinoglu (ISQED, 2000)

High quality behavioral verification using statistical stopping criteria. - Amjad Hajjar; Tom Chen 001; Isabelle Munn; Anneliese Amschler Andrews; Maria Bjorkman (DATE, 2001)

Stopping Criteria Comparison: Towards High Quality Behavioral Verification. - Amjad Hajjar; Tom Chen 001; Isabelle Munn; Anneliese Amschler Andrews; Maria Bjorkman (ISQED, 2001)

An Accurate Coverage Forecasting Model for Behavioral Model Verification. - Amjad Hajjar; Tom Chen 001 (DELTA, 2002)

Improving the Efficiency and Quality of Simulation-Based Behavioral Model Verification Using Dynamic Bayesian Criteria. - Amjad Hajjar; Tom Chen 001 (ISQED, 2002)

Fast Anti-Random (FAR) Test Generation to Improve the Quality of Behavioral Model Verification. - Tom Chen 001; Andre Bai; Amjad Hajjar; Anneliese Amschler Andrews; Charles Anderson 001 (J. Electron. Test., 2002)

Analyzing Statistical Timing Behavior of Coupled Interconnects Using Quadratic Delay Change Characteristics. - Tom Chen 001; Amjad Hajjar (ISQED, 2003)

Statistical timing analysis of coupled interconnects using quadratic delay-change characteristics. - Tom Chen 001; Amjad Hajjar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004)

Performance of OpenDPI to Identify Truncated Network Traffic. - Jawad Khalife; Amjad Hajjar; Jesús Esteban Díaz Verdejo (DCNET/OPTICS, 2011)

Performance of OpenDPI in Identifying Sampled Network Traffic. - Jawad Khalife; Amjad Hajjar; Jesús Esteban Díaz Verdejo (J. Networks, 2013)

A multilevel taxonomy and requirements for an optimal traffic-classification model. - Jawad Khalife; Amjad Hajjar; Jesús Esteban Díaz Verdejo (Int. J. Netw. Manag., 2014)

Network traffic application identification based on message size analysis. - Amjad Hajjar; Jawad Khalife; Jesús Esteban Díaz Verdejo (J. Netw. Comput. Appl., 2015)