The Future of Formal Methods and GALS Design. - Kenneth S. Stevens; Daniel Gebhardt; JunBok You; Yang Xu 036; Vikas S. Vij; Shomit Das; Krishnaji Desai (FMGALS@DATE, 2009)

Symbolic verification of timed asynchronous hardware protocols. - Krishnaji Desai; Kenneth S. Stevens; John O'Leary (ISVLSI, 2013)

Code Generation for Event-B. - Andreas Fürst; Thai Son Hoang; David A. Basin; Krishnaji Desai; Naoto Sato; Kunihiko Miyazaki (IFM, 2014)

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