| Flow*: An analyzer for non-linear hybrid systems X Chen, E Ábrahám, S Sankaranarayanan International Conference on Computer Aided Verification, 258-263, 2013 | 527 | 2013 |
| 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 | 446 | 2011 |
| Linear invariant generation using non-linear constraint solving MA Colón, S Sankaranarayanan, HB Sipma International Conference on Computer Aided Verification, 420-432, 2003 | 423 | 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 | 365 | 2004 |
| Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018 | 290* | 2018 |
| 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 | 265 | 2005 |
| Scalable analysis of linear systems using mathematical programming S Sankaranarayanan, HB Sipma, Z Manna International Workshop on Verification, Model Checking, and Abstract …, 2005 | 257 | 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 | 217 | 2012 |
| 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 | 216 | 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 | 179 | 2013 |
| Probabilistic program analysis with martingales A Chakarov, S Sankaranarayanan International Conference on Computer Aided Verification, 511-526, 2013 | 146 | 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 | 138 | 2010 |
| Simulation-guided Lyapunov analysis for hybrid dynamical systems J Kapinski, JV Deshmukh, S Sankaranarayanan, N Aréchiga Proceedings of the 17th international conference on Hybrid systems …, 2014 | 136 | 2014 |
| 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 | 134 | 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 | 133 | 2013 |
| Constraint-based linear-relations analysis S Sankaranarayanan, HB Sipma, Z Manna International Static Analysis Symposium, 53-68, 2004 | 132 | 2004 |
| Constructing invariants for hybrid systems S Sankaranarayanan, HB Sipma, Z Manna International Workshop on Hybrid Systems: Computation and Control, 539-554, 2004 | 132 | 2004 |
| 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 | 128 | 2012 |
| Static analysis in disjunctive numerical domains S Sankaranarayanan, F Ivančić, I Shlyakhter, A Gupta International Static Analysis Symposium, 3-17, 2006 | 111 | 2006 |
| Software testing using machine learning R Chang, S Sankaranarayanan, G Jiang, F Ivancic US Patent 8,924,938, 2014 | 108 | 2014 |
Franjo IvančićGoogle, Inc.Verified email at google.com
