| 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 |
| 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 |
| 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 |
| 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 |
| Data allocation in distributed database systems R Basseda, S Tasharofi Technical Report No. DBRG. RB-ST 50715, 2005, 2005 | 8 | 2005 |
| Data allocation in distributed database systems S Tasharofi, R Basseda University of Tehran, Database Research Group, Tech. Rep. DBRG. RBST. A 50715, 0 | 1 | |
| Data Allocation in Distributed Database Systems Technical Report 2 S Tasharofi, R Basseda | | |
| 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 |
| Effect of annealing cycle on drawability of cold rolled steel sheet S Graha | | 1995 |
| Efficient testing of actor programs with non-deterministic behaviors S Tasharofi University of Illinois at Urbana-Champaign, 2013 | 7 | 2013 |
| 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 |
| 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 |
| 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 |
| 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 |
| Improved Dynamic Partial-Order Reduction for Asynchronous Message-Passing Programs RK Karmani, S Tasharofi, S Lauterburg, D Marinov, G Agha | | |
| 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 |
| Keshmesh: Bringing Advanced Static Analysis to Concurrency Bug Pattern Detectors M Vakilian, S Negara, S Tasharofi, RE Johnson | 1 | 2013 |
| Modeling Basic Two Phase Locking Distributed Database Concurrency Control Algorithm Using Rebeca R Basseda, M Rahgozar | | |
| 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 |
