Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
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")
— Indian Institute of Management Ahmedabad, India (and 2 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j21]Guillaume O. Berger, Sriram Sankaranarayanan:
Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems. Autom. 155: 111165 (2023)- [c139]Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi:
Timed Partial Order Inference Algorithm. ICAPS 2023: 639-647 - [c138]Emily Jensen, Bradley Hayes, Sriram Sankaranarayanan:
More Than a Number: A Multi-dimensional Framework For Automatically Assessing Human Teleoperation Skill. HRI (Companion) 2023: 653-657 - [c137]Guillaume O. Berger, Sriram Sankaranarayanan:
Template-Based Piecewise Affine Regression. L4DC 2023: 509-520 - [e6]Sriram Sankaranarayanan, Natasha Sharygina:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 13993, Springer 2023, ISBN 978-3-031-30822-2 [contents] - [e5]Sriram Sankaranarayanan, Natasha Sharygina:
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 13994, Springer 2023, ISBN 978-3-031-30819-2 [contents] - [i23]Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi:
Timed Partial Order Inference Algorithm. CoRR abs/2302.02501 (2023) - [i22]Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor:
Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRR abs/2303.04431 (2023) - [i21]Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor:
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics. CoRR abs/2303.06582 (2023) - [i20]Guillaume O. Berger, Sriram Sankaranarayanan:
Template-Based Piecewise Affine Regression. CoRR abs/2305.08686 (2023) - 2022
- [c136]Guillaume O. Berger, Sriram Sankaranarayanan:
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. CDC 2022: 3250-3255 - [c135]Alec Reed, Guillaume O. Berger, Sriram Sankaranarayanan, Christoffer Heckman:
Verified Path Following Using Neural Control Lyapunov Functions. CoRL 2022: 1949-1958 - [c134]Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor:
Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRL 2022: 2148-2158 - [c133]Monal Narasimhamurthy, Sriram Sankaranarayanan:
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. HSCC 2022: 6:1-6:7 - [c132]Monal Narasimhamurthy, Sriram Sankaranarayanan:
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. HSCC 2022: 28:1-28:2 - [c131]Emily Jensen, Maya Luster, Hansol Yoon, Brandon Pitts, Sriram Sankaranarayanan:
Mathematical Models of Human Drivers Using Artificial Risk Fields. ITSC 2022: 909-916 - [c130]Xin Chen, Sriram Sankaranarayanan:
Reachability Analysis for Cyber-Physical Systems: Are We There Yet? NFM 2022: 109-130 - [c129]Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan:
An Algorithm for Learning Switched Linear Dynamics from Data. NeurIPS 2022 - [i19]Guillaume O. Berger, Sriram Sankaranarayanan:
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. CoRR abs/2204.06693 (2022) - [i18]Emily Jensen, Maya Luster, Hansol Yoon, Brandon Pitts, Sriram Sankaranarayanan:
Mathematical Models of Human Drivers Using Artificial Risk Fields. CoRR abs/2205.12722 (2022) - [i17]Guillaume O. Berger, Sriram Sankaranarayanan:
Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems. CoRR abs/2206.11176 (2022) - 2021
- [j20]Sriram Sankaranarayanan:
Technical perspective: An elegant model for deriving equations. Commun. ACM 64(7): 90 (2021) - [j19]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Quantitative estimation of side-channel leaks with neural networks. Int. J. Softw. Tools Technol. Transf. 23(4): 641-654 (2021) - [c128]Hansol Yoon, Sriram Sankaranarayanan:
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference. ICRA 2021: 8565-8571 - [c127]Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian:
Probabilistic Specification Learning for Planning with Safety Constraints. IROS 2021: 6558-6565 - [c126]Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan:
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS 2021: 166-190 - [i16]Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan:
Static analysis of ReLU neural networks with tropical polyhedra. CoRR abs/2108.00893 (2021) - [i15]Hansol Yoon, Sriram Sankaranarayanan:
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference. CoRR abs/2108.01227 (2021) - [i14]Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan:
Local Repair of Neural Networks Using Optimization. CoRR abs/2109.14041 (2021) - 2020
- [c125]Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan:
Unbounded-Time Safety Verification of Stochastic Differential Dynamics. CAV (2) 2020: 327-348 - [c124]Sriram Sankaranarayanan:
Reachability Analysis Using Message Passing over Tree Decompositions. CAV (1) 2020: 604-628 - [c123]Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi:
Weighted Transducers for Robustness Verification. CONCUR 2020: 17:1-17:21 - [c122]Taisa Kushner, Sriram Sankaranarayanan, Marc D. Breton:
Conformance verification for neural network models of glucose-insulin dynamics. HSCC 2020: 13:1-13:12 - [c121]Yi Chou, Hansol Yoon, Sriram Sankaranarayanan:
Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis. IROS 2020: 2111-2118 - [c120]Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan:
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. ITSC 2020: 1-6 - [c119]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
- [j18]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Learning control lyapunov functions from counterexamples and demonstrations. Auton. Robots 43(2): 275-307 (2019) - [j17]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) - [c118]Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan:
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. ICAPS 2019: 680-688 - [c117]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 - [c116]Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan:
Reachability analysis for neural feedback systems using regressive polynomial rule inference. HSCC 2019: 157-168 - [c115]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 - [c114]Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan:
Verifying Conformance of Neural Network Models: Invited Paper. ICCAD 2019: 1-8 - [c113]Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia:
Formal Policy Learning from Demonstrations for Reachability Properties. ICRA 2019: 6037-6043 - [c112]Yi Chou, Sriram Sankaranarayanan:
Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis. IJCAI 2019: 5708-5714 - [c111]Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover:
Reaching Out Towards Fully Verified Autonomous Systems. RP 2019: 22-32 - [c110]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 - [c109]Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi:
Efficient Detection and Quantification of Timing Leaks with Neural Networks. RV 2019: 329-348 - [c108]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 - [e4]Sriram Sankaranarayanan, Sadegh Soudjani:
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019. ACM 2019, ISBN 978-1-4503-6697-7 [contents] - [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
- [j16]Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan:
Validating numerical semidefinite programming solvers for polynomial invariants. Formal Methods Syst. Des. 53(2): 286-312 (2018) - [c107]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. ADHS 2018: 151-156 - [c106]Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan:
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. CMSB 2018: 183-202 - [c105]Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan:
A data-driven approach to artificial pancreas verification and synthesis. ICCPS 2018: 242-252 - [c104]Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan:
Path-Following through Control Funnel Functions. IROS 2018: 401-408 - [c103]Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Output Range Analysis for Deep Feedforward Neural Networks. NFM 2018: 121-138 - [c102]Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan:
Experience Report: Application of Falsification Methods on the UxAS System. NFM 2018: 452-459 - [c101]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 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
- [j15]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) - [j14]Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs:
Model-based falsification of an artificial pancreas control system. SIGBED Rev. 14(2): 24-33 (2017) - [j13]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) - [c100]Yi Chou, Xin Chen, Sriram Sankaranarayanan:
A Study of Model-Order Reduction Techniques for Verification. NSV@CAV 2017: 98-113 - [c99]Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan:
Formal Verification of a Multi-Basal Insulin Infusion Control Model. ARCH@CPSWeek 2017: 75-91 - [c98]Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi:
Analyzing neighborhoods of falsifying traces in cyber-physical systems. ICCPS 2017: 109-119 - [c97]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. Robotics: Science and Systems 2017 - [c96]Xin Chen, Sriram Sankaranarayanan:
Model Predictive Real-Time Monitoring of Linear Systems. RTSS 2017: 297-306 - [c95]Sriram Sankaranarayanan, Mohamed Amin Ben Sassi:
Template Polyhedra with a Twist. SAS 2017: 321-341 - [c94]Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi:
Discriminating Traces with Time. TACAS (2) 2017: 21-37 - [c93]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
- [j12]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) - [c92]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Robust controller synthesis of switched systems using counterexample guided framework. EMSOFT 2016: 8:1-8:10 - [c91]Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin:
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. HSCC 2016: 135-144 - [c90]Xin Chen, Sriram Sankaranarayanan:
Decomposed Reachability Analysis for Nonlinear Systems. RTSS 2016: 13-24 - [c89]Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan:
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. SAS 2016: 424-446 - [c88]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 - [c87]Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan:
Deductive Proofs of Almost Sure Persistence and Recurrence Properties. TACAS 2016: 260-279 - 2015
- [j11]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) - [j10]Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan:
On the minimal revision problem of specification automata. Int. J. Robotics Res. 34(12): 1515-1535 (2015) - [c86]Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin:
Beyond single shooting: Iterative approaches to falsification. ACC 2015: 4098 - [c85]Sriram Sankaranarayanan:
Symbolic-Numeric Reachability Analysis of Hybrid Systems. SNR@CAV 2015: 1 - [c84]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems. CDC 2015: 4232-4239 - [c83]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Flow* 1.2: More Effective to Play with Hybrid Systems. ARCH@CPSWeek 2015: 152-159 - [c82]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 - [c81]Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos:
Requirements driven falsification with coverage metrics. EMSOFT 2015: 31-40 - [c80]Mohamed Amin Ben Sassi, Sriram Sankaranarayanan:
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. HSCC 2015: 291-292 - [c79]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Counterexample-guided stabilization of switched systems using control lyapunov functions. HSCC 2015: 297-298 - [c78]Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin:
Falsification of safety properties for closed loop control systems. HSCC 2015: 299-300 - [c77]Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori:
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems. ICCAD 2015: 208-215 - [c76]Fraser Cameron, Georgios 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
- [j9]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) - [c75]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 - [c74]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Sparse statistical model inference for analog circuits under process variations. ASP-DAC 2014: 449-454 - [c73]Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi:
Statistically Sound Verification and Optimization for Complex Systems. ATVA 2014: 411-427 - [c72]Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan:
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. CAV 2014: 866-873 - [c71]Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan:
Iterative computation of polyhedral invariants sets for polynomial dynamical systems. CDC 2014: 6348-6353 - [c70]Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski:
Multiple shooting, CEGAR-based falsification for hybrid systems. EMSOFT 2014: 5:1-5:10 - [c69]Hadi Ravanbakhsh, Sriram Sankaranarayanan:
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. EMSOFT 2014: 15:1-15:10 - [c68]Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám:
Under-approximate flowpipes for non-linear continuous systems. FMCAD 2014: 59-66 - [c67]James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga:
Simulation-guided lyapunov analysis for hybrid dynamical systems. HSCC 2014: 133-142 - [c66]Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan:
Abstract acceleration of general linear loops. POPL 2014: 529-540 - [c65]Aleksandar Chakarov, Sriram Sankaranarayanan:
Expectation Invariants for Probabilistic Program Loops as Fixed Points. SAS 2014: 85-100 - [i3]Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan:
On the Minimal Revision Problem of Specification Automata. CoRR abs/1404.2289 (2014) - 2013
- [j8]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) - [j7]Houssam Abbas, Georgios 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) - [c64]Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan:
Flow*: An Analyzer for Non-linear Hybrid Systems. CAV 2013: 258-263 - [c63]Aleksandar Chakarov, Sriram Sankaranarayanan:
Probabilistic Program Analysis with Martingales. CAV 2013: 511-526 - [c62]Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski:
A trajectory splicing approach to concretizing counterexamples for hybrid systems. CDC 2013: 3918-3925 - [c61]