A Formal Architecture Pattern for Real-Time Distributed Systems. - Abdullah Al-Nayeem; Mu Sun; Xiaokang Qiu; Lui Sha; Steven P. Miller; Darren D. Cofer (RTSS, 2009)

Synchronous AADL and Its Formal Analysis in Real-Time Maude. - Kyungmin Bae; Peter Csaba Ölveczky; Abdullah Al-Nayeem; José Meseguer 001 (ICFEM, 2011)

The SynchAADL2Maude Tool. - Kyungmin Bae; Peter Csaba Ölveczky; José Meseguer 001; Abdullah Al-Nayeem (FASE, 2012)

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. - Abdullah Al-Nayeem; Lui Sha; Darren D. Cofer; Steven P. Miller (ICCPS, 2012)

Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. - Abdullah Al-Nayeem; Cheolgi Kim; Woochul Kang; Po-Liang Wu; Lui Sha (EMSOFT, 2013)

A low complexity coordination architecture for networked supervisory medical systems. - Po-Liang Wu; Woochul Kang; Abdullah Al-Nayeem; Lui Sha; Richard B. Berlin Jr.; Julian M. Goldman (ICCPS, 2013)

Physically-asynchronous logically-synchronous (PALS) system design and development - Abdullah Al-Nayeem (2013)

Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google. - Abdullah Al-Nayeem; Krzysztof Ostrowski; Sebastian Pueblas; Christophe Restif; Sai Zhang 001 (ICST, 2017)