Samira Tasharofi
Samira Tasharofi
illinois.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Why do scala developers mix the actor model with other concurrency models?
S Tasharofi, P Dinges, RE Johnson
European Conference on Object-Oriented Programming, 302-326, 2013
972013
TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs
S Tasharofi, RK Karmani, S Lauterburg, A Legay, D Marinov, G Agha
Formal Techniques for Distributed Systems, 219-234, 2012
752012
Creating a feasible corpus for Persian POS tagging
F Oroumchian, S Tasharofi, H Amiri, H Hojjat, F Raja
Department of Electrical and Computer Engineering, University of Tehran, 2006
422006
Bita: Coverage-guided, automatic testing of actor programs
S Tasharofi, M Pradel, Y Lin, R Johnson
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
352013
Process patterns for agile methodologies
S Tasharofi, R Ramsin
Working Conference on Method Engineering, 222-237, 2007
312007
Modeling web service interactions using the coordination language Reo
S Tasharofi, M Vakilian, RZ Moghaddam, M Sirjani
International Workshop on Web Services and Formal Methods, 108-123, 2007
252007
Evaluation of part of speech tagging on Persian text
F Raja, H Amiri, S Tasharofi, M Sarmadi, H Hojjat, F Oroumchian
252007
Near neighborhood allocation (nna): A novel dynamic data allocation algorithm in ddb
R Basseda, S Tasharofi, M Rahgozar
proceedings of 11th Computer Society of Iran Computer Conference (CSICC2006 …, 2006
212006
Evaluation of statistical part of speech tagging of Persian text
S Tasharofi, F Raja, F Oroumchian, M Rahgozar
2007 9th International Symposium on Signal Processing and Its Applications, 1-4, 2007
162007
Automated mapping of Reo circuits to constraint automata
F Ghassemi, S Tasharofi, M Sirjani
Electronic Notes in Theoretical Computer Science 159, 99-115, 2006
112006
Formal modeling and conformance validation for WS-CDL using Reo and CASM
S Tasharofi, M Sirjani
Electronic Notes in Theoretical Computer Science 229 (2), 155-174, 2009
102009
Setac: A framework for phased deterministic testing of scala actor programs
S Tasharofi, M Gligoric, D Marinov, R Johnson
Scala Days, 2011
92011
Keshmesh: a tool for detecting and fixing java concurrency bug patterns
M Vakilian, S Negara, S Tasharofi, RE Johnson
Proceedings of the ACM international conference companion on Object oriented …, 2011
82011
Data allocation in distributed database systems
R Basseda, S Tasharofi
Technical Report No. DBRG. RB-ST 50715, 2005, 2005
82005
Efficient testing of actor programs with non-deterministic behavior
S Tasharofi
72013
Design and implementation of an environment for simulation and evaluation of data allocation models in distributed database systems
R Basseda, S Tasharofi
University of Tehran, Database Research Group, Tech. Rep. DBRG. RB-ST. A 50701, 2005
72005
A survey of part of speech tagging in Persian
H Amiri, F Raja, M Sarmadi, S Tasharofi, H Hojjat, F Oroumchian
Data base Research Group, 2007
62007
Statistical POS tagging experiments on Persian text
F Raja, S Tasharofi, F Oroumchian
52007
Generating test cases for constraint automata by genetic symbiosis algorithm. In?, editor, Formal Methods and Software Engineering, volume 4260 of Lecture Notes in Computer Science
S Tasharofi, S Ansari, M Sirjani
52006
Patterns in Testing Concurrent Programs with Non-deterministic Behaviors
S Tasharofi, R Johnson
32011
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20