Reza Hajisheykhi
Orcid: 0000-0002-0396-9701
According to our database1,
Reza Hajisheykhi
authored at least 14 papers
between 2009 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Int. J. Commun. Networks Distributed Syst., 2020
2018
Sci. Comput. Program., 2018
2017
2016
A framework for verification of SystemC TLM programs with model slicing: a case study.
Proceedings of the 53rd Annual Design Automation Conference, 2016
2015
J. Parallel Distributed Comput., 2015
Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems, 2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
2014
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014
Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014
Proceedings of the FM 2014: Formal Methods, 2014
2013
Theor. Comput. Sci., 2013
Proceedings of the Network on Chip Architectures, 2013
2009
RACE: A Real-Time Scheduling Policy and Communication Architecture for Large-Scale Wireless Sensor Networks.
Proceedings of the 7th Annual Conference on Communication Networks and Services Research, 2009
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009