Sriram Sankaranarayanan
Sriram Sankaranarayanan
Associate Professor of Computer Science, University of Colorado, Boulder
Verified email at colorado.edu - Homepage
TitleCited byYear
Linear invariant generation using non-linear constraint solving
MA Colón, S Sankaranarayanan, HB Sipma
International Conference on Computer Aided Verification, 420-432, 2003
3602003
Flow*: An analyzer for non-linear hybrid systems
X Chen, E Ábrahám, S Sankaranarayanan
International Conference on Computer Aided Verification, 258-263, 2013
3242013
Non-linear loop invariant generation using Gröbner bases
S Sankaranarayanan, HB Sipma, Z Manna
ACM SIGPLAN Notices 39 (1), 318-329, 2004
3162004
S-taliro: A tool for temporal logic falsification for hybrid systems
Y Annpureddy, C Liu, G Fainekos, S Sankaranarayanan
International Conference on Tools and Algorithms for the Construction and …, 2011
2682011
Scalable analysis of linear systems using mathematical programming
S Sankaranarayanan, HB Sipma, Z Manna
International Workshop on Verification, Model Checking, and Abstract …, 2005
2302005
LOLA: Runtime monitoring of synchronous systems
B d'Angelo, S Sankaranarayanan, C Sánchez, W Robinson, B Finkbeiner, ...
12th International Symposium on Temporal Representation and Reasoning (TIME …, 2005
1642005
Taylor model flowpipe construction for non-linear hybrid systems
X Chen, E Abraham, S Sankaranarayanan
2012 IEEE 33rd Real-Time Systems Symposium, 183-192, 2012
1632012
Fast and accurate static data-race detection for concurrent programs
V Kahlon, Y Yang, S Sankaranarayanan, A Gupta
International Conference on Computer Aided Verification, 226-239, 2007
121*2007
Constraint-based linear-relations analysis
S Sankaranarayanan, HB Sipma, Z Manna
International Static Analysis Symposium, 53-68, 2004
1172004
Constructing invariants for hybrid systems
S Sankaranarayanan, HB Sipma, Z Manna
International Workshop on Hybrid Systems: Computation and Control, 539-554, 2004
1152004
Probabilistic temporal logic falsification of cyber-physical systems
H Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A Gupta
ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 95, 2013
1102013
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
T Nghiem, S Sankaranarayanan, G Fainekos, F Ivancić, A Gupta, ...
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
962010
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths
S Sankaranarayanan, A Chakarov, S Gulwani
ACM SIGPLAN Notices 48 (6), 447-458, 2013
912013
Constructing invariants for hybrid systems
S Sankaranarayanan, HB Sipma, Z Manna
Formal Methods in System Design 32 (1), 25-55, 2008
912008
Collecting statistics over runtime executions
B Finkbeiner, S Sankaranarayanan, H Sipma
Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002
912002
Static analysis in disjunctive numerical domains
S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta
International Static Analysis Symposium, 3-17, 2006
882006
Simulation-guided lyapunov analysis for hybrid dynamical systems
J Kapinski, JV Deshmukh, S Sankaranarayanan, N Arechiga
Proceedings of the 17th international conference on Hybrid systems …, 2014
852014
Probabilistic program analysis with martingales
A Chakarov, S Sankaranarayanan
International Conference on Computer Aided Verification, 511-526, 2013
822013
Falsification of temporal properties of hybrid systems using the cross-entropy method
S Sankaranarayanan, G Fainekos
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
762012
Verification of automotive control applications using s-taliro
GE Fainekos, S Sankaranarayanan, K Ueda, H Yazarel
2012 American Control Conference (ACC), 3567-3572, 2012
752012
The system can't perform the operation now. Try again later.
Articles 1–20