Reza Hajisheykhi

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 4

Top Topics

Dempster Shafer

Distributed Systems

Fault Tolerance

Top Venues

IEEE Trans. Computers

Publications

Hamidreza Mahini, Reza Hajisheykhi, Mina Shahini
QoS and traffic aware greedy resource allocation in foggy internet of things. Int. J. Commun. Networks Distributed Syst. 25 (1) (2020)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
A theory of integrating tamper evidence with stabilization. Sci. Comput. Program. 160 (2018)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Bounded Auditable Restoration of Distributed Systems. IEEE Trans. Computers 66 (2) (2017)
Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni
A framework for verification of SystemC TLM programs with model slicing: a case study. DAC (2016)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata. NFM (2015)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Auditable Restoration of Distributed Programs. CoRR (2015)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
A Theory of Integrating Tamper Evidence with Stabilization. FSEN (2015)
Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni
Auditable Restoration of Distributed Programs. SRDS (2015)
Reza Hajisheykhi, Ling Zhu, Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni
"Slow is Fast" for wireless sensor networks in the presence of message losses. J. Parallel Distributed Comput. 77 (2015)
Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni
Knowledge-Based Automated Repair of Authentication Protocols. FM (2014)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. SEFM (2014)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Analysis of Permanent Faults in Transaction Level SystemC Models. ICDCS Workshops (2014)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Modeling and analyzing timing faults in transaction level SystemC programs. NoCArc@MICRO (2013)
Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. SSS (2013)
Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
Facilitating the design of fault tolerance in transaction level SystemC programs. Theor. Comput. Sci. 496 (2013)
Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni
Facilitating the Design of Fault Tolerance in Transaction Level SystemC Programs. ICDCN (2012)
Kambiz Mizanian, Reza Hajisheykhi, Mohammad Baharloo, Amir-Hossein Jahangir
RACE: A Real-Time Scheduling Policy and Communication Architecture for Large-Scale Wireless Sensor Networks. CNSR (2009)
Mohammad Baharloo, Reza Hajisheykhi, Mohammad Arjomand, Amir-Hossein Jahangir
An Analytical Performance Evaluation for WSNs Using Loop-Free Bellman Ford Protocol. AINA (2009)