Reza Hajisheykhi

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