My publications

The publications are grouped by year. You may also find my profile on Google Scholar.


N. Koval, D. Tsitelov and R. Elizarov (2017) Dl-Check: dynamic potential deadlock detection tool for Java programs
In: Itsykson V., Scedrov A., Zakharov V. (eds) Tools and Methods of Program Analysis. TMPA 2017. Communications in Computer and Information Science, vol 779. Springer, Cham