Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDSriram Sankaranarayanan 0001
Person information
- affiliation: University of Colorado Boulder, USA
Other persons with the same name
- Sriram Sankaranarayanan 0002
![[0000-0002-4662-3241]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-4662-3241")
— Canada Excellence Research Chair, Polytechnique Montreal, Canada (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j20]Sriram Sankaranarayanan:
Technical perspective: An elegant model for deriving equations. Commun. ACM 64(7): 90 (2021)- 2020
- [c124]Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan:
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) 2020: 327-348 - [c123]Sriram Sankaranarayanan:
Reachability Analysis Using Message Passing over Tree Decompositions. CAV (1) 2020: 604-628 - [c122]Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi:
Weighted Transducers for Robustness Verification. CONCUR 2020: 17:1-17:21 - [c121]Taisa Kushner, Sriram Sankaranarayanan, Marc Breton:
Conformance verification for neural network models of glucose-insulin dynamics. HSCC 2020: 13:1-13:12 - [c120]Yi Chou, Hansol Yoon, Sriram Sankaranarayanan:
Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis. IROS 2020: 2111-2118 - [c119]Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan:
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. ITSC 2020: 1-6 - [c118]Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot:
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. NeurIPS 2020 - [i13]Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan:
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. CoRR abs/2001.08088 (2020)
2010 – 2019
- 2019
- [j19]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Learning control lyapunov functions from counterexamples and demonstrations. Auton. Robots 43(2): 275-307 (2019) - [j18]Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan:
Template polyhedra and bilinear optimization. Formal Methods Syst. Des. 54(1): 27-63 (2019) - [c117]Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan:
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. ICAPS 2019: 680-688 - [c116]Guohui Ding, Hadi Ravanbakhsh, Zhiyuan Liu, Sriram Sankaranarayanan, Lijun Chen:
Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems. ACC 2019: 2771-2776 - [c115]Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan:
Reachability analysis for neural feedback systems using regressive polynomial rule inference. HSCC 2019: 157-168 - [c114]Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Sherlock - A tool for verification of neural network feedback systems: demo abstract. HSCC 2019: 262-263 - [c113]Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan:
Verifying Conformance of Neural Network Models: Invited Paper. ICCAD 2019: 1-8 - [c112]Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. ICRA 2019: 6037-6043 - [c111]Yi Chou, Sriram Sankaranarayanan:
Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis. IJCAI 2019: 5708-5714 - [c110]Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover:
Reaching Out Towards Fully Verified Autonomous Systems. RP 2019: 22-32 - [c109]Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan:
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. RV 2019: 27-47 - [c108]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV 2019: 329-348 - [c107]Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan:
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. RV 2019: 349-367 - [p2]Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan:
Models, Devices, Properties, and Verification of Artificial Pancreas Systems. Automated Reasoning for Systems Biology and Medicine 2019: 93-131 - [i12]Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. CoRR abs/1903.00589 (2019) - [i11]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Efficient Detection and Quantification of Timing Leaks with Neural Networks. CoRR abs/1907.10159 (2019) - 2018
- [j17]Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan:
Validating numerical semidefinite programming solvers for polynomial invariants. Formal Methods Syst. Des. 53(2): 286-312 (2018) - [c106]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS 2018: 151-156 - [c105]Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan:
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. CMSB 2018: 183-202 - [c104]Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan:
A data-driven approach to artificial pancreas verification and synthesis. ICCPS 2018: 242-252 - [c103]Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan:
Path-Following through Control Funnel Functions. IROS 2018: 401-408 - [c102]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018: 121-138 - [c101]Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios E. Fainekos, Sriram Sankaranarayanan:
Experience Report: Application of Falsification Methods on the UxAS System. NFM 2018: 452-459 - [c100]Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang:
Mining framework usage graphs from app corpora. SANER 2018: 277-289 - [p1]Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan:
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. Lectures on Runtime Verification 2018: 135-175 - [e3]Björn B. Brandenburg, Sriram Sankaranarayanan:
Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018. IEEE 2018, ISBN 978-1-5386-5560-3 [contents] - [i10]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Learning Control Lyapunov Functions from Counterexamples and Demonstrations. CoRR abs/1804.05285 (2018) - [i9]Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan:
Path-Following through Control Funnel Functions. CoRR abs/1804.05288 (2018) - 2017
- [j16]Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario:
Guest Editorial: Special issue on formal modeling and analysis of timed systems. Real Time Syst. 53(3): 289-290 (2017) - [j15]Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios E. Fainekos, David M. Maahs:
Model-based falsification of an artificial pancreas control system. SIGBED Rev. 14(2): 24-33 (2017) - [j14]Xin Chen, Sergio Mover, Sriram Sankaranarayanan:
Compositional Relational Abstraction for Nonlinear Hybrid Systems. ACM Trans. Embed. Comput. Syst. 16(5s): 187:1-187:19 (2017) - [c99]Yi Chou, Xin Chen, Sriram Sankaranarayanan:
A Study of Model-Order Reduction Techniques for Verification. NSV@CAV 2017: 98-113 - [c98]Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan:
Formal Verification of a Multi-Basal Insulin Infusion Control Model. ARCH@CPSWeek 2017: 75-91 - [c97]Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi:
Analyzing neighborhoods of falsifying traces in cyber-physical systems. ICCPS 2017: 109-119 - [c96]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. Robotics: Science and Systems 2017 - [c95]Xin Chen, Sriram Sankaranarayanan:
Model Predictive Real-Time Monitoring of Linear Systems. RTSS 2017: 297-306 - [c94]Sriram Sankaranarayanan, Mohamed Amin Ben Sassi:
Template Polyhedra with a Twist. SAS 2017: 321-341 - [c93]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. TACAS (2) 2017: 21-37 - [c92]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. SYNT@CAV 2017: 44-61 - [i8]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. CoRR abs/1702.07103 (2017) - [i7]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. CoRR abs/1705.09619 (2017) - [i6]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Neural Networks. CoRR abs/1709.09130 (2017) - 2016
- [j13]Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám:
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. IMA J. Math. Control. Inf. 33(3): 723-756 (2016) - [c91]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Robust controller synthesis of switched systems using counterexample guided framework. EMSOFT 2016: 8:1-8:10 - [c90]Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin:
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. HSCC 2016: 135-144 - [c89]Xin Chen, Sriram Sankaranarayanan:
Decomposed Reachability Analysis for Nonlinear Systems. RTSS 2016: 13-24 - [c88]Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan:
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. SAS 2016: 424-446 - [c87]Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan:
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS 2016: 225-243 - [c86]Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan:
Deductive Proofs of Almost Sure Persistence and Recurrence Properties. TACAS 2016: 260-279 - 2015
- [j12]Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain:
Scalable and scope-bounded software verification in Varvel. Autom. Softw. Eng. 22(4): 517-559 (2015) - [j11]Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan:
On the minimal revision problem of specification automata. Int. J. Robotics Res. 34(12): 1515-1535 (2015) - [c85]Jyotirmoy V. Deshmukh, Georgios E. Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin:
Beyond single shooting: Iterative approaches to falsification. ACC 2015: 4098 - [c84]Sriram Sankaranarayanan:
Symbolic-Numeric Reachability Analysis of Hybrid Systems. SNR@CAV 2015: 1 - [c83]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems. CDC 2015: 4232-4239 - [c82]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Flow* 1.2: More Effective to Play with Hybrid Systems. ARCH@CPSWeek 2015: 152-159 - [c81]Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski:
Current Challenges in the Verification of Hybrid Systems. CyPhy 2015: 8-24 - [c80]Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios E. Fainekos:
Requirements driven falsification with coverage metrics. EMSOFT 2015: 31-40 - [c79]Mohamed Amin Ben Sassi, Sriram Sankaranarayanan:
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. HSCC 2015: 291-292 - [c78]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counterexample-guided stabilization of switched systems using control lyapunov functions. HSCC 2015: 297-298 - [c77]Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin:
Falsification of safety properties for closed loop control systems. HSCC 2015: 299-300 - [c76]Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori:
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems. ICCAD 2015: 208-215 - [c75]Fraser Cameron, Georgios E. Fainekos, David M. Maahs, Sriram Sankaranarayanan:
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. RV 2015: 3-17 - [e2]Sriram Sankaranarayanan, Enrico Vicario:
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Lecture Notes in Computer Science 9268, Springer 2015, ISBN 978-3-319-22974-4 [contents] - [e1]Antoine Girard, Sriram Sankaranarayanan:
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015. ACM 2015, ISBN 978-1-4503-3433-4 [contents] - [i5]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties. CoRR abs/1505.01180 (2015) - [i4]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems. CoRR abs/1509.03688 (2015) - 2014
- [j10]Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang:
A bit too precise? Verification of quantized digital filters. Int. J. Softw. Tools Technol. Transf. 16(2): 175-190 (2014) - [c74]Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan:
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials. ACC 2014: 3571-3578 - [c73]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Sparse statistical model inference for analog circuits under process variations. ASP-DAC 2014: 449-454 - [c72]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Statistically Sound Verification and Optimization for Complex Systems. ATVA 2014: 411-427 - [c71]Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. CAV 2014: 866-873 - [c70]Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan:
Iterative computation of polyhedral invariants sets for polynomial dynamical systems. CDC 2014: 6348-6353 - [c69]Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski:
Multiple shooting, CEGAR-based falsification for hybrid systems. EMSOFT 2014: 5:1-5:10 - [c68]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. EMSOFT 2014: 15:1-15:10 - [c67]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Under-approximate flowpipes for non-linear continuous systems. FMCAD 2014: 59-66 - [c66]James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga:
Simulation-guided lyapunov analysis for hybrid dynamical systems. HSCC 2014: 133-142 - [c65]Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan:
Abstract acceleration of general linear loops. POPL 2014: 529-540 - [c64]Aleksandar Chakarov, Sriram Sankaranarayanan:
Expectation Invariants for Probabilistic Program Loops as Fixed Points. SAS 2014: 85-100 - [i3]Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan:
On the Minimal Revision Problem of Specification Automata. CoRR abs/1404.2289 (2014) - 2013
- [j9]Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta:
Static analysis for concurrent programs with applications to data race detection. Int. J. Softw. Tools Technol. Transf. 15(4): 321-336 (2013) - [j8]Houssam Abbas, Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 12(2s): 95:1-95:30 (2013) - [c63]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Flow*: An Analyzer for Non-linear Hybrid Systems. CAV 2013: 258-263 - [c62]Aleksandar Chakarov, Sriram Sankaranarayanan:
Probabilistic Program Analysis with Martingales. CAV 2013: 511-526 - [c61]Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski:
A trajectory splicing approach to concretizing counterexamples for hybrid systems. CDC 2013: 3918-3925 - [c60]Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
QUIC Graphs: Relational Invariant Generation for Containers. ECOOP 2013: 401-425 - [c59]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám:
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. ICCAD 2013: 662-669 - [c58]Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh:
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference. ICSE 2013: 1165-1168 - [c57]Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi:
Regular Real Analysis. LICS 2013: 509-518 - [c56]Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám:
Lyapunov Function Synthesis Using Handelman Representations. NOLCOS 2013: 576-581 - [c55]Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani:
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. PLDI 2013: 447-458 - [c54]Sriram Sankaranarayanan:
Static Analysis in the Continuously Changing World. SAS 2013: 4-5 - [i2]Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan:
Abstract Acceleration of General Linear Loops. CoRR abs/1311.0768 (2013) - 2012
- [j7]Georgios E. Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan:
Editorial: Special Section VCPSS'09. ACM Trans. Embed. Comput. Syst. 11(S2): 52:1-52:3 (2012) - [c53]Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios E. Fainekos:
A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients. Allerton Conference 2012: 1610-1617 - [c52]Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel:
Verification of automotive control applications using S-TaLiRo. ACC 2012: 3567-3572 - [c51]Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari:
Timed Relational Abstractions for Sampled Data Control Systems. CAV 2012: 343-361 - [c50]Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma:
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. CC 2012: 144-164 - [c49]Sriram Sankaranarayanan, Georgios E. Fainekos:
Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System. CMSB 2012: 322-341 - [c48]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. FMCAD 2012: 196-203 - [c47]Sriram Sankaranarayanan, Georgios E. Fainekos:
Falsification of temporal properties of hybrid systems using the cross-entropy method. HSCC 2012: 125-134 - [c46]Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan:
On the revision problem of specification automata. ICRA 2012: 5171-5176 - [c45]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. RTSS 2012: 183-192 - [c44]Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang:
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS 2012: 146-163 - [c43]Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang:
A Bit Too Precise? Bounded Verification of Quantized Digital Filters. TACAS 2012: 33-47 - [i1]Sriram Sankaranarayanan:
Change-Of-Bases Abstractions for Non-Linear Systems. CoRR abs/1204.4347 (2012) - 2011
- [j6]Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan:
Symbolic modular deadlock analysis. Autom. Softw. Eng. 18(3-4): 325-362 (2011) - [c42]Sriram Sankaranarayanan, Ashish Tiwari:
Relational Abstractions for Continuous and Hybrid Systems. CAV 2011: 686-702 - [c41]Michael Colón, Sriram Sankaranarayanan:
Generalizing the Template Polyhedral Domain. ESOP 2011: 176-195 - [c40]Sriram Sankaranarayanan, Hadjar Homaei, Clayton Lewis:
Model-Based Dependability Analysis of Programmable Drug Infusion Pumps. FORMATS 2011: 317-334 - [c39]Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil:
Modeling and Analyzing the Interaction of C and C++ Strings. FoVeOOS 2011: 67-85 - [c38]Sriram Sankaranarayanan:
Automatic abstraction of non-linear systems using change of bases transformations. HSCC 2011: 143-152 - [c37]Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki:
DC2: A framework for scalable, scope-bounded software verification. ASE 2011: 133-142 - [c36]Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos:
Combining Time and Frequency Domain Specifications for Periodic Signals. RV 2011: 294-309 - [c35]Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan:
The Flow-Insensitive Precision of Andersen's Analysis in Practice. SAS 2011: 60-76 - [c34]Huxley Bennett, Sriram Sankaranarayanan:
Model Counting Using the Inclusion-Exclusion Principle. SAT 2011: 362-363 - [c33]Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos, Sriram Sankaranarayanan:
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. TACAS 2011: 254-257 - [c32]Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
Access Nets: Modeling Access to Physical Spaces. VMCAI 2011: 184-198 - 2010
- [c31]Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke:
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. FMCAD 2010: 81-89 - [c30]Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang:
Scalable and precise program analysis at NEC. FMCAD 2010: 273-274 - [c29]Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas:
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC 2010: 211-220 - [c28]Sriram Sankaranarayanan:
Automatic invariant generation for hybrid systems using ideal fixed points. HSCC 2010: 221-230 - [c27]Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta:
Numerical stability analysis of floating-point computations using software model checking. MEMOCODE 2010: 49-58 - [c26]