Richard James DeFrancisco

View Scopus Profile

Richard James DeFrancisco

Assistant Professor

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
View full fingerprint
  • 3 Conference contribution
  • 1 Article

  • 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 journal › Article › peer-review

    20   Link opens in a new tab 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 proceeding › Conference contribution

    5   Link opens in a new tab 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 proceeding › Conference contribution

    2   Link opens in a new tab 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 proceeding › Conference contribution

    29   Link opens in a new tab Scopus citations