Follow
Abdullah Al-Nayeem
Abdullah Al-Nayeem
Verified email at illinois.edu
Title
Cited by
Cited by
Year
Implementing logical synchrony in integrated modular avionics
SP Miller, DD Cofer, L Sha, J Meseguer, A Al-Nayeem
2009 IEEE/AIAA 28th Digital Avionics Systems Conference, 1. A. 3-1-1. A. 3-12, 2009
642009
A formal architecture pattern for real-time distributed systems
A Al-Nayeem, M Sun, X Qiu, L Sha, SP Miller, DD Cofer
2009 30th IEEE Real-Time Systems Symposium, 161-170, 2009
412009
PALS: Physically asynchronous logically synchronous systems
L Sha, A Al-Nayeem, M Sun, J Meseguer, PC Olveczky
412009
Synchronous AADL and its formal analysis in Real-Time Maude
K Bae, PC Ölveczky, A Al-Nayeem, J Meseguer
Formal Methods and Software Engineering: 13th International Conference on …, 2011
352011
Pattern-based composition and analysis of virtually synchronized real-time distributed systems
A Al-Nayeem, L Sha, DD Cofer, SM Miller
2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 65-74, 2012
262012
The SynchAADL2Maude tool
K Bae, PC Ölveczky, J Meseguer, A Al-Nayeem
Fundamental Approaches to Software Engineering: 15th International …, 2012
242012
A low complexity coordination architecture for networked supervisory medical systems
PL Wu, W Kang, A Al-Nayeem, L Sha, RB Berlin Jr, JM Goldman
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical …, 2013
162013
Performance evaluation of the illinois cloud computing testbed
A Khurshid, A Al-Nayeem, I Gupta
132009
Complexity-reducing design patterns for cyber-physical systems
SMLA Model
112012
Middleware design for physically-asynchronous logically-synchronous (pals) systems
A Al-Nayeem, C Kim, W Kang, PL Wu, L Sha
2013 Proceedings of the International Conference on Embedded Software …, 2013
92013
PALS/PRISM software design description (sdd): Ver. 0.51
C Kim, A Al-Nayeem, H Yun, PL Wu, L Sha
22011
Physically-asynchronous logically-synchronous (PALS) system design and development
A Al-Nayeem
University of Illinois at Urbana-Champaign, 2013
12013
Modeling and Complexity Comparison of Different Designs
C Kim, A Al-Nayeem, H Yun, L Sha
2010
The system can't perform the operation now. Try again later.
Articles 1–13