Richard James DeFrancisco

Assistant Professor

Calculated based on number of publications stored in Pure and citations from Scopus
20142020

Research activity per year

Search results

  • 2020

    Swarm model checking on the GPU

    DeFrancisco, R., Cho, S., Ferdman, M. & Smolka, S. A., Oct 1 2020, In: International Journal on Software Tools for Technology Transfer. 22, 5, p. 583-599 17 p.

    Research output: Contribution to journalArticlepeer-review

    13 Scopus citations
  • 2019

    Swarm Model Checking on the GPU

    DeFrancisco, R., Cho, S., Ferdman, M. & Smolka, S. A., 2019, Model Checking Software - 26th International Symposium, SPIN 2019, Proceedings. Biondi, F., Given-Wilson, T. & Legay, A. (eds.). Springer, p. 94-113 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11636 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • 2015

    Model checking tap withdrawal in c. Elegans

    Islam, M. A., De Francisco, R., Fan, C., Grosu, R., Mitra, S. & Smolka, S. A., 2015, Hybrid Systems Biology - 4th International Workshop, HSB 2015, Revised Selected Papers. Abate, A. & Šafránek, D. (eds.). Springer Verlag, p. 195-210 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9271).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    2 Scopus citations
  • 2014

    Towards a GPGPU-parallel SPIN model checker

    Bartocci, E., DeFrancisco, R. & Smolka, S. A., Jul 21 2014, 2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings. Association for Computing Machinery, p. 87-96 10 p. (2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    24 Scopus citations