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 | 672 | 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 | 548 | 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 | 465 | 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 | 392 | 2004 |
Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018 | 376 | 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 | 337 | 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 | 323 | 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 | 284 | 2012 |
Scalable analysis of linear systems using mathematical programming S Sankaranarayanan, HB Sipma, Z Manna International Workshop on Verification, Model Checking, and Abstract …, 2005 | 268 | 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 | 200 | 2013 |
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 | 175 | 2019 |
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 | 172 | 2010 |
Constraint-based linear-relations analysis S Sankaranarayanan, HB Sipma, Z Manna International Static Analysis Symposium, 53-68, 2004 | 160 | 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 | 159 | 2014 |
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 | 154 | 2013 |
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 | 152 | 2007 |
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 | 146 | 2012 |
Constructing invariants for hybrid systems S Sankaranarayanan, HB Sipma, Z Manna International Workshop on Hybrid Systems: Computation and Control, 539-554, 2004 | 140 | 2004 |
Benchmarks for Temporal Logic Requirements for Automotive Systems. B Hoxha, H Abbas, G Fainekos ARCH@ CPSWeek 34, 25-30, 2014 | 132 | 2014 |