Papers, Presentations and Reports Authored by Ankush Desai
- 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.
- DRONA: A Framework for Safe Distributed Mobile Robotics, Ankush Desai, 30, March, 2017.
Posted on 18 Jan 2017.
- 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.
- 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.
- Approximate Synchrony: An Abstraction for Distributed Time-Synchronized Systems, Ankush Desai, 11, September, 2014.
Posted on 29 Jan 2014.
- Modelling and Analysis Of IEEE 1588, Ankush Desai, Sanjit Seshia, David Broman, John Eidson, 5, November, 2013.
Posted on 2 Nov 2013.
Counts
- 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. |
