Karim Khordoc (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Karim Khordoc, Eduard Cerny: Semantics and verification of action diagrams with linear timing. ACM Trans. Design Autom. Electr. Syst. 3(1): 21-50 (1998)

3 Karim Khordoc, Eduard Cerny: Modeling Cell Processing Hardware with Action Diagrams. ISCAS 1994: 245-248

2 Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt: Integrating Behavior and Timing in Executable Specifications. CHDL 1993: 399-416

1 Karim Khordoc, Mario Dufresne, Eduard Cerny: A Stimulus/Response System Based on Hierarchical Timing Diagrams. ICCAD 1991: 358-361

Selection of 4 from 4 records - Karim Khordoc has 4 coauthors

4		Karim Khordoc, Eduard Cerny: Semantics and verification of action diagrams with linear timing. ACM Trans. Design Autom. Electr. Syst. 3(1): 21-50 (1998)
3		Karim Khordoc, Eduard Cerny: Modeling Cell Processing Hardware with Action Diagrams. ISCAS 1994: 245-248
2		Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt: Integrating Behavior and Timing in Executable Specifications. CHDL 1993: 399-416
1		Karim Khordoc, Mario Dufresne, Eduard Cerny: A Stimulus/Response System Based on Hierarchical Timing Diagrams. ICCAD 1991: 358-361