Sriram Sankaranarayanan

225 papers A* 27A 23B 30C 6Misc 9Journal 56Unranked 62
YearRankTypeTitle / Venue / Authors
2026 J jnl
Learning specifications for reactive synthesis with safety constraints.
CoRR
Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian
2026 J jnl
Optimal Abstractions for Verifying Properties of Kolmogorov-Arnold Networks (KANs).
CoRR
Noah Schwartz, Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2026 — conf
Trace Repair for Temporal Behavior Trees.
TACAS (1)
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2025 B ed.
Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ATVA
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
2025 — ed.
Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ATVA (2)
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
2025 J jnl
Characterization of Safety in Stochastic Difference Inclusions using Barrier Functions.
CoRR
Masoumeh Ghanbarpour, Sriram Sankaranarayanan
2025 — conf
Controlled Supermartingale Functions for Stochastic Differential Equations: Inference and Applications.
CDC
Masoumeh Ghanbarpour, Guillaume O. Berger, Sriram Sankaranarayanan
2025 — conf
Polyhedral Control Lyapunov Functions for Switched Affine Systems.
HSCC
Sara Kamali, Guillaume Berger, Sriram Sankaranarayanan
2025 — conf
Successive Control Barrier Functions for Nonlinear Systems.
HSCC
Rameez Wajid, Sriram Sankaranarayanan
2025 J jnl
Synthesizing Min-Max Control Barrier Functions For Switched Affine Systems.
CoRR
Sara Kamali, Guillaume O. Berger, Sriram Sankaranarayanan
2025 — conf
Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations.
NeuS
Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2025 J jnl
Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations.
CoRR
Chandra Kanth Nagesh, Sriram Sankaranarayanan, Ramneet Kaur, Tuhin Sahai, Susmit Jha
2025 J jnl
Trace Repair for Temporal Behavior Trees.
CoRR
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2025 B conf
Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants.
iFM
Fletcher T. Chapin, Ankur Varma, Samuel Akinwande, Meagan S. Mauter, Sriram Sankaranarayanan
2025 — ed.
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
VMCAI (1)
Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi
2025 — ed.
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
VMCAI (2)
Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi
2024 A* conf
"Obviously, Nothing's Gonna Happen in Five Minutes": How Adolescents and Young Adults Infrastructure Resources to Learn Type 1 Diabetes Management.
CHI
Tian Xu, Emily Jost, Laurel H. Messer, Paul F. Cook, Gregory P. Forlenza, Sriram Sankaranarayanan, Casey Fiesler, Stephen Voida
2024 — conf
Algorithms for Identifying Flagged and Guarded Linear Systems.
HSCC
Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan
2024 J jnl
Anticipating Oblivious Opponents in Stochastic Games.
CoRR
Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi
2024 B conf
Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation.
HAI
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
2024 J jnl
Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation.
CoRR
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
2024 — conf
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis.
HSCC
Guillaume O. Berger, Masoumeh Ghanbarpour, Sriram Sankaranarayanan
2024 J jnl
Large Language Models Enable Automated Formative Feedback in Human-Robot Interaction Tasks.
CoRR
Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes
2024 A* conf
Optimal Planning for Timed Partial Order Specifications.
ICRA
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
2024 J jnl
Optimal Planning for Timed Partial Order Specifications.
CoRR
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan
2024 J jnl
Template-based piecewise affine regression.
Res. Dir. Cyber Phys. Syst.
Guillaume O. Berger, Sriram Sankaranarayanan
2024 — conf
Temporal Behavior Trees - Segmentation.
HSCC
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2024 — conf
Temporal Behavior Trees: Robustness and Segmentation.
HSCC
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2024 — conf
What is Your Discount Factor?
QEST+FORMATS
Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi
2024 B conf
Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory.
CAIN
Saeid Tizpaz-Niari, Sriram Sankaranarayanan
2024 J jnl
Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory.
CoRR
Saeid Tizpaz-Niari, Sriram Sankaranarayanan
2023 J jnl
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.
CoRR
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2023 J jnl
Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems.
Autom.
Guillaume O. Berger, Sriram Sankaranarayanan
2023 — conf
More Than a Number: A Multi-dimensional Framework For Automatically Assessing Human Teleoperation Skill.
HRI (Companion)
Emily Jensen, Bradley Hayes, Sriram Sankaranarayanan
2023 J jnl
Safe Robot Learning in Assistive Devices through Neural Network Repair.
CoRR
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2023 — conf
Template-Based Piecewise Affine Regression.
L4DC
Guillaume O. Berger, Sriram Sankaranarayanan
2023 J jnl
Template-Based Piecewise Affine Regression.
CoRR
Guillaume O. Berger, Sriram Sankaranarayanan
2023 A conf
Temporal Logic-Based Intent Monitoring for Mobile Robots.
IROS
Hansol Yoon, Sriram Sankaranarayanan
2023 A* conf
Timed Partial Order Inference Algorithm.
ICAPS
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil V. Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi
2023 J jnl
Timed Partial Order Inference Algorithm.
CoRR
Kandai Watanabe, Bardh Hoxha, Danil V. Prokhorov, Georgios Fainekos, Morteza Lahijanian, Sriram Sankaranarayanan, Tomoya Yamaguchi
2023 — ed.
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
TACAS (1)
Sriram Sankaranarayanan, Natasha Sharygina
2023 — ed.
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
TACAS (2)
Sriram Sankaranarayanan, Natasha Sharygina
2022 A* conf
An Algorithm for Learning Switched Linear Dynamics from Data.
NeurIPS
Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan
2022 J jnl
Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems.
CoRR
Guillaume O. Berger, Sriram Sankaranarayanan
2022 — conf
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
HSCC
Monal Narasimhamurthy, Sriram Sankaranarayanan
2022 — conf
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples.
CDC
Guillaume O. Berger, Sriram Sankaranarayanan
2022 J jnl
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples.
CoRR
Guillaume O. Berger, Sriram Sankaranarayanan
2022 — conf
Mathematical Models of Human Drivers Using Artificial Risk Fields.
ITSC
Emily Jensen, Maya Luster, Hansol Yoon, Brandon Pitts, Sriram Sankaranarayanan
2022 J jnl
Mathematical Models of Human Drivers Using Artificial Risk Fields.
CoRR
Emily Jensen, Maya Luster, Hansol Yoon, Brandon Pitts, Sriram Sankaranarayanan
2022 — conf
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
HSCC
Monal Narasimhamurthy, Sriram Sankaranarayanan
2022 — conf
Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
NFM
Xin Chen, Sriram Sankaranarayanan
2022 Misc conf
Safe Robot Learning in Assistive Devices through Neural Network Repair.
CoRL
Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2022 Misc conf
Verified Path Following Using Neural Control Lyapunov Functions.
CoRL
Alec Reed, Guillaume O. Berger, Sriram Sankaranarayanan, Christoffer Heckman
2021 J jnl
Local Repair of Neural Networks Using Optimization.
CoRR
Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos, Sriram Sankaranarayanan
2021 A* conf
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference.
ICRA
Hansol Yoon, Sriram Sankaranarayanan
2021 J jnl
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference.
CoRR
Hansol Yoon, Sriram Sankaranarayanan
2021 A conf
Probabilistic Specification Learning for Planning with Safety Constraints.
IROS
Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian
2021 J jnl
Quantitative estimation of side-channel leaks with neural networks.
Int. J. Softw. Tools Technol. Transf.
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2021 B conf
Static Analysis of ReLU Neural Networks with Tropical Polyhedra.
SAS
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
2021 J jnl
Static analysis of ReLU neural networks with tropical polyhedra.
CoRR
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
2021 J jnl
Technical perspective: An elegant model for deriving equations.
Commun. ACM
Sriram Sankaranarayanan
2020 — conf
Conformance verification for neural network models of glucose-insulin dynamics.
HSCC
Taisa Kushner, Sriram Sankaranarayanan, Marc D. Breton
2020 A conf
Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis.
IROS
Yi Chou, Hansol Yoon, Sriram Sankaranarayanan
2020 — ch.
Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities.
Foundations of Probabilistic Programming
Sriram Sankaranarayanan
2020 — conf
Reachability Analysis Using Message Passing over Tree Decompositions.
CAV (1)
Sriram Sankaranarayanan
2020 A* conf
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.
NeurIPS
Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot
2020 — conf
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances.
ITSC
Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
2020 J jnl
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances.
CoRR
Shakiba Yaghoubi, Georgios Fainekos, Sriram Sankaranarayanan
2020 — conf
Unbounded-Time Safety Verification of Stochastic Differential Dynamics.
CAV (2)
Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan
2020 B conf
Weighted Transducers for Robustness Verification.
CONCUR
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi
2019 A* conf
Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis.
IJCAI
Yi Chou, Sriram Sankaranarayanan
2019 C conf
Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems.
ACC
Guohui Ding, Hadi Ravanbakhsh, Zhiyuan Liu, Sriram Sankaranarayanan, Lijun Chen
2019 B conf
Efficient Detection and Quantification of Timing Leaks with Neural Networks.
RV
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2019 J jnl
Efficient Detection and Quantification of Timing Leaks with Neural Networks.
CoRR
Saeid Tizpaz-Niari, Pavol Cerný, Sriram Sankaranarayanan, Ashutosh Trivedi
2019 A* conf
Formal Policy Learning from Demonstrations for Reachability Properties.
ICRA
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
2019 J jnl
Formal Policy Learning from Demonstrations for Reachability Properties.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
2019 J jnl
Learning control lyapunov functions from counterexamples and demonstrations.
Auton. Robots
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2019 — ch.
Models, Devices, Properties, and Verification of Artificial Pancreas Systems.
Automated Reasoning for Systems Biology and Medicine
Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan
2019 B conf
Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.
RV
Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan
2019 — ed.
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR '19, Montreal, Quebec, Canada, April 15, 2019
SNR
Sriram Sankaranarayanan, Sadegh Soudjani
2019 — conf
Reachability analysis for neural feedback systems using regressive polynomial rule inference.
HSCC
Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan
2019 — conf
Reaching Out Towards Fully Verified Autonomous Systems.
RP
Sriram Sankaranarayanan, Souradeep Dutta, Sergio Mover
2019 B conf
Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.
RV
Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
2019 — conf
Sherlock - A tool for verification of neural network feedback systems: demo abstract.
HSCC
Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2019 J jnl
Template polyhedra and bilinear optimization.
Formal Methods Syst. Des.
Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan
2019 A* conf
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks.
ICAPS
Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan
2019 A conf
Verifying Conformance of Neural Network Models: Invited Paper.
ICCAD
Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan
2018 — conf
A data-driven approach to artificial pancreas verification and synthesis.
ICCPS
Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan
2018 — conf
Experience Report: Application of Falsification Methods on the UxAS System.
NFM
Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, Sriram Sankaranarayanan
2018 J jnl
Learning Control Lyapunov Functions from Counterexamples and Demonstrations.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2018 — conf
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.
ADHS
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2018 A conf
Mining framework usage graphs from app corpora.
SANER
Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang
2018 — conf
Output Range Analysis for Deep Feedforward Neural Networks.
NFM
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2018 A conf
Path-Following through Control Funnel Functions.
IROS
Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan
2018 J jnl
Path-Following through Control Funnel Functions.
CoRR
Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan
2018 Misc ed.
Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018
EMSOFT
Björn B. Brandenburg, Sriram Sankaranarayanan
2018 — conf
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks.
CMSB
Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan
2018 — ch.
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Lectures on Runtime Verification
Ezio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
2018 J jnl
Validating numerical semidefinite programming solvers for polynomial invariants.
Formal Methods Syst. Des.
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
2017 — conf
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems.
SYNT@CAV
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2017 — conf
A Study of Model-Order Reduction Techniques for Verification.
NSV@CAV
Yi Chou, Xin Chen, Sriram Sankaranarayanan
2017 — conf
Analyzing neighborhoods of falsifying traces in cyber-physical systems.
ICCPS
Ram Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi
2017 J jnl
Compositional Relational Abstraction for Nonlinear Hybrid Systems.
ACM Trans. Embed. Comput. Syst.
Xin Chen, Sergio Mover, Sriram Sankaranarayanan
2017 — conf
Discriminating Traces with Time.
TACAS (2)
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
2017 J jnl
Discriminating Traces with Time.
CoRR
Saeid Tizpaz-Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi
2017 — conf
Formal Verification of a Multi-Basal Insulin Infusion Control Model.
ARCH@CPSWeek
Xin Chen, Souradeep Dutta, Sriram Sankaranarayanan
2017 J jnl
Guest Editorial: Special issue on formal modeling and analysis of timed systems.
Real Time Syst.
Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario
2017 — conf
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.
Robotics: Science and Systems
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2017 J jnl
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2017 A conf
Model Predictive Real-Time Monitoring of Linear Systems.
RTSS
Xin Chen, Sriram Sankaranarayanan
2017 J jnl
Model-based falsification of an artificial pancreas control system.
SIGBED Rev.
Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, David M. Maahs
2017 J jnl
Output Range Analysis for Deep Neural Networks.
CoRR
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari
2017 B conf
Template Polyhedra with a Twist.
SAS
Sriram Sankaranarayanan, Mohamed Amin Ben Sassi
2016 A conf
Decomposed Reachability Analysis for Nonlinear Systems.
RTSS
Xin Chen, Sriram Sankaranarayanan
2016 A conf
Deductive Proofs of Almost Sure Persistence and Recurrence Properties.
TACAS
Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan
2016 J jnl
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.
IMA J. Math. Control. Inf.
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
2016 Misc conf
Robust controller synthesis of switched systems using counterexample guided framework.
EMSOFT
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2016 — conf
Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
HSCC
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin
2016 A conf
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.
TACAS
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
2016 B conf
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants.
SAS
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
2015 C conf
Beyond single shooting: Iterative approaches to falsification.
ACC
Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin
2015 J jnl
Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2015 — conf
Counter-Example Guided Synthesis of control Lyapunov functions for switched systems.
CDC
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2015 J jnl
Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties.
CoRR
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2015 — conf
Counterexample-guided stabilization of switched systems using control lyapunov functions.
HSCC
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2015 — conf
Current Challenges in the Verification of Hybrid Systems.
CyPhy
Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski
2015 — conf
Falsification of safety properties for closed loop control systems.
HSCC
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin
2015 — conf
Flow* 1.2: More Effective to Play with Hybrid Systems.
ARCH@CPSWeek
Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám
2015 — ed.
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
FORMATS
Sriram Sankaranarayanan, Enrico Vicario
2015 J jnl
On the minimal revision problem of specification automata.
Int. J. Robotics Res.
Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan
2015 — ed.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015
HSCC
Antoine Girard, Sriram Sankaranarayanan
2015 Misc conf
Requirements driven falsification with coverage metrics.
EMSOFT
Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos
2015 J jnl
Scalable and scope-bounded software verification in Varvel.
Autom. Softw. Eng.
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain
2015 A conf
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems.
ICCAD
Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori
2015 — conf
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials.
HSCC
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan
2015 — conf
Symbolic-Numeric Reachability Analysis of Hybrid Systems.
SNR@CAV
Sriram Sankaranarayanan
2015 B conf
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.
RV
Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan
2014 J jnl
A bit too precise? Verification of quantized digital filters.
Int. J. Softw. Tools Technol. Transf.
Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
2014 A* conf
Abstract acceleration of general linear loops.
POPL
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
2014 B conf
Expectation Invariants for Probabilistic Program Loops as Fixed Points.
SAS
Aleksandar Chakarov, Sriram Sankaranarayanan
2014 C conf
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials.
ACC
Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan
2014 Misc conf
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.
EMSOFT
Hadi Ravanbakhsh, Sriram Sankaranarayanan
2014 — conf
Iterative computation of polyhedral invariants sets for polynomial dynamical systems.
CDC
Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan
2014 Misc conf
Multiple shooting, CEGAR-based falsification for hybrid systems.
EMSOFT
Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski
2014 J jnl
On the Minimal Revision Problem of Specification Automata.
CoRR
Kangjin Kim, Georgios Fainekos, Sriram Sankaranarayanan
2014 A* conf
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.
CAV
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
2014 — conf
Simulation-guided lyapunov analysis for hybrid dynamical systems.
HSCC
James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga
2014 — conf
Sparse statistical model inference for analog circuits under process variations.
ASP-DAC
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
2014 B conf
Statistically Sound Verification and Optimization for Complex Systems.
ATVA
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
2014 B conf
Under-approximate flowpipes for non-linear continuous systems.
FMCAD
Xin Chen, Sriram Sankaranarayanan, Erika Ábrahám
2013 — conf
A trajectory splicing approach to concretizing counterexamples for hybrid systems.
CDC
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski
2013 J jnl
Abstract Acceleration of General Linear Loops.
CoRR
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
2013 A* conf
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference.
ICSE
Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh
2013 A* conf
Flow*: An Analyzer for Non-linear Hybrid Systems.
CAV
Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
2013 A conf
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits.
ICCAD
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika Ábrahám
2013 — conf
Lyapunov Function Synthesis Using Handelman Representations.
NOLCOS
Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
2013 A* conf
Probabilistic Program Analysis with Martingales.
CAV
Aleksandar Chakarov, Sriram Sankaranarayanan
2013 J jnl
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst.
Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2013 A conf
QUIC Graphs: Relational Invariant Generation for Containers.
ECOOP
Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
2013 A* conf
Regular Real Analysis.
LICS
Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi
2013 B conf
Static Analysis in the Continuously Changing World.
SAS
Sriram Sankaranarayanan
2013 J jnl
Static analysis for concurrent programs with applications to data race detection.
Int. J. Softw. Tools Technol. Transf.
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
2013 A* conf
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths.
PLDI
Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
2012 A conf
A Bit Too Precise? Bounded Verification of Quantized Digital Filters.
TACAS
Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang
2012 — conf
A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients.
Allerton Conference
Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios Fainekos
2012 J jnl
Change-Of-Bases Abstractions for Non-Linear Systems
CoRR
Sriram Sankaranarayanan
2012 J jnl
Editorial: Special Section VCPSS'09.
ACM Trans. Embed. Comput. Syst.
Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan
2012 — conf
Falsification of temporal properties of hybrid systems using the cross-entropy method.
HSCC
Sriram Sankaranarayanan, Georgios Fainekos
2012 B conf
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
SAS
Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
2012 B conf
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.
CC
Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma
2012 A* conf
On the revision problem of specification automata.
ICRA
Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan
2012 B conf
Piecewise linear modeling of nonlinear devices for formal verification of analog circuits.
FMCAD
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi
2012 — conf
Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System.
CMSB
Sriram Sankaranarayanan, Georgios Fainekos
2012 A conf
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.
RTSS
Xin Chen, Erika Ábrahám, Sriram Sankaranarayanan
2012 A* conf
Timed Relational Abstractions for Sampled Data Control Systems.
CAV
Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari
2012 C conf
Verification of automotive control applications using S-TaLiRo.
ACC
Georgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel
2011 B conf
Access Nets: Modeling Access to Physical Spaces.
VMCAI
Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan
2011 — conf
Automatic abstraction of non-linear systems using change of bases transformations.
HSCC
Sriram Sankaranarayanan
2011 B conf
Combining Time and Frequency Domain Specifications for Periodic Signals.
RV
Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos
2011 A* conf
DC2: A framework for scalable, scope-bounded software verification.
ASE
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki
2011 A conf
Generalizing the Template Polyhedral Domain.
ESOP
Michael Colón, Sriram Sankaranarayanan
2011 A conf
Model Counting Using the Inclusion-Exclusion Principle.
SAT
Huxley Bennett, Sriram Sankaranarayanan
2011 — conf
Model-Based Dependability Analysis of Programmable Drug Infusion Pumps.
FORMATS
Sriram Sankaranarayanan, Hadjar Homaei, Clayton Lewis
2011 — conf
Modeling and Analyzing the Interaction of C and C++ Strings.
FoVeOOS
Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil
2011 A* conf
Relational Abstractions for Continuous and Hybrid Systems.
CAV
Sriram Sankaranarayanan, Ashish Tiwari
2011 A conf
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems.
TACAS
Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan
2011 J jnl
Symbolic modular deadlock analysis.
Autom. Softw. Eng.
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan
2011 B conf
The Flow-Insensitive Precision of Andersen's Analysis in Practice.
SAS
Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan
2010 — conf
Automatic invariant generation for hybrid systems using ideal fixed points.
HSCC
Sriram Sankaranarayanan
2010 B conf
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.
FMCAD
Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke
2010 — conf
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.
HSCC
Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas
2010 C conf
Numerical stability analysis of floating-point computations using software model checking.
MEMOCODE
Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta
2010 A* conf
Program analysis via satisfiability modulo path programs.
POPL
William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2010 B conf
Scalable and precise program analysis at NEC.
FMCAD
Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
2009 J jnl
Foreword: Special issue on numerical software verification.
Formal Methods Syst. Des.
Franjo Ivancic, Sriram Sankaranarayanan, Chao Wang
2009 A* conf
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
CAV
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar
2009 A conf
Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities.
CSF
Richard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov
2009 Misc conf
Refining the control structure of loops using static analysis.
EMSOFT
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2009 A conf
Robustness of Model-Based Simulations.
RTSS
Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2009 A conf
Semantic Reduction of Thread Interleavings in Concurrent Programs.
TACAS
Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta
2009 A* conf
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.
ASE
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan
2008 — conf
A Policy Iteration Technique for Time Elapse over Template Polyhedra.
HSCC
Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
2008 J jnl
Constructing invariants for hybrid systems.
Formal Methods Syst. Des.
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
2008 A conf
Dynamic inference of likely data preconditions over predicates by tree learning.
ISSTA
Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta
2008 A* conf
Mining library specifications using inductive logic programming.
ICSE
Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2008 B conf
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.
SAS
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta
2008 A conf
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
TACAS
Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic
2007 A* conf
Fast and Accurate Static Data-Race Detection for Concurrent Programs.
CAV
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta
2007 B conf
Program Analysis Using Symbolic Ranges.
SAS
Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta
2007 — conf
State space exploration using feedback constraint generation and Monte-Carlo sampling.
ESEC/SIGSOFT FSE
Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic
2006 B conf
Efficient Strongly Relational Polyhedral Analysis.
VMCAI
Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
2006 — conf
Fixed Point Iteration for Computing the Time Elapse Operator.
HSCC
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
2006 B conf
Static Analysis in Disjunctive Numerical Domains.
SAS
Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta
2005 J jnl
Collecting Statistics Over Runtime Executions.
Formal Methods Syst. Des.
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
2005 C conf
LOLA: Runtime Monitoring of Synchronous Systems.
TIME
Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
2005 — —
Mathematical analysis of programs.
Sriram Sankaranarayanan
2005 B conf
Scalable Analysis of Linear Systems Using Mathematical Programming.
VMCAI
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
2004 B conf
Constraint-Based Linear-Relations Analysis.
SAS
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
2004 — conf
Constructing Invariants for Hybrid Systems.
HSCC
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
2004 A* conf
Non-linear loop invariant generation using Gröbner bases.
POPL
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
2003 Misc conf
Event Correlation: Language and Semantics.
EMSOFT
César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna
2003 A* conf
Linear Invariant Generation Using Non-linear Constraint Solving.
CAV
Michael Colón, Sriram Sankaranarayanan, Henny Sipma
2003 — conf
Petri Net Analysis Using Invariant Generation.
Verification: Theory and Practice
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
2002 — conf
Collecting Statistics over Runtime Executions.
RV@FLoC
Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma
2001 J jnl
Min-max Computation Tree Logic.
Artif. Intell.
Pallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan