Author:
Ahishakiye Faustin,Jarabo José Ignacio Requeno,Pun Violet Ka I,Stolz Volker
Publisher
Springer International Publishing
Reference30 articles.
1. Ahishakiye, F., Jarabo, J.I.R., Pun, K.I., Stolz, V.: Open data for banker example, December 2020. https://doi.org/10.5281/zenodo.4381982
2. Ahishakiye, F., Jarabo, J.I.R., Stolz, V.: Lock instrumentation tool (2020). https://github.com/selabhvl/coems-racechecker
3. Artho, C., Havelund, K., Biere, A.: High-level data races. Softw. Test. Verif. Reliab. 13(4), 207–227 (2003). https://doi.org/10.1002/stvr.281
4. Baumeister, J., Finkbeiner, B., Schwenger, M., Torfah, H.: FPGA stream-monitoring of real-time properties. ACM Trans. Embed. Comput. Syst. 18(5s) (2019). https://doi.org/10.1145/3358220
5. Binkert, N., et al.: The Gem5 simulator. SIGARCH Comput. Archit. News 39(2), 1–7 (2011). https://doi.org/10.1145/2024716.2024718
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献