Distributed Safety Verification Using Vertex Centric Programming Model. - Adhish Singla; Krishnaji Desai; Suresh Purini; Venkatesh Choppella (ISPDC, 2016)

Model Checking as a Service using Dynamic Resource Scaling. - Surya Teja Palavalasa; Yuvraj Singh; Adhish Singla; Suresh Purini; Venkatesh Choppella (HiPC, 2020)