Amin Shali
Amin Shali
Verifierad e-postadress på cs.utexas.edu
TitelCiteras avÅr
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
2032009
Modeling and verification of reactive systems using Rebeca
M Sirjani, A Movaghar, A Shali, FS De Boer
Fundamenta Informaticae 63 (4), 385-410, 2004
1622004
Hybrid partial evaluation
A Shali, WR Cook
ACM SIGPLAN Notices 46 (10), 375-390, 2011
582011
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.
M Sirjani, A Movaghar, A Shali, FS de Boer
J. UCS 11 (6), 1054-1082, 2005
302005
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
262004
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), 19, 2010
202010
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
182005
Barrier synchronization pattern
RK Karmani, N Chen, BY Su, A Shali, R Johnson
University of California, Berkeley, 2009
132009
Model Checking Rebeca Code 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
82009
Model Checking in Rebeca.
M Sirjani, A Movaghar, H Iravanchi, MM Jaghoori, A Shali
PDPTA, 1819-1822, 2003
82003
Actor oriented programming in Chapel
A Shali, P CS380P, C Lin
University of Texas, 2010
22010
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, FS deBoer, A Movaghar, A Shali
Software Engineering [SEN], 2005
2005
Workshop Publications, Demonstrations, and Posters
BS Pattern, R Karmani, N Chen, BY Su, A Shali
Towards Fairness Improvement in Wireless Sensor Networks using a Simple Adaptive Learning Algorithm
E Valavi, A Shali, A Dadlani, A Khonsari
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20