Concepedia

Sriram Sankaranarayanan

SS

Statistics

Publications

69

Citations

3.4K

H-Index

32

Active since

2001

Affiliations

University of Colorado Boulder(Current)

University of Colorado System

Arizona State University

Princeton University

RWTH Aachen University

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

Publications per year

2001–2021

69

Publications

69

Non-linear loop invariant generation using Gröbner bases

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

Computing, Computer Science, Algorithms +16

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

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

Computing, Computer Science, Systems Engineering +8

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

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

Engineering, Computer Science, Systems Engineering +17

Reachability analysis for neural feedback systems using regressive polynomial rule inference

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

Computing, Computer Science, Mathematics +17

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

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

Computing, Systems Engineering, Dynamical Systems +16

1–5 of 69