| emsoft | participants

Aditya Zutshi

EMSOFT 2015: 15th International Conference on Embedded Software

Requirements Driven Falsification with Coverage Metrics

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, and Georgios Fainekos

EMSOFT 2014: 14th International Conference on Embedded Software

Multiple Shooting, CEGAR-Based Falsification for Hybrid Systems

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, and James Kapinski