Towards a GPGPU-parallel SPIN model checker. - Ezio Bartocci; Richard DeFrancisco; Scott A. Smolka (SPIN, 2014)

Model Checking Tap Withdrawal in C. Elegans. - Md. Ariful Islam; Richard DeFrancisco; Chuchu Fan; Radu Grosu; Sayan Mitra; Scott A. Smolka (HSB, 2015)

Swarm model checking on the GPU. - Richard DeFrancisco; Shenghsun Cho; Michael Ferdman; Scott A. Smolka (Int. J. Softw. Tools Technol. Transf., 2020)