Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24
2. Improving the Efficiency of Deadlock Detection in MPI Programs Through Trace Compression;IEEE Transactions on Parallel and Distributed Systems;2023-01-01
3. Symbolic Verification of Message Signatures in MPI;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
4. A predictive analysis for detecting deadlock in MPI programs;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
5. Symbolic verification of message passing interface programs;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27