| 2007 |
|---|
| 6 | | Amin Shali,
Behrouz Minaei-Bidgoli:
Heterogeneous Decision Tree Classifier System.
MLMTA 2007: 38-44 |
| 2005 |
|---|
| 5 | EE | 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 |
| 4 | EE | 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) |
| 2004 |
|---|
| 3 | EE | 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 |
| 2 | EE | 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) |
| 2003 |
|---|
| 1 | | Marjan Sirjani,
Ali Movaghar,
Hamed Iravanchi,
Mohammad Mahdi Jaghoori,
Amin Shali:
Model Checking in Rebeca.
PDPTA 2003: 1819-1822 |
