☰

Abdullah Al-Nayeem, Ph.D.

Affiliations: 
2013 Computer Science University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Google:
"Abdullah Al-Nayeem"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Lui Sha grad student 2013 UIUC
 (Physically-asynchronous logically-synchronous (PALS) system design and development.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Al-Nayeem A, Kim C, Kang W, et al. (2013) Middleware design for physically-asynchronous logically-synchronous (PALS) systems 2013 Proceedings of the International Conference On Embedded Software, Emsoft 2013
Al-Nayeem A, Sha L, Cofer DD, et al. (2012) Pattern-based composition and analysis of virtually synchronized real-time distributed systems Proceedings - 2012 Ieee/Acm 3rd International Conference On Cyber-Physical Systems, Iccps 2012. 65-74
Bae K, Ölveczky PC, Meseguer J, et al. (2012) The synchAADL2Maude tool Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7212: 59-62
Bae K, Ölveczky PC, Al-Nayeem A, et al. (2011) Synchronous AADL and its formal analysis in real-time maude Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6991: 651-667
Al-Nayeem A, Sun M, Qiu X, et al. (2009) A formal architecture pattern for real-time distributed systems Proceedings - Real-Time Systems Symposium. 161-170
See more...