Richard James DeFrancisco

Assistant Professor

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20142020

Research activity per year

If you made any changes in Pure these will be visible here soon.

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.
  • 6 Similar Profiles

Network

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

    1 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

    3 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

    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, Inc, 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

    19 Scopus citations
If you made any changes in Pure these will be visible here soon.