A parallel computer model supporting procedure-based communication. - Jeffrey X. Zhou (SC, 1990)

Strong Partitioning Protocol for a Multiprocessor VME System. - Mohamed F. Younis; Jeffrey X. Zhou; Mohamed Aboutabl (FTCS, 1998)

Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. - Oleg Sokolsky; Mohamed F. Younis; Insup Lee 001; Hee-Hwan Kwak; Jeffrey X. Zhou (IEEE Real Time Technology and Applications Symposium, 1998)

Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software. - Yann-Hang Lee; Daeyoung Kim 001; Mohamed F. Younis; Jeffrey X. Zhou (RTCSA, 1998)

Resource Scheduling in Dependable Integrated Modular Avionics. - Yann-Hang Lee; Daeyoung Kim 001; Mohamed F. Younis; Jeffrey X. Zhou; James McElroy (DSN, 2000)