Reza Hajisheykhi

According to our database, Reza Hajisheykhi authored at least 14 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

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

2018

A theory of integrating tamper evidence with stabilization.

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni

Sci. Comput. Program., 2018

2017

Bounded Auditable Restoration of Distributed Systems.

Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni

IEEE Trans. Computers, 2017

2016

A framework for verification of SystemC TLM programs with model slicing: a case study.

Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni

Proceedings of the 53rd Annual Design Automation Conference, 2016

2015

"Slow is Fast" for wireless sensor networks in the presence of message losses.

Reza Hajisheykhi, Ling Zhu, Mahesh Arumugam, Murat Demirbas, Sandeep S. Kulkarni

J. Parallel Distributed Comput., 2015

Auditable Restoration of Distributed Programs.

Reza Hajisheykhi, Mohammad Roohitavaf, Sandeep S. Kulkarni

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015

UFIT: A Tool for Modeling Faults in UPPAAL Timed Automata.

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL.

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Analysis of Permanent Faults in Transaction Level SystemC Models.

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni

Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014

Knowledge-Based Automated Repair of Authentication Protocols.

Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni

Proceedings of the FM 2014: Formal Methods, 2014

2013

Facilitating the design of fault tolerance in transaction level SystemC programs.

Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni

Theor. Comput. Sci., 2013

Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs.

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

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

Proceedings of the 7th Annual Conference on Communication Networks and Services Research, 2009

An Analytical Performance Evaluation for WSNs Using Loop-Free Bellman Ford Protocol.

Mohammad Baharloo, Reza Hajisheykhi, Mohammad Arjomand, Amir-Hossein Jahangir

Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009