| 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 | 132 | 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 | 99 | 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 | 60 | 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 | 55 | 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 | 42 | 2013 |
| Process patterns for agile methodologies S Tasharofi, R Ramsin Working Conference on Method Engineering, 222-237, 2007 | 38 | 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 | 28 | 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 | 24 | 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 | 12 | 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 | 12 | 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 | 10 | 2011 |
| Setac: A framework for phased deterministic testing of scala actor programs S Tasharofi, M Gligoric, D Marinov, R Johnson Scala Days, 2011 | 8 | 2011 |
| Data allocation in distributed database systems R Basseda, S Tasharofi Technical Report No. DBRG. RB-ST 50715, 2005, 2005 | 8 | 2005 |
| Efficient testing of actor programs with non-deterministic behaviors S Tasharofi University of Illinois at Urbana-Champaign, 2013 | 7 | 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 | 7 | 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 | 7 | 2005 |
| Statistical POS tagging experiments on Persian text F Raja, S Tasharofi, F Oroumchian | 6 | 2007 |
| 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 | 5 | 2006 |
| Patterns in Testing Concurrent Programs with Non-deterministic Behaviors S Tasharofi, R Johnson | 3 | 2011 |
| 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 | 3 | 2006 |
