Concepedia

Sriram Sankaranarayanan

SS

Statistics

Publications

68

Citations

3.3K

H-Index

32

Active since

2001

Affiliations

University of Colorado Boulder(Current)

University of Colorado System

Arizona State University

Princeton University

Stanford University

Sriram Sankaranarayanan is an author at University of Colorado Boulder specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationVerificationSoftware AnalysisProgram AnalysisComputer EngineeringAutomated Reasoning

Publications per year

2001–2021

68

Publications

68

Non-linear loop invariant generation using Gröbner bases

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna · 2004 · 250 citations

Mathematical Programming, Engineering, Verification +19

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan · 2012 · 194 citations

Numerical Analysis, Non-linear Hybrid Systems, Numerical Method For Partial Differential Equation +13

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan et al. · ACM Transactions on Embedded Computing Systems · 2013 · 155 citations

Engineering, Verification, Complex Systems +17

Reachability analysis for neural feedback systems using regressive polynomial rule inference

Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan · 2019 · 154 citations

Artificial Intelligence, Reachability Analysis, Engineering +14

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

Truong X. Nghiem, Sriram Sankaranarayanan, Georgios Fainekos et al. · 2010 · 138 citations

Engineering, Reachability Problem, Verification +23

1–5 of 68