Author:
Bensalem Saddek,Griesmayer Andreas,Legay Axel,Nguyen Thanh-Hung,Peled Doron
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A User Mode Deadlock Detection Method for Linux Operating System;2023 3rd International Symposium on Computer Technology and Information Science (ISCTIS);2023-07-07
2. Related Work on Deadlock and Termination Detection Techniques;Studies in Computational Intelligence;2019-03-17
3. Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking;The Computer Journal;2016-12-20
4. Sound static deadlock analysis for C/Pthreads;Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering;2016-08-25
5. Monitoring and visualizing adaptation of autonomic systems at runtime;Proceedings of the 30th Annual ACM Symposium on Applied Computing;2015-04-13