Actor frameworks for the JVM platform: a comparative analysis RK Karmani, A Shali, G Agha Proceedings of the 7th International Conference on Principles and Practice …, 2009 | 238 | 2009 |
Modeling and verification of reactive systems using Rebeca M Sirjani, A Movaghar, A Shali, FS De Boer Fundamenta Informaticae 63 (4), 385-410, 2004 | 217 | 2004 |
Hybrid partial evaluation A Shali, WR Cook Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 60 | 2011 |
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. M Sirjani, A Movaghar, A Shali, FS de Boer J. Univers. Comput. Sci. 11 (6), 1054-1082, 2005 | 31 | 2005 |
A front-end tool for automated abstraction and modular verification of actor-based models M Sirjani, A Shali, MM Jaghoori, H Iravanchi, A Movaghar Proceedings. Fourth International Conference on Application of Concurrency …, 2004 | 31 | 2004 |
Sysfier: Actor-based formal verification of systemc N Razavi, R Behjati, H Sabouri, E Khamespanah, A Shali, M Sirjani ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 1-35, 2011 | 21 | 2011 |
The actor foundry M Astley, T Clausen, J Waldby, R Kumar, A Shali Manual of the Actor Foundry, version 0.2. 0, 1999 | 21 | 1999 |
Extended Rebeca: A component-based actor language with synchronous message passing M Sirjani, F de Boer, A Movaghar, A Shali Fifth International Conference on Application of Concurrency to System …, 2005 | 20 | 2005 |
Barrier synchronization pattern RK Karmani, N Chen, BY Su, A Shali, R Johnson Workshop on Parallel Programming Patterns (ParaPLOP), 2009 | 15 | 2009 |
Model checking Rebeca by SMV M Sirjani, A Movaghar, H Iravanchi, M Jaghoori, A Shali Proceedings of the Workshop on Automated Verification of Critical Systems …, 2003 | 12 | 2003 |
A statistical correction-rejection strategy for OCR outputs in Persian personal information forms R Mehran, A Shali, F Razzazi Proceedings of 2nd International Conference on Information Technology and …, 2004 | 11 | 2004 |
Collective communication patterns N Chen, RK Karmani, A Shali, BY Su, R Johnson Workshop on Parallel Programming Patterns (ParaPLOP), 2009 | 10 | 2009 |
Model Checking in Rebeca. M Sirjani, A Movaghar, H Iravanchi, MM Jaghoori, A Shali PDPTA, 1819-1822, 2003 | 7 | 2003 |
Actor oriented programming in Chapel A Shali, P CS380P, C Lin University of Texas, 2010 | 4 | 2010 |
Velocity M2T Tool Tutorial R Berg, E Huneke, A Shali, J Ho | | 2012 |
CS Technical Reports A Shali | | 2011 |
Article 19 (35 pages)-Sysfier: Actor-Based Formal Verification of SystemC N Razavi, R Behjati, H Sabouri, E Khamespanah, A Shali, M Sirjani ACM Transactions on Embedded Computer Systems 10 (2), 2011 | | 2011 |
REPORT SEN-R0505 FEBRUARY 2005 M Sirjani, FS de Boer, A Movaghar, A Shali | | 2005 |
Extending rebeca with synchronous messages and reusable components M SIRJANI, F DE BOER, A MOVAGHAR, A SHALI Report-Software engineering, 1-16, 2005 | | 2005 |
Workshop Publications, Demonstrations, and Posters BS Pattern, R Karmani, N Chen, BY Su, A Shali | | |