Samira Tasharofi
Cited by
Cited by
Why do scala developers mix the actor model with other concurrency models?
S Tasharofi, P Dinges, RE Johnson
ECOOP 2013–Object-Oriented Programming: 27th European Conference …, 2013
TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs
S Tasharofi, RK Karmani, S Lauterburg, A Legay, D Marinov, G Agha
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
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
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
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
Process patterns for agile methodologies
S Tasharofi, R Ramsin
Working Conference on Method Engineering, 222-237, 2007
Modeling web service interactions using the coordination language reo
S Tasharofi, M Vakilian, R Zilouchian Moghaddam, M Sirjani
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008
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
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
Automated mapping of Reo circuits to constraint automata
F Ghassemi, S Tasharofi, M Sirjani
Electronic Notes in Theoretical Computer Science 159, 99-115, 2006
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
Setac: A framework for phased deterministic testing of scala actor programs
S Tasharofi, M Gligoric, D Marinov, R Johnson
Scala Days, 2011
Data allocation in distributed database systems
R Basseda, S Tasharofi
Technical Report No. DBRG. RB-ST 50715, 2005, 2005
Efficient testing of actor programs with non-deterministic behaviors
S Tasharofi
University of Illinois at Urbana-Champaign, 2013
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
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
Statistical POS tagging experiments on Persian text
F Raja, S Tasharofi, F Oroumchian
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
Patterns in Testing Concurrent Programs with Non-deterministic Behaviors
S Tasharofi, R Johnson
Generating test cases for constraint automata by genetic symbiosis algorithm
S Tasharofi, S Ansari, M Sirjani
Formal Methods and Software Engineering: 8th International Conference on …, 2006
The system can't perform the operation now. Try again later.
Articles 1–20