Author Info
Name
Affiliation
Papers
ABDULLAH AL-NAYEEM
University of Illinois, Urbana-Champaign
6
Collaborators
Citations 
PageRank 
14
48
3.82
Referers 
Referees 
References 
65
164
82
Search Limit
100164
Title
Citations
PageRank
Year
Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems20.762013
A low complexity coordination architecture for networked supervisory medical systems70.532013
The SynchAADL2Maude tool40.412012
Pattern-Based Composition and Analysis of Virtually Synchronized Real-Time Distributed Systems60.552012
Synchronous AADL and its formal analysis in real-time Maude170.762011
A Formal Architecture Pattern for Real-Time Distributed Systems120.812009