MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Amin Shali" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Model checking, automated abstraction, and compositional verification of Rebeca models
by Marjan Sirjani, Ali Movaghar, Amin Shali, Franks. Deboer — Journal of Universal Computer Science
…@(email omitted);) Amin Shali (Department of Electrical and Computer Engineering University of Tehran Karegar Ave., Tehran…
Cited by 1 (1 self) – Add To MetaCart

Languages, Performance
by Rajesh K. Karmani, Amin Shali, Gul Agha
…Actor Frameworks for the JVM Platform: A Comparative Analysis Rajesh K. Karmani, Amin Shali, Gul…
Add To MetaCart

A front-end tool for automated abstraction and modular verification of actor-based models
by Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar — 2004 — In: Proceedings of ACSD’04, (IEEE Computer Society
…@(email omitted); Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi Department of Electrical and Computer Engineering…
Cited by 8 (8 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB