( en | de | ru )

 

Disambiguation of "Sankaranarayanan, Sriram"

Author of the publication

copydeleteadd this publication to your clipboard
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.

, , and . RV, volume 11757 of Lecture Notes in Computer Science, page 27-47. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sriram Rallabhandi

Sundararajan Sankaranarayanan

Sriram Varadarajan

Sriram Subramanian

Sriram Ayyaswamy

 

Other publications of authors with the same name

On the revision problem of specification automata., , and . ICRA, page 5171-5176. IEEE, (2012)Counterexample-guided stabilization of switched systems using control lyapunov functions., and . HSCC, page 297-298. ACM, (2015)Learning control lyapunov functions from counterexamples and demonstrations., and . Auton. Robots, 43 (2): 275-307 (2019)Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis., , , , , , , and . CC, volume 7210 of Lecture Notes in Computer Science, page 144-164. Springer, (2012)Under-approximate flowpipes for non-linear continuous systems., , and . FMCAD, page 59-66. IEEE, (2014)Access Nets: Modeling Access to Physical Spaces., , and . VMCAI, volume 6538 of Lecture Notes in Computer Science, page 184-198. Springer, (2011)Efficient Strongly Relational Polyhedral Analysis., , , and . VMCAI, volume 3855 of Lecture Notes in Computer Science, page 111-125. Springer, (2006)Scalable Analysis of Linear Systems Using Mathematical Programming., , and . VMCAI, volume 3385 of Lecture Notes in Computer Science, page 25-41. Springer, (2005)Constraint-Based Linear-Relations Analysis., , and . SAS, volume 3148 of Lecture Notes in Computer Science, page 53-68. Springer, (2004)Model-Based Dependability Analysis of Programmable Drug Infusion Pumps., , and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 317-334. Springer, (2011)