| emsoft | participants

Ashish Tiwari

Program Committees:
2014
.

EMSOFT 2013: 13th International Conference on Embedded Software

Time-Aware Relational Abstractions for Hybrid Systems

Sergio Mover, Alessandro Cimatti, Ashish Tiwari, and Stefano Tonetta

Safety Verification for Linear Systems

Parasara Sridhar Duggirala and Ashish Tiwari

EMSOFT 2011: 11th International Conference on Embedded Software

Synthesis of Optimal Switching Logic for Hybrid Systems

Susmit Jha, Sanjit A. Seshia, and Ashish Tiwari

EMSOFT 2010: 10th International Conference on Embedded Software

Switching Logic Synthesis for Reachability

Ankur Taly and Ashish Tiwari