| Flow*: An analyzer for non-linear hybrid systems X Chen, E Ábrahám, S Sankaranarayanan International Conference on Computer Aided Verification, 258-263, 2013 | 385 | 2013 |
| Linear invariant generation using non-linear constraint solving MA Colón, S Sankaranarayanan, HB Sipma International Conference on Computer Aided Verification, 420-432, 2003 | 384 | 2003 |
| Non-linear loop invariant generation using Gröbner bases S Sankaranarayanan, HB Sipma, Z Manna Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of …, 2004 | 336 | 2004 |
| 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 | 324 | 2011 |
| Scalable analysis of linear systems using mathematical programming S Sankaranarayanan, HB Sipma, Z Manna International Workshop on Verification, Model Checking, and Abstract …, 2005 | 241 | 2005 |
| 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 | 202 | 2005 |
| 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 | 184 | 2012 |
| Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018 | 151* | 2018 |
| 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), 1-30, 2013 | 129 | 2013 |
| Constraint-based linear-relations analysis S Sankaranarayanan, HB Sipma, Z Manna International Static Analysis Symposium, 53-68, 2004 | 125 | 2004 |
| Constructing invariants for hybrid systems S Sankaranarayanan, HB Sipma, Z Manna International Workshop on Hybrid Systems: Computation and Control, 539-554, 2004 | 119 | 2004 |
| 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 | 116 | 2007 |
| Static analysis for probabilistic programs: inferring whole program properties from finitely many paths S Sankaranarayanan, A Chakarov, S Gulwani Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 113 | 2013 |
| 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 | 112 | 2010 |
| 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 | 109 | 2014 |
| Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ... Lectures on Runtime Verification, 135-175, 2018 | 103 | 2018 |
| Probabilistic program analysis with martingales A Chakarov, S Sankaranarayanan International Conference on Computer Aided Verification, 511-526, 2013 | 102 | 2013 |
| Constructing invariants for hybrid systems S Sankaranarayanan, HB Sipma, Z Manna Formal Methods in System Design 32 (1), 25-55, 2008 | 97 | 2008 |
| Collecting statistics over runtime executions B Finkbeiner, S Sankaranarayanan, H Sipma Electronic Notes in Theoretical Computer Science 70 (4), 36-54, 2002 | 97 | 2002 |
| Static analysis in disjunctive numerical domains S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta International Static Analysis Symposium, 3-17, 2006 | 92 | 2006 |
Franjo IvančićGoogle, Inc.Verified email at google.com
