| 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 | 64 | 2009 |
| 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 | 42 | 2009 |
| PALS: Physically asynchronous logically synchronous systems L Sha, A Al-Nayeem, M Sun, J Meseguer, PC Olveczky | 41 | 2009 |
| 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 | 35 | 2011 |
| 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 | 26 | 2012 |
| The SynchAADL2Maude tool K Bae, PC Ölveczky, J Meseguer, A Al-Nayeem Fundamental Approaches to Software Engineering: 15th International …, 2012 | 23 | 2012 |
| 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 | 16 | 2013 |
| Performance evaluation of the illinois cloud computing testbed A Khurshid, A Al-Nayeem, I Gupta | 12 | 2009 |
| 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 | 10 | 2013 |
| Complexity-reducing design patterns for cyber-physical systems SMLA Model | 10 | 2012 |
| Physically-asynchronous logically-synchronous (PALS) system design and development A Al-Nayeem University of Illinois at Urbana-Champaign, 2013 | 2 | 2013 |
| PALS/PRISM software design description (sdd): Ver. 0.51 C Kim, A Al-Nayeem, H Yun, PL Wu, L Sha | 2 | 2011 |
| Modeling and Complexity Comparison of Different Designs C Kim, A Al-Nayeem, H Yun, L Sha | | 2010 |
