Krishnaji Desai

According to our database, Krishnaji Desai authored at least 4 papers between 2009 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Distributed Safety Verification Using Vertex Centric Programming Model.

Adhish Singla, Krishnaji Desai, Suresh Purini, Venkatesh Choppella

Proceedings of the 15th International Symposium on Parallel and Distributed Computing, 2016

2014

Code Generation for Event-B.

Andreas Fürst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

Symbolic verification of timed asynchronous hardware protocols.

Krishnaji Desai, Kenneth S. Stevens, John O'Leary

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

2009

The Future of Formal Methods and GALS Design.

Kenneth S. Stevens, Daniel Gebhardt, JunBok You, Yang Xu, Vikas S. Vij, Shomit Das, Krishnaji Desai

Proceedings of the 4th International Workshop on the Application of Formal Methods for Globally Asynchronous and Locally Synchronous Design, 2009