| 2016 | DAC | A framework for verification of SystemC TLM programs with model slicing: a case study. | Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2015 | SRDS | Auditable Restoration of Distributed Programs. | Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni |
| 2014 | FM | Knowledge-Based Automated Repair of Authentication Protocols. | Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni |
| 2014 | SEFM | Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2013 | MICRO | Modeling and analyzing timing faults in transaction level SystemC programs. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2013 | SSS | Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
| 2012 | ICDCN | Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni |
| 2009 | AINA | An Analytical Performance Evaluation for WSNs Using Loop-Free Bellman Ford Protocol. | Mohammad Baharloo, Reza Hajisheykhi, Mohammad Arjomand, Amir-Hossein Jahangir |