Richard James DeFrancisco

Assistant Professor

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

Research activity per year

Fingerprint

Dive into the research topics where Richard James DeFrancisco is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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

    11 Scopus citations
  • 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
  • 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
  • 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

    22 Scopus citations