Aditya Zutshi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2012–2015
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | EMSOFT | Requirements driven falsification with coverage metrics. | Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos |
| 2014 | EMSOFT | Multiple shooting, CEGAR-based falsification for hybrid systems. | Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski |
| 2012 | CAV | Timed Relational Abstractions for Sampled Data Control Systems. | Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari |