photo of Ankush Desai
Ankush Desai
    University of California, Berkeley

Home page:

Papers, Presentations and Reports Authored by Ankush Desai

  1. Combining Model Checking and Runtime Verification for Safe Robotics, Ankush Desai, Tommaso Dreossi, Sanjit Seshia, The 17th International Conference on Runtime Verification, 2017. Posted on 24 May 2017.
  2. DRONA: A Framework for Safe Distributed Mobile Robotics, Ankush Desai, 30, March, 2017. Posted on 18 Jan 2017.
  3. Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems, Ankush Desai, Sanjit Seshia, Shaz Qadeer, David Broman, Eidson John, 27th International Conference on Computer Aided Verification, 429-448, 18, July, 2015. Posted on 29 May 2015.
  4. Systematic Testing of Asynchronous Reactive Systems, Ankush Desai, Shaz Qadeer, Sanjit Seshia, ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2015, August, 2015. Posted on 11 May 2015.
  5. Approximate Synchrony: An Abstraction for Distributed Time-Synchronized Systems, Ankush Desai, 11, September, 2014. Posted on 29 Jan 2014.
  6. Modelling and Analysis Of IEEE 1588, Ankush Desai, Sanjit Seshia, David Broman, John Eidson, 5, November, 2013. Posted on 2 Nov 2013.


  • 5 Conference papers.
  • 2 Talk or presentations.
  • 2 Tutorials.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.