Samira Tasharofi
According to our database1,
Samira Tasharofi
authored at least 11 papers
between 2005 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
PhD thesis, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013
2012
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs.
Proceedings of the Formal Techniques for Distributed Systems, 2012
2011
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
2008
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008
2007
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Proceedings of the 9th International Symposium on Signal Processing and Its Applications, 2007
Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007
2006
Proceedings of the Formal Methods and Software Engineering, 2006
2005
Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005