Automated Mapping of Reo Circuits to Constraint Automata. - Fatemeh Ghassemi; Samira Tasharofi; Marjan Sirjani (FSEN, 2005)

Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. - Samira Tasharofi; Sepand Ansari; Marjan Sirjani (ICFEM, 2006)

Process Patterns for Agile Methodologies. - Samira Tasharofi; Raman Ramsin (Situational Method Engineering, 2007)

Evaluation of statistical part of speech tagging of persian text. - Samira Tasharofi; Fahimeh Raja; Farhad Oroumchian; Masoud Rahgozar (ISSPA, 2007)

Modeling Web Service Interactions Using the Coordination Language Reo. - Samira Tasharofi; Mohsen Vakilian; Roshanak Zilouchian Moghaddam; Marjan Sirjani (WS-FM, 2007)

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. - Samira Tasharofi; Marjan Sirjani (FOCLASA@ICALP, 2008)

Keshmesh: a tool for detecting and fixing java concurrency bug patterns. - Mohsen Vakilian; Stas Negara; Samira Tasharofi; Ralph E. Johnson (OOPSLA Companion, 2011)

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. - Samira Tasharofi; Rajesh K. Karmani; Steven Lauterburg; Axel Legay; Darko Marinov; Gul Agha (FMOODS/FORTE, 2012)

Why Do Scala Developers Mix the Actor Model with other Concurrency Models? - Samira Tasharofi; Peter Dinges; Ralph E. Johnson (ECOOP, 2013)

Bita: Coverage-guided, automatic testing of actor programs. - Samira Tasharofi; Michael Pradel; Yu Lin; Ralph E. Johnson (ASE, 2013)

Efficient testing of actor programs with non-deterministic behaviors - Samira Tasharofi (2013)