Sriram Sankaranarayanan

According to our database, Sriram Sankaranarayanan authored at least 179 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Anticipating Oblivious Opponents in Stochastic Games.

Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi

CoRR, 2024

Large Language Models Enable Automated Formative Feedback in Human-Robot Interaction Tasks.

Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes

CoRR, 2024

What is Your Discount Factor?

Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

Optimal Planning for Timed Partial Order Specifications.

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Temporal Behavior Trees - Segmentation.

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Temporal Behavior Trees: Robustness and Segmentation.

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Algorithms for Identifying Flagged and Guarded Linear Systems.

Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis.

Guillaume O. Berger, Masoumeh Ghanbarpour, Sriram Sankaranarayanan

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation.

Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes

Proceedings of the 12th International Conference on Human-Agent Interaction, 2024

"Obviously, Nothing's Gonna Happen in Five Minutes": How Adolescents and Young Adults Infrastructure Resources to Learn Type 1 Diabetes Management.

Tian Xu, Emily Jost, Laurel H. Messer, Paul F. Cook, Gregory P. Forlenza, Sriram Sankaranarayanan, Casey Fiesler, Stephen Voida

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory.

Saeid Tizpaz-Niari, Sriram Sankaranarayanan

Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering, 2024

2023

Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems.

Guillaume O. Berger, Sriram Sankaranarayanan

Autom., September, 2023

Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.

Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

CoRR, 2023

Safe Robot Learning in Assistive Devices through Neural Network Repair.

Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

CoRR, 2023

Template-Based Piecewise Affine Regression.

Guillaume O. Berger, Sriram Sankaranarayanan

Proceedings of the Learning for Dynamics and Control Conference, 2023

Temporal Logic-Based Intent Monitoring for Mobile Robots.

Hansol Yoon, Sriram Sankaranarayanan

IROS, 2023

More Than a Number: A Multi-dimensional Framework For Automatically Assessing Human Teleoperation Skill.

Emily Jensen, Bradley Hayes, Sriram Sankaranarayanan

Proceedings of the Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

Timed Partial Order Inference Algorithm.

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems.

Guillaume O. Berger, Sriram Sankaranarayanan

CoRR, 2022

An Algorithm for Learning Switched Linear Dynamics from Data.

Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Reachability Analysis for Cyber-Physical Systems: Are We There Yet?

Xin Chen, Sriram Sankaranarayanan

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Mathematical Models of Human Drivers Using Artificial Risk Fields.

Emily Jensen, Maya Luster, Hansol Yoon, Brandon Pitts, Sriram Sankaranarayanan

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.

Monal Narasimhamurthy, Sriram Sankaranarayanan

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.

Monal Narasimhamurthy, Sriram Sankaranarayanan

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Verified Path Following Using Neural Control Lyapunov Functions.

Alec Reed, Guillaume O. Berger, Sriram Sankaranarayanan, Christoffer Heckman

Proceedings of the Conference on Robot Learning, 2022

Safe Robot Learning in Assistive Devices through Neural Network Repair.

Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

Proceedings of the Conference on Robot Learning, 2022

Learning fixed-complexity polyhedral Lyapunov functions from counterexamples.

Guillaume O. Berger, Sriram Sankaranarayanan

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Quantitative estimation of side-channel leaks with neural networks.

Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi

Int. J. Softw. Tools Technol. Transf., 2021

Local Repair of Neural Networks Using Optimization.

Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan

CoRR, 2021

Technical perspective: An elegant model for deriving equations.

Sriram Sankaranarayanan

Commun. ACM, 2021

Static Analysis of ReLU Neural Networks with Tropical Polyhedra.

Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan

Proceedings of the Static Analysis - 28th International Symposium, 2021

Probabilistic Specification Learning for Planning with Safety Constraints.

Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference.

Hansol Yoon, Sriram Sankaranarayanan

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.

Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances.

Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis.

Yi Chou, Hansol Yoon, Sriram Sankaranarayanan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Conformance verification for neural network models of glucose-insulin dynamics.

Taisa Kushner, Sriram Sankaranarayanan, Marc D. Breton

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Weighted Transducers for Robustness Verification.

Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the 31st International Conference on Concurrency Theory, 2020

Unbounded-Time Safety Verification of Stochastic Differential Dynamics.

Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Reachability Analysis Using Message Passing over Tree Decompositions.

Sriram Sankaranarayanan

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Models, Devices, Properties, and Verification of Artificial Pancreas Systems.

Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Template polyhedra and bilinear optimization.

Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan

Formal Methods Syst. Des., 2019

Learning control lyapunov functions from counterexamples and demonstrations.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Auton. Robots, 2019

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.

Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 19th International Conference, 2019

Efficient Detection and Quantification of Timing Leaks with Neural Networks.

Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the Runtime Verification - 19th International Conference, 2019

Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.

Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 19th International Conference, 2019

Reaching Out Towards Fully Verified Autonomous Systems.

Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover

Proceedings of the Reachability Problems - 13th International Conference, 2019

Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis.

Yi Chou, Sriram Sankaranarayanan

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Formal Policy Learning from Demonstrations for Reachability Properties.

Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia

Proceedings of the International Conference on Robotics and Automation, 2019

Verifying Conformance of Neural Network Models: Invited Paper.

Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the International Conference on Computer-Aided Design, 2019

Reachability analysis for neural feedback systems using regressive polynomial rule inference.

Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Sherlock - A tool for verification of neural network feedback systems: demo abstract.

Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems.

Guohui Ding, Hadi Ravanbakhsh, Zhiyuan Liu, Sriram Sankaranarayanan, Lijun Chen

Proceedings of the 2019 American Control Conference, 2019

Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks.

Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.

Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Validating numerical semidefinite programming solvers for polynomial invariants.

Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan

Formal Methods Syst. Des., 2018

Mining framework usage graphs from app corpora.

Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang

Proceedings of the 25th International Conference on Software Analysis, 2018

Experience Report: Application of Falsification Methods on the UxAS System.

Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Output Range Analysis for Deep Feedforward Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Path-Following through Control Funnel Functions.

Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

A data-driven approach to artificial pancreas verification and synthesis.

Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks.

Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan

Proceedings of the Computational Methods in Systems Biology, 2018

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Compositional Relational Abstraction for Nonlinear Hybrid Systems.

Xin Chen, Sergio Mover, Sriram Sankaranarayanan

ACM Trans. Embed. Comput. Syst., 2017

Model-based falsification of an artificial pancreas control system.

Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs

SIGBED Rev., 2017

Guest Editorial: Special issue on formal modeling and analysis of timed systems.

Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario

Real Time Syst., 2017

A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Output Range Analysis for Deep Neural Networks.

Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari

CoRR, 2017

Discriminating Traces with Time.

Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Template Polyhedra with a Twist.

Sriram Sankaranarayanan, Mohamed Amin Ben Sassi

Proceedings of the Static Analysis - 24th International Symposium, 2017

Model Predictive Real-Time Monitoring of Linear Systems.

Xin Chen, Sriram Sankaranarayanan

Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the Robotics: Science and Systems XIII, 2017

Analyzing neighborhoods of falsifying traces in cyber-physical systems.

Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Formal Verification of a Multi-Basal Insulin Infusion Control Model.

Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

A Study of Model-Order Reduction Techniques for Verification.

Yi Chou, Xin Chen, Sriram Sankaranarayanan

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2016

Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.

Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám

IMA J. Math. Control. Inf., 2016

Deductive Proofs of Almost Sure Persistence and Recurrence Properties.

Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.

Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Decomposed Reachability Analysis for Nonlinear Systems.

Xin Chen, Sriram Sankaranarayanan

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Robust controller synthesis of switched systems using counterexample guided framework.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

On the minimal revision problem of specification automata.

Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan

Int. J. Robotics Res., 2015

Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

CoRR, 2015

Scalable and scope-bounded software verification in Varvel.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain

Autom. Softw. Eng., 2015

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.

Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan

Proceedings of the Runtime Verification - 6th International Conference, 2015

Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems.

Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Stability and stabilization of polynomial dynamical systems using Bernstein polynomials.

Mohamed Amin Ben Sassi, Sriram Sankaranarayanan

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Counterexample-guided stabilization of switched systems using control lyapunov functions.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Falsification of safety properties for closed loop control systems.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Requirements driven falsification with coverage metrics.

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the 2015 International Conference on Embedded Software, 2015

Current Challenges in the Verification of Hybrid Systems.

Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Flow* 1.2: More Effective to Play with Hybrid Systems.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Counter-Example Guided Synthesis of control Lyapunov functions for switched systems.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Symbolic-Numeric Reachability Analysis of Hybrid Systems.

Sriram Sankaranarayanan

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

Beyond single shooting: Iterative approaches to falsification.

Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin

Proceedings of the American Control Conference, 2015

2014

A bit too precise? Verification of quantized digital filters.

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang

Int. J. Softw. Tools Technol. Transf., 2014

Expectation Invariants for Probabilistic Program Loops as Fixed Points.

Aleksandar Chakarov, Sriram Sankaranarayanan

Proceedings of the Static Analysis - 21st International Symposium, 2014

Abstract acceleration of general linear loops.

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Simulation-guided lyapunov analysis for hybrid dynamical systems.

James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Under-approximate flowpipes for non-linear continuous systems.

Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám

Proceedings of the Formal Methods in Computer-Aided Design, 2014

Multiple shooting, CEGAR-based falsification for hybrid systems.

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski

Proceedings of the 2014 International Conference on Embedded Software, 2014

Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.

Hadi Ravanbakhsh, Sriram Sankaranarayanan

Proceedings of the 2014 International Conference on Embedded Software, 2014

Iterative computation of polyhedral invariants sets for polynomial dynamical systems.

Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Statistically Sound Verification and Optimization for Complex Systems.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Proceedings of the Automated Technology for Verification and Analysis, 2014

Sparse statistical model inference for analog circuits under process variations.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials.

Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan

Proceedings of the American Control Conference, 2014

2013

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.

Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

ACM Trans. Embed. Comput. Syst., 2013

Static analysis for concurrent programs with applications to data race detection.

Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta

Int. J. Softw. Tools Technol. Transf., 2013

Static Analysis in the Continuously Changing World.

Sriram Sankaranarayanan

Proceedings of the Static Analysis - 20th International Symposium, 2013

Static analysis for probabilistic programs: inferring whole program properties from finitely many paths.

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Lyapunov Function Synthesis Using Handelman Representations.

Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám

Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013

Regular Real Analysis.

Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference.

Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh

Proceedings of the 35th International Conference on Software Engineering, 2013

From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

QUIC Graphs: Relational Invariant Generation for Containers.

Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

A trajectory splicing approach to concretizing counterexamples for hybrid systems.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Flow*: An Analyzer for Non-linear Hybrid Systems.

Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Probabilistic Program Analysis with Martingales.

Aleksandar Chakarov, Sriram Sankaranarayanan

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Editorial: Special Section VCPSS'09.

Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan

ACM Trans. Embed. Comput. Syst., 2012

Change-Of-Bases Abstractions for Non-Linear Systems

Sriram Sankaranarayanan

CoRR, 2012

A Bit Too Precise? Bounded Verification of Quantized Digital Filters.

Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).

Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 19th International Symposium, 2012

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.

Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

On the revision problem of specification automata.

Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan

Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Falsification of temporal properties of hybrid systems using the cross-entropy method.

Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Piecewise linear modeling of nonlinear devices for formal verification of analog circuits.

Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System.

Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the Computational Methods in Systems Biology, 2012

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.

Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma

Proceedings of the Compiler Construction - 21st International Conference, 2012

Timed Relational Abstractions for Sampled Data Control Systems.

Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Verification of automotive control applications using S-TaLiRo.

Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel

Proceedings of the American Control Conference, 2012

A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients.

Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios Fainekos

Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011

Symbolic modular deadlock analysis.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan

Autom. Softw. Eng., 2011

Access Nets: Modeling Access to Physical Spaces.

Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems.

Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Model Counting Using the Inclusion-Exclusion Principle.

Huxley Bennett, Sriram Sankaranarayanan

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

The Flow-Insensitive Precision of Andersen's Analysis in Practice.

Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan

Proceedings of the Static Analysis - 18th International Symposium, 2011

Combining Time and Frequency Domain Specifications for Periodic Signals.

Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos

Proceedings of the Runtime Verification - Second International Conference, 2011

DC2: A framework for scalable, scope-bounded software verification.

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Automatic abstraction of non-linear systems using change of bases transformations.

Sriram Sankaranarayanan

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Modeling and Analyzing the Interaction of C and C++ Strings.

Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil

Proceedings of the Formal Verification of Object-Oriented Software, 2011

Model-Based Dependability Analysis of Programmable Drug Infusion Pumps.

Sriram Sankaranarayanan, Hadjar Homaei, Clayton Lewis

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Generalizing the Template Polyhedral Domain.

Michael Colón, Sriram Sankaranarayanan

Proceedings of the Programming Languages and Systems, 2011

Relational Abstractions for Continuous and Hybrid Systems.

Sriram Sankaranarayanan, Ashish Tiwari

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Program analysis via satisfiability modulo path programs.

William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Numerical stability analysis of floating-point computations using software model checking.

Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Automatic invariant generation for hybrid systems using ideal fixed points.

Sriram Sankaranarayanan

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.

Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.

Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Scalable and precise program analysis at NEC.

Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Foreword: Special issue on numerical software verification.

Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang

Formal Methods Syst. Des., 2009

Semantic Reduction of Thread Interleavings in Concurrent Programs.

Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Robustness of Model-Based Simulations.

Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan

Proceedings of the ASE 2009, 2009

Refining the control structure of loops using static analysis.

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities.

Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.

Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Constructing invariants for hybrid systems.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Formal Methods Syst. Des., 2008

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.

Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta

Proceedings of the Static Analysis, 15th International Symposium, 2008

Dynamic inference of likely data preconditions over predicates by tree learning.

Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Mining library specifications using inductive logic programming.

Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Policy Iteration Technique for Time Elapse over Template Polyhedra.

Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

State space exploration using feedback constraint generation and Monte-Carlo sampling.

Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Program Analysis Using Symbolic Ranges.

Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta

Proceedings of the Static Analysis, 14th International Symposium, 2007

Fast and Accurate Static Data-Race Detection for Concurrent Programs.

Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Efficient Strongly Relational Polyhedral Analysis.

Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna

Proceedings of the Verification, 2006

Static Analysis in Disjunctive Numerical Domains.

Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta

Proceedings of the Static Analysis, 13th International Symposium, 2006

Fixed Point Iteration for Computing the Time Elapse Operator.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005

Mathematical analysis of programs.

Sriram Sankaranarayanan

PhD thesis, 2005

Scalable Analysis of Linear Systems Using Mathematical Programming.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Verification, 2005

LOLA: Runtime Monitoring of Synchronous Systems.

Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

2004

Constraint-Based Linear-Relations Analysis.

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna

Proceedings of the Static Analysis, 11th International Symposium, 2004

Non-linear loop invariant generation using Gröbner bases.

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2003

Event Correlation: Language and Semantics.

César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna

Proceedings of the Embedded Software, Third International Conference, 2003

Linear Invariant Generation Using Non-linear Constraint Solving.

Michael Colón, Sriram Sankaranarayanan, Henny Sipma

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Petri Net Analysis Using Invariant Generation.

Sriram Sankaranarayanan, Henny Sipma, Zohar Manna

Proceedings of the Verification: Theory and Practice, 2003

2002

Collecting Statistics over Runtime Executions.

Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma

Proceedings of the Runtime Verification 2002, 2002

2001

Min-max Computation Tree Logic.

Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan

Artif. Intell., 2001