R. Atkey and D. Sannella, Threadsafe: Static analysis for java concurrency, ECEASST, p.72, 2015.

S. Bensalem and K. Havelund, Dynamic Deadlock Analysis of Multi-threaded Programs, Hardware and Software Verification and Testing, pp.208-223, 2005.
DOI : 10.1007/11678779_15
URL : http://www.havelund.com/Publications/padtad05.pdf

M. Eslamimehr and J. Palsberg, Sherlock: scalable deadlock detection for concurrent programs, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.353-365, 2014.
DOI : 10.1145/1321631.1321746

A. Garcia and C. Laneve, Deadlock detection of java bytecode. submitted, 2016.

E. Giachino, N. Kobayashi, and C. Laneve, Deadlock Analysis of Unbounded Process Networks, Proceedings of 25th International Conference on Concurrency Theory CONCUR 2014, pp.63-77, 2014.
DOI : 10.1007/978-3-662-44584-6_6
URL : https://hal.archives-ouvertes.fr/hal-01091749

M. Naik, C. Park, K. Sen, and D. Gay, Effective static deadlock detection, 2009 IEEE 31st International Conference on Software Engineering, pp.386-396, 2009.
DOI : 10.1109/ICSE.2009.5070538
URL : http://berkeley.intel-research.net/dgay/pubs/09-icse-deadlock.pdf