Model Checking in Rebeca. - Marjan Sirjani; Ali Movaghar 001; Hamed Iravanchi; Mohammad Mahdi Jaghoori; Amin Shali (PDPTA, 2003)

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. - Marjan Sirjani; Amin Shali; Mohammad Mahdi Jaghoori; Hamed Iravanchi; Ali Movaghar 001 (ACSD, 2004)

Modeling and Verification of Reactive Systems using Rebeca. - Marjan Sirjani; Ali Movaghar 001; Amin Shali; Frank S. de Boer (Fundam. Informaticae, 2004)

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. - Marjan Sirjani; Frank S. de Boer; Ali Movaghar 001; Amin Shali (ACSD, 2005)

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. - Marjan Sirjani; Ali Movaghar 001; Amin Shali; Frank S. de Boer (J. Univers. Comput. Sci., 2005)

Using genetic programming for the induction of oblique decision trees. - Amin Shali; Mohammad Reza Kangavari 001; Bahareh Bina (ICMLA, 2007)

Heterogeneous Decision Tree Classifier System. - Amin Shali; Behrouz Minaei-Bidgoli (MLMTA, 2007)

Actor frameworks for the JVM platform: a comparative analysis. - Rajesh K. Karmani; Amin Shali; Gul Agha (PPPJ, 2009)

Sysfier: Actor-based formal verification of SystemC. - Niloofar Razavi; Razieh Behjati; Hamideh Sabouri; Ehsan Khamespanah; Amin Shali; Marjan Sirjani (ACM Trans. Embed. Comput. Syst., 2010)

Hybrid partial evaluation. - Amin Shali; William R. Cook (OOPSLA, 2011)