Context-sensitive timing analysis of Esterel programs. - Lei Ju 001; Bach Khoa Huynh; Samarjit Chakraborty; Abhik Roychoudhury (DAC, 2009)

Timing analysis of esterel programs on general-purpose multiprocessors. - Lei Ju 001; Bach Khoa Huynh; Abhik Roychoudhury; Samarjit Chakraborty (DAC, 2010)

Scope-Aware Data Cache Analysis for WCET Estimation. - Bach Khoa Huynh; Lei Ju 001; Abhik Roychoudhury (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Performance debugging of Esterel specifications. - Lei Ju 001; Bach Khoa Huynh; Abhik Roychoudhury; Samarjit Chakraborty (Real Time Syst., 2012)