Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Amin Shali
2010 – today
- 2011
[c7]- 2010
- [j3]Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani: Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embedded Comput. Syst. 10(2): 19 (2010)
2000 – 2009
- 2009
- [c6]Rajesh K. Karmani, Amin Shali, Gul Agha: Actor frameworks for the JVM platform: a comparative analysis. PPPJ 2009: 11-20
- 2007
- [c5]Amin Shali, Mohammad Reza Kangavari, Bahareh Bina: Using genetic programming for the induction of oblique decision trees. ICMLA 2007: 38-43
- [c4]Amin Shali, Behrouz Minaei-Bidgoli: Heterogeneous Decision Tree Classifier System. MLMTA 2007: 38-44
- 2005
- [j2]Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005)
- [c3]Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221
- 2004
- [j1]Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004)
- [c2]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: 145-150
- 2003
- [c1]Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 20:25 CET by the dblp team