Publications


Journal Publications
2005

- Marjan Sirjani, Ali Movaghar, Amin Shali, and Frank S. de Boer. Model checking, automated abstraction, and compositional verification of rebeca models. Journal of Universal Computer Science, 11(6):1054-1082, 2005.
2004

- Marjan Sirjani, Ali Movaghar, Amin Shali, and Frank S. de Boer. Modeling and verification of reactive systems using rebeca. Fundamenta Informaticae, 63(4):385-410, 2004.

Conference Publications
2007

- Amin Shali, Mohammad Reza Kangavari, Bahareh Bina. Using Genetic Programming for the Induction of Oblique Decision Trees. In The Sixth International Conference on Machine Learning and Applications (ICMLA'07), December 2007.
- Amin Shali and Behrouz Minaei. Heterogeneous Decision Tree Classifier System. In Proceedings of the International Conference on Machine Learning, MLMTA07, June 25-28, 2007, Las Vegas Nevada, USA. CSREA Press, 2007, pages 38-41.
2005

- Marjan Sirjani, Frank S. de Boer, Ali Movaghar, and Amin Shali. Extended rebeca: A component-based actor language with synchronous message passing. In Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France. IEEE Computer Society, 2005, pages 212-221.
2004

- Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, and Ali Movaghar. A front-end tool for automated abstraction and modular verification of actor-based models. In 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 16-18 June 2004, Hamilton, Canada. IEEE Computer Society, 2004, pages 145-150.
- Ramin Mehran, Amin Shali, Farbod Razzazi. Statistical Correction-Rejection Strategy for OCR Outputs in Persian Personal Information Forms. In Proceedings of the 2nd International Conference on Information Technology and Applications, ICITA, January 2004, Harbin, China, pages 247-249.
2003

- Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, and Amin Shali. Model checking in rebeca. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA '03, June 23 - 26, 2003, Las Vegas, Nevada, USA, Volume 4. CSREA Press, 2003, pages 1819-1822.
- M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori, A. Shali. Model Checking Rebeca by SMV. In Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS'03), pages 233-236, Southampton, UK, April 2003.

DBLP:

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/s/Shali:Amin.html