Follow
Amin Shali
Amin Shali
Verified email at cs.utexas.edu
Title
Cited by
Cited by
Year
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
2362009
Modeling and verification of reactive systems using Rebeca
M Sirjani, A Movaghar, A Shali, FS De Boer
Fundamenta Informaticae 63 (4), 385-410, 2004
2072004
Hybrid partial evaluation
A Shali, WR Cook
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
612011
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
322005
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
292004
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
212011
The actor foundry
M Astley, T Clausen, J Waldby, R Kumar, A Shali
Manual of the Actor Foundry, version 0.2. 0, 1999
211999
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
202005
Barrier synchronization pattern
RK Karmani, N Chen, BY Su, A Shali, R Johnson
Workshop on Parallel Programming Patterns (ParaPLOP), 2009
152009
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
122003
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
112004
Collective communication patterns
N Chen, RK Karmani, A Shali, BY Su, R Johnson
Workshop on Parallel Programming Patterns (ParaPLOP), 2009
102009
Model Checking in Rebeca.
M Sirjani, A Movaghar, H Iravanchi, MM Jaghoori, A Shali
PDPTA, 1819-1822, 2003
72003
Actor oriented programming in Chapel
A Shali, P CS380P, C Lin
University of Texas, 2010
42010
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
The system can't perform the operation now. Try again later.
Articles 1–20