Author:
Agarwal R.,Bensalem S.,Farchi E.,Havelund K.,Nir-Buchbinder Y.,Stoller S. D.,Ur S.,Wang L.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Petri Net Unfolding-Based Detection and Replay of Program Deadlocks;IEEE Access;2024
2. TDB: Breaking All Hop-Constrained Cycles in Billion-Scale Directed Graphs;2023 IEEE 39th International Conference on Data Engineering (ICDE);2023-04
3. Runtime Verification of Kotlin Coroutines;Runtime Verification;2022
4. Sound Predictive Atomicity Violation Detection§;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
5. DSPN: Deadlock Detection and Solutions of Reachability Graphs for Petri Nets;2021 3rd International Conference on Artificial Intelligence and Advanced Manufacture (AIAM);2021-10