AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sriram Sankaranarayanan

Sriram Sankaranarayanan

University of Colorado Boulder - Boulder / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1774181
person_outline Sriram Sankaranarayanan's MOST POPULAR ARTICLES
1-) Flow*: An analyzer for non-linear hybrid systems International Conference on Computer Aided Verification, 258-263, 2013
2-) S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems International Conference on Tools and Algorithms for the Construction and …, 2011
3-) Linear invariant generation using non-linear constraint solving International Conference on Computer Aided Verification, 420-432, 2003
4-) Output range analysis for deep feedforward neural networks NASA Formal Methods Symposium, 121-138, 2018
5-) Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 2018