The Java Pathfinder Workshop 2022. - Elena Sherman; Yannic Noller; Cyrille Artho; Franck van Breugel; Anto Nanah Ji; John Kellerman; Parssa Khazra; Filip Kliber; Gaurang Kudale; Pavel Parízek; Corina S. Pasareanu; Ron Pressler; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. - Matt Walker; Parssa Khazra; Anto Nanah Ji; Hongru Wang 006; Franck van Breugel (ACM SIGSOFT Softw. Eng. Notes, 2023)

Explainability is a Game for Probabilistic Bisimilarity Distances. - Emily Vlasman; Anto Nanah Ji; James Worrell 001; Franck van Breugel (CONCUR, 2025)