Abdullah Al-Nayeem

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 1

Top Topics

Design Criteria

Lower Complexity

Pedagogical Agents

Distributed Systems

Top Venues

Publications

Abdullah Al-Nayeem, Krzysztof Ostrowski, Sebastian Pueblas, Christophe Restif, Sai Zhang
Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google. ICST (2017)
Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha
Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. EMSOFT (2013)
Po-Liang Wu, Woochul Kang, Abdullah Al-Nayeem, Lui Sha, Richard B. Berlin Jr., Julian M. Goldman
A low complexity coordination architecture for networked supervisory medical systems. ICCPS (2013)
Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer, Abdullah Al-Nayeem
The SynchAADL2Maude Tool. FASE (2012)
Abdullah Al-Nayeem, Lui Sha, Darren D. Cofer, Steven P. Miller
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems. ICCPS (2012)
Kyungmin Bae, Peter Csaba Ölveczky, Abdullah Al-Nayeem, José Meseguer
Synchronous AADL and Its Formal Analysis in Real-Time Maude. ICFEM (2011)
Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
A Formal Architecture Pattern for Real-Time Distributed Systems. RTSS (2009)