| Flow*: An analyzer for non-linear hybrid systems X Chen, E Ábrahám, S Sankaranarayanan Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 636 | 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 | 530 | 2011 |
| Linear invariant generation using non-linear constraint solving MA Colón, S Sankaranarayanan, HB Sipma Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 457 | 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 | 384 | 2004 |
| Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018 | 341 | 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 | 329 | 2005 |
| 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: Introductory and Advanced Topics, 135-175, 2018 | 303 | 2018 |
| 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 | 267 | 2012 |
| Scalable analysis of linear systems using mathematical programming S Sankaranarayanan, HB Sipma, Z Manna International Workshop on Verification, Model Checking, and Abstract …, 2005 | 266 | 2005 |
| 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 | 206 | 2013 |
| Probabilistic program analysis with martingales A Chakarov, S Sankaranarayanan Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 178 | 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 | 170 | 2010 |
| Reachability analysis for neural feedback systems using regressive polynomial rule inference S Dutta, X Chen, S Sankaranarayanan Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 159 | 2019 |
| Constraint-based linear-relations analysis S Sankaranarayanan, HB Sipma, Z Manna International Static Analysis Symposium, 53-68, 2004 | 154 | 2004 |
| 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 | 153 | 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 | 149 | 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 | 146 | 2013 |
| 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 | 145 | 2012 |
| Constructing invariants for hybrid systems S Sankaranarayanan, HB Sipma, Z Manna International Workshop on Hybrid Systems: Computation and Control, 539-554, 2004 | 141 | 2004 |
| Benchmarks for Temporal Logic Requirements for Automotive Systems. B Hoxha, H Abbas, G Fainekos ARCH@ CPSWeek 34, 25-30, 2014 | 125 | 2014 |
Franjo IvančićGoogle, Inc.Verified email at google.com
