Abdullah Al-Nayeem

Implementing logical synchrony in integrated modular avionics

Steven P. Miller, Darren Cofer, Lui Sha et al. · 2009 · 56 citations

Engineering, Logical Synchrony, Computer Architecture +16

A Formal Architecture Pattern for Real-Time Distributed Systems

Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu et al. · 2009 · 40 citations

Engineering, Verification, Computer Architecture +23

Gpnocsim - A General Purpose Simulator for Network-On-Chip

Hemayet Hossain, Mostak Ahmed, Abdullah Al-Nayeem et al. · 2007 · 39 citations

Engineering, Computer Architecture, Simulation +18

PALS: Physically Asynchronous Logically Synchronous Systems

Lui Sha, Abdullah Al-Nayeem, Mu Sun et al. · Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) · 2009 · 38 citations · Full text

Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems

Abdullah Al-Nayeem, Lui Sha, Darren Cofer et al. · 2012 · 22 citations

Cluster Computing, Engineering, Verification +24