Richard DeFrancisco

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Swarm model checking on the GPU.
Int. J. Softw. Tools Technol. Transf., 2020

2015
Model Checking Tap Withdrawal in C. Elegans.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014
Towards a GPGPU-parallel SPIN model checker.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014


  Loading...