Abdullah Al-Nayeem

According to our database, Abdullah Al-Nayeem authored at least 8 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google.

Abdullah Al-Nayeem, Krzysztof Ostrowski, Sebastian Pueblas, Christophe Restif, Sai Zhang

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2013

Physically-asynchronous logically-synchronous (PALS) system design and development

Abdullah Al-Nayeem

PhD thesis, 2013

A low complexity coordination architecture for networked supervisory medical systems.

Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman

Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems.

Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha

Proceedings of the International Conference on Embedded Software, 2013

2012

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

Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller

Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

The SynchAADL2Maude Tool.

Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Synchronous AADL and Its Formal Analysis in Real-Time Maude.

Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer

Proceedings of the Formal Methods and Software Engineering, 2011

2009

A Formal Architecture Pattern for Real-Time Distributed Systems.

Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009