| emsoft | participants

Sriram Sankaranarayanan

Program Committees:
2016, 2017, 2018 (cochair), and 2019 (chair)
.

EMSOFT 2017: 17th International Conference on Embedded Software

Compositional Relational Abstraction for Nonlinear Hybrid Systems

Xin Chen, Sergio Mover, and Sriram Sankaranarayanan

EMSOFT 2016: 16th International Conference on Embedded Software

Robust Controller Synthesis of Switched Systems using Counterexample Guided Framework

Hadi Ravanbakhsh and Sriram Sankaranarayanan

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

Infinite Horizon Safety Controller Synthesis Through Disjunctive Polyhedral Abstract Interpretation

Hadi Ravanbakhsh and Sriram Sankaranarayanan

Multiple Shooting, CEGAR-Based Falsification for Hybrid Systems

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

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Refining the Control Structure of Loops using Static Analysis

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta

EMSOFT 2003: 3rd International Conference on Embedded Software

Event Correlation: Language and Semantics

César Sánchez, Sriram Sankaranarayanan, Henny B. Sipma, Ting Zhang, David L. Dill, and Zohar Manna