Следене
Sriram Sankaranarayanan
Sriram Sankaranarayanan
Professor of Computer Science, University of Colorado Boulder
Потвърден имейл адрес: colorado.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
7172013
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
5892011
Linear invariant generation using non-linear constraint solving
MA Colón, S Sankaranarayanan, HB Sipma
Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003
4802003
Output range analysis for deep feedforward neural networks
S Dutta, S Jha, S Sankaranarayanan, A Tiwari
NASA Formal Methods Symposium, 121-138, 2018
4062018
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
3932004
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
3902018
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
3822005
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
2832012
Scalable analysis of linear systems using mathematical programming
S Sankaranarayanan, HB Sipma, Z Manna
International Workshop on Verification, Model Checking, and Abstract …, 2005
2732005
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
2212013
Probabilistic program analysis with martingales
A Chakarov, S Sankaranarayanan
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
2202013
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
1912019
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
1782010
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
1662013
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
1632014
Constraint-based linear-relations analysis
S Sankaranarayanan, HB Sipma, Z Manna
International Static Analysis Symposium, 53-68, 2004
1622004
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
1602007
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
1522012
Benchmarks for Temporal Logic Requirements for Automotive Systems.
B Hoxha, H Abbas, G Fainekos
ARCH@ CPSWeek 34, 25-30, 2014
1422014
Constructing invariants for hybrid systems
S Sankaranarayanan, HB Sipma, Z Manna
International Workshop on Hybrid Systems: Computation and Control, 539-554, 2004
1402004
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20