A Stimulus/Response System Based on Hierarchical Timing Diagrams. - Karim Khordoc; Mario Dufresne; Eduard Cerny (ICCAD, 1991)

Integrating Behavior and Timing in Executable Specifications. - Karim Khordoc; Mario Dufresne; Eduard Cerny; P. A. Babkine; Allan Silburt (CHDL, 1993)

Modeling Cell Processing Hardware with Action Diagrams. - Karim Khordoc; Eduard Cerny (ISCAS, 1994)

Semantics and verification of action diagrams with linear timing. - Karim Khordoc; Eduard Cerny (ACM Trans. Design Autom. Electr. Syst., 1998)

An object-oriented approach to system modeling and codesign for multimedia applications. - Ghassan Fayad; Karim Khordoc (ICECS, 2000)

Combinational verification by simulations, SAT and BDDs. - Katarzyna Radecka; Zeljko Zilic; Karim Khordoc (ICECS, 2001)