Abdullah Al-Nayeem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2009–2017
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICST | Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google. | Abdullah Al-Nayeem, Krzysztof Ostrowski, Sebastian Pueblas, Christophe Restif, Sai Zhang |
| 2013 | EMSOFT | Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems. | Abdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha |
| 2012 | FASE | The SynchAADL2Maude Tool. | Kyungmin Bae, Peter Csaba lveczky, Jos Meseguer, Abdullah Al-Nayeem |
| 2011 | ICFEM | Synchronous AADL and Its Formal Analysis in Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Abdullah Al-Nayeem, Jos Meseguer |
| 2009 | RTSS | A Formal Architecture Pattern for Real-Time Distributed Systems. | Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer |