An Analytical Performance Evaluation for WSNs Using Loop-Free Bellman Ford Protocol. - Mohammad Baharloo; Reza Hajisheykhi; Mohammad Arjomand; Amir-Hossein Jahangir (AINA, 2009)

RACE: A Real-Time Scheduling Policy and Communication Architecture for Large-Scale Wireless Sensor Networks. - Kambiz Mizanian; Reza Hajisheykhi; Mohammad Baharloo; Amir-Hossein Jahangir (CNSR, 2009)

Modeling and analyzing timing faults in transaction level SystemC programs. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (NoCArc@MICRO, 2013)

Facilitating the design of fault tolerance in transaction level SystemC programs. - Ali Ebnenasir; Reza Hajisheykhi; Sandeep S. Kulkarni (Theor. Comput. Sci., 2013)

Knowledge-Based Automated Repair of Authentication Protocols. - Borzoo Bonakdarpour; Reza Hajisheykhi; Sandeep S. Kulkarni (FM, 2014)

Analysis of Permanent Faults in Transaction Level SystemC Models. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (ICDCS Workshops, 2014)

Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (SEFM, 2014)

UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (NFM, 2015)

Auditable Restoration of Distributed Programs. - Reza Hajisheykhi; Mohammad Roohitavaf; Sandeep S. Kulkarni (SRDS, 2015)

"Slow is Fast" for wireless sensor networks in the presence of message losses. - Reza Hajisheykhi; Ling Zhu 001; Mahesh Arumugam; Murat Demirbas; Sandeep S. Kulkarni (J. Parallel Distributed Comput., 2015)

A framework for verification of SystemC TLM programs with model slicing: a case study. - Reza Hajisheykhi; Mohammad Roohitavaf; Ali Ebnenasir; Sandeep S. Kulkarni (DAC, 2016)

Bounded Auditable Restoration of Distributed Systems. - Reza Hajisheykhi; Mohammad Roohitavaf; Sandeep S. Kulkarni (IEEE Trans. Computers, 2017)

A theory of integrating tamper evidence with stabilization. - Reza Hajisheykhi; Ali Ebnenasir; Sandeep S. Kulkarni (Sci. Comput. Program., 2018)

QoS and traffic aware greedy resource allocation in foggy internet of things. - Hamidreza Mahini; Reza Hajisheykhi; Mina Shahini (Int. J. Commun. Networks Distributed Syst., 2020)