Amin Shali

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Amin Shali, William R. Cook
Hybrid partial evaluation. OOPSLA (2011)
Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani
Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embed. Comput. Syst. 10 (2) (2010)
Rajesh K. Karmani, Amin Shali, Gul Agha
Actor frameworks for the JVM platform: a comparative analysis. PPPJ (2009)
Amin Shali, Behrouz Minaei-Bidgoli
Heterogeneous Decision Tree Classifier System. MLMTA (2007)
Amin Shali, Mohammad Reza Kangavari, Bahareh Bina
Using genetic programming for the induction of oblique decision trees. ICMLA (2007)
Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD (2005)
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. Univers. Comput. Sci. 11 (6) (2005)
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer
Modeling and Verification of Reactive Systems using Rebeca. Fundam. Informaticae 63 (4) (2004)
Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar
A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD (2004)
Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali
Model Checking in Rebeca. PDPTA (2003)