Krishnaji Desai

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Code Generation

Hardware Designs

Discussion Forums

Top Venues

Publications

Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella
Distributed Safety Verification Using Vertex Centric Programming Model. ISPDC (2016)
Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki
Code Generation for Event-B. IFM (2014)
Krishnaji Desai, Kenneth S. Stevens, John O'Leary
Symbolic verification of timed asynchronous hardware protocols. ISVLSI (2013)
Kenneth S. Stevens, Daniel Gebhardt, JunBok You, Yang Xu, Vikas S. Vij, Shomit Das, Krishnaji Desai
The Future of Formal Methods and GALS Design. Electron. Notes Theor. Comput. Sci. 245 (2009)