Richard DeFrancisco

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 2

Top Topics

Formal Specification

Temporal Properties

Finite State Machines

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Swarm model checking on the GPU. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Swarm Model Checking on the GPU. SPIN (2019)
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
Model Checking Tap Withdrawal in C. Elegans. HSB (2015)
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
Model Checking Tap Withdrawal in C. Elegans. CoRR (2015)
Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka
Towards a GPGPU-parallel SPIN model checker. SPIN (2014)