☰

Abdullah Al-Nayeem, Ph.D. - Publications

Affiliations: 
2013 Computer Science University of Illinois, Urbana-Champaign, Urbana-Champaign, IL 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

5 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2013 Al-Nayeem A, Kim C, Kang W, Wu PL, Sha L. Middleware design for physically-asynchronous logically-synchronous (PALS) systems 2013 Proceedings of the International Conference On Embedded Software, Emsoft 2013. DOI: 10.1109/EMSOFT.2013.6658583  0.781
2012 Al-Nayeem A, Sha L, Cofer DD, Miller SM. 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. DOI: 10.1109/ICCPS.2012.15  0.502
2012 Bae K, Ölveczky PC, Meseguer J, Al-Nayeem A. The synchAADL2Maude tool Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7212: 59-62. DOI: 10.1007/978-3-642-28872-2_4  0.3
2011 Bae K, Ölveczky PC, Al-Nayeem A, Meseguer J. 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. DOI: 10.1007/978-3-642-24559-6_43  0.453
2009 Al-Nayeem A, Sun M, Qiu X, Sha L, Miller SP, Cofer DD. A formal architecture pattern for real-time distributed systems Proceedings - Real-Time Systems Symposium. 161-170. DOI: 10.1109/RTSS.2009.50  0.474
Show low-probability matches.