Richard DeFrancisco

According to our database, Richard DeFrancisco authored at least 3 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Swarm model checking on the GPU.

Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka

Int. J. Softw. Tools Technol. Transf., 2020

2015

Model Checking Tap Withdrawal in C. Elegans.

Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014

Towards a GPGPU-parallel SPIN model checker.

Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014