| RACE: a real-time scheduling policy and communication architecture for large-scale wireless sensor networks K Mizanian, R Hajisheykhi, M Baharloo, AH Jahangir 2009 Seventh Annual Communication Networks and Services Research Conference …, 2009 | 34 | 2009 |
| A cross layered scheme for broadcasting at intersections in vehicular ad hoc networks A Nasri, M Fathy, R Hajisheykhi 2009 International Conference on Future Networks, 13-17, 2009 | 15 | 2009 |
| Facilitating the design of fault tolerance in transaction level SystemC programs A Ebnenasir, R Hajisheykhi, S Kulkarni Theoretical Computer Science 496, 50–68, 2013 | 9 | 2013 |
| Facilitating the design of fault tolerance in transaction level SystemC programs A Ebnenasir, R Hajisheykhi, SS Kulkarni Theoretical Computer Science 496, 50-68, 2013 | 9 | 2013 |
| QoS and traffic aware greedy resource allocation in foggy internet of things H Mahini, R Hajisheykhi, M Shahini International Journal of Communication Networks and Distributed Systems 25 …, 2020 | 7 | 2020 |
| A framework for verification of SystemC TLM programs with model slicing: A case study R Hajisheykhi, M Roohitavaf, A Ebnenasir, S Kulkarni Proceedings of the 53rd Annual Design Automation Conference, 1-6, 2016 | 6 | 2016 |
| Knowledge-based automated repair of authentication protocols B Bonakdarpour, R Hajisheykhi, SS Kulkarni FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 6 | 2014 |
| An analytical performance evaluation for WSNs using loop-free Bellman Ford protocol M Baharloo, R Hajisheykhi, M Arjomand, AH Jahangir 2009 International Conference on Advanced Information Networking and …, 2009 | 6 | 2009 |
| UFIT: A tool for modeling faults in UPPAAL timed automata R Hajisheykhi, A Ebnenasir, SS Kulkarni NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA …, 2015 | 5 | 2015 |
| Bounded auditable restoration of distributed systems R Hajisheykhi, M Roohitavaf, SS Kulkarni IEEE Transactions on Computers 66 (2), 240-255, 2016 | 4 | 2016 |
| Auditable restoration of distributed programs R Hajisheykhi, M Roohitavaf, SS Kulkarni 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), 37-46, 2015 | 3 | 2015 |
| Modeling and analyzing timing faults in transaction level systemc programs R Hajisheykhi, A Ebnenasir, S Kulkarni Proceedings of the Sixth International Workshop on Network on Chip …, 2013 | 3 | 2013 |
| Facilitating the design of fault tolerance in transaction level systemc programs A Ebnenasir, R Hajisheykhi, SS Kulkarni Distributed Computing and Networking: 13th International Conference, ICDCN …, 2012 | 3 | 2012 |
| Analysis of permanent faults in transaction level systemc models R Hajisheykhi, A Ebnenasir, SS Kulkarni 2014 IEEE 34th International Conference on Distributed Computing Systems …, 2014 | 2 | 2014 |
| Tamper-evident stabilization R Hajisheykhi, A Ebnenasir, S Kulkarni Technical Report MSU-CSE-14-4, 2014 | 2 | 2014 |
| Evaluating the effect of faults in systemc tlm models using uppaal R Hajisheykhi, A Ebnenasir, SS Kulkarni Software Engineering and Formal Methods: 12th International Conference, SEFM …, 2014 | 2 | 2014 |
| A Theory of Integrating Tamper Evidence with Stabilization R Hajisheykhi, A Ebnenasir, SS Kulkarni Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015 | 1 | 2015 |
| A theory of integrating tamper evidence with stabilization R Hajisheykhi, A Ebnenasir, SS Kulkarni Science of Computer Programming 160, 93-114, 2018 | | 2018 |
| A framework for verification of transaction level models in systemc R Hajisheykhi Michigan State University, 2016 | | 2016 |
| “Slow is Fast” for wireless sensor networks in the presence of message losses R Hajisheykhi, L Zhu, M Arumugam, M Demirbas, S Kulkarni Journal of Parallel and Distributed Computing 77, 41-57, 2015 | | 2015 |
Sandeep KulkarniMichigan State UniversityVerified email at msu.edu
