Richard DeFrancisco

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

Collaborative distances:

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

2019

Swarm Model Checking on the GPU.

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

Proceedings of the Model Checking Software - 26th International Symposium, 2019

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