## Publications (By Topic)## Abstract Interpretation (5) Gronski, Jessica
and Ben Sassi, Mohamed-Amin
and Becker, Stephen
and Sankaranarayanan, Sriram, Template polyhedra and bilinear optimization In Formal Methods in System Design Vol. 54, pp. 27-63 (2018).
Sriram Sankaranarayanan and Mohamed Amin Ben Sassi, Template Polyhedra with a Twist In Static Analysis Symposium (SAS), Volume 10422 of Lecture Notes in Computer Science pp. 321-341 (2017).
Olivier Bouissou and Eric Goubault and Sylvie Putot and Aleksandar Chakarov and Sriram Sankaranarayanan, Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities In Tools and Algorithms for Construction and Analysis of Systems (TACAS), Volume 9636 of Lecture Notes in Computer Science pp. 225-243 (2016).
Aleksandar Chakarov and Sriram Sankaranarayanan, Expectation Invariants as Fixed Points of Probabilistic Programs In Static Analysis Symposium (SAS), Volume 8723 of Lecture Notes in Computer Science pp. 85-100 (2014). Note: Radhia Cousot Best Student Paper Award
Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan, Abstract Acceleration of General Linear Loops In Principles of Programming Languages (POPL), pp. 529-540 (2014).
## Artificial Pancreas (14) Emmanuel Filiot and
Nicolas Mazzocchi and
Jean-Francois Raskin and
Sriram Sankaranarayanan and
Ashutosh Trivedi, Weighted Transducers for Robustness Verification In Intl. Conference on Concurrency Theory (CONCUR), pp. 17:1--17:21 (2020).
Kushner, Taisa and Breton, Marc D. and Sankaranarayanan, Sriram, Multi-hour Blood Glucose Prediction in T1D: A Patient Specific Approach using Shallow Neural Network Models In Diabetes Technology and Therapeutics Vol. TBA(TBA), pp. TBA (2020).
Taisa Kushner and
Sriram Sankaranarayanan and
Marc Breton, Conformance verification for neural network models of glucose-insulin
dynamics In Hybrid Systems: Computation and Control (HSCC), pp. 13:1--13:12 (2020).
Taisa Kushner and B. Wayne Bequette and Faye Cameron and Gregory Forlenza and David Maahs and Sriram Sankaranarayanan, Models, Devices, Properties and Verification of Artificial Pancreas Systems In Automated Reasoning for Systems Biology And Medicine (Edited by Paulo Zuliani and Pietro Lio), pp. 93-131 (2019).
Gregory Forlenza and Taisa Kushner and Laurel Messer and R. Paul Wadwa and Sriram Sankaranarayanan, Factory-Calibrated Continuous Glucose Monitoring: How and Why It Works, and the Dangers of Reuse Beyond Approved Duration of Wear In Diabetes: Technology and Therapeutics Vol. 21(4), pp. 222-229 (2019). Note: Peer-Reviewed Commentary.
Souradeep Dutta and Taisa Kushner and Sriram Sankaranarayanan, Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks In Computational Methods in Systems Biology, Volume 11095 of Lecture Notes In Computer Science pp. 183-202 (2018).
Taisa Kushner and David Bortz and David Maahs and Sriram Sankaranarayanan, A Data-Driven Approach to Artificial Pancreas Verification and Synthesis. In Intl. Conference on Cyber-Physical Systems (ICCPS'18), pp. 242-252 (2018).
Xin Chen and Sergio Mover and Sriram Sankaranarayanan, Compositional Relational Abstraction for Nonlinear Systems In ACM Transactions on Embedded Computing Systems (Special Issue for EMSOFT 2017) Vol. 16(5s), pp. 187 (2017). Note: EMSOFT 2017 Best Paper Award Nomination
Xin Chen and Souradeep Dutta and Sriram Sankaranarayanan, Formal Verification of a Multi-Basal Insulin Infusion Control Model. In Workshop on Applied Verification of Hybrid Systems (ARCH), pp. 16 (2017).
Ram Das Diwakaran and Sriram Sankaranarayanan and Ashutosh Trivedi, Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems In Intl. Conference on Cyber-Physical Systems (ICCPS), pp. 109-119 (2017).
Sriram Sankaranarayanan and Suhas Akshar Kumar and Faye Cameron and B. Wayne Bequette and Georgios Fainekos and David M. Maahs, Model-Based Falsification of an Artificial Pancreas Control System. In ACM SIGBED Review (Special Issue on Medical Cyber Physical Systems) Vol. 14(2), pp. 24-33 (2016). Note: Presented at MEDCPS Workshop 2016
Gregory P. Forlenza and Sriram Sankaranarayanan and David M. Maahs, Refining the Closed Loop in the Data Age: Research-to-Practice Transitions in Diabetes Technology (Editorial) In Diabetes Technology and Therapeutics Vol. 17(5), pp. 304-306 (2015).
Fraser Cameron and Georgios Fainekos and David M. Maahs and Sriram Sankaranarayanan, Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification In Proceedings of Runtime Verification (RV'15), Volume 9333 of Lecture Notes in Computer Science pp. 3-17 (2015). Note: Invited Keynote Paper
Stephen M. Kissler and Cody Cichowitz and Sriram Sankaranarayanan and David M. Bortz, Determination of personalized diabetes treatment plans using a two-delay model In J. Theoretical Biology Vol. 359(Oct), pp. 101-111 (2014).
## Automata Theory (1) Emmanuel Filiot and
Nicolas Mazzocchi and
Jean-Francois Raskin and
Sriram Sankaranarayanan and
Ashutosh Trivedi, Weighted Transducers for Robustness Verification In Intl. Conference on Concurrency Theory (CONCUR), pp. 17:1--17:21 (2020).
## Control Synthesis (8) Arthur Claviere and Souradeep Dutta and Sriram Sankaranarayanan, Trajectory Tracking Control for Robotic Vehicles using Counterexample Guided Training of Neural Networks In International Conference on Automated Planning and Scheduling (ICAPS), pp. 680-688 (2019).
Hadi Ravanbakhsh and Sriram Sankaranarayanan and Sanjit A. Seshia, Formal Policy Learning from Demonstrations In International Conference on Robotics and Automation (ICRA), pp. 6037-6043 (2019).
Hadi Ravanbakhsh and Sriram Sankaranarayanan, Learning Control Lyapunov Functions from Counterexamples and Demonstrations In Autonomous Robots Vol. 43, pp. 275--307 (2018). Note: Special Issue for Robotics: Science and Systems (Online First Article)
Hadi Ravanbakhsh and Sina Aghli and Christoffer Heckman and Sriram Sankaranarayanan, Path-Following through Control Funnel Functions In Intelligent Robotics and Systems (IROS), pp. 401-408 (2018).
Hadi Ravanbakhsh and Sriram Sankaranarayanan, Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations In Robotics Science and Systems (RSS), pp. 16 (2017).
Hadi Ravanbakhsh and Sriram Sankaranarayanan, Robust Controller Synthesis of Switched Systems Using Counterexample Guided Framework In ACM/IEEE Conference on Embedded Software (EMSOFT), pp. 8:1-8:10 (2016).
Hadi Ravanbakhsh and Sriram Sankaranarayanan, Counter-Example Guided Synthesis of Control Lyapunov Functions For Switched Systems In IEEE Control and Decision Conference (CDC), pp. 4232-4239 (2015).
Hadi Ravanbakhsh and Sriram Sankaranarayanan, Infinite Horizon Safety Controller Synthesis through Disjunctive Polyhedral Abstract Interpretation In Intl. Conference on Embedded Software (EMSOFT), pp. 15:1-15:10 (2014).
## Data Driven Models (8) Kushner, Taisa and Breton, Marc D. and Sankaranarayanan, Sriram, Multi-hour Blood Glucose Prediction in T1D: A Patient Specific Approach using Shallow Neural Network Models In Diabetes Technology and Therapeutics Vol. TBA(TBA), pp. TBA (2020).
Taisa Kushner and
Sriram Sankaranarayanan and
Marc Breton, Conformance verification for neural network models of glucose-insulin
dynamics In Hybrid Systems: Computation and Control (HSCC), pp. 13:1--13:12 (2020).
Hansol Yoon and Yi Chou and Xin Chen and Eric Frew and Sriram Sankaranarayanan, Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs In International Conference on Runtime Verification (RV), pp. 349--367 (2019).
Souradeep Dutta and Xin Chen and Sriram Sankaranarayanan, Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference In Hybrid Systems: Computation and Control (HSCC), pp. 157--168 (2019). Note: Special session on Safe Autonomy, AI and ML for CPS.
Souradeep Dutta and Taisa Kushner and Sriram Sankaranarayanan, Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks In Computational Methods in Systems Biology, Volume 11095 of Lecture Notes In Computer Science pp. 183-202 (2018).
Souradeep Dutta and Susmit Jha and Sriram Sankaranarayanan and Ashish Tiwari, Learning and Verification of Feedback Control Systems using Feedforward Neural Networks In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), pp. 151-156 (2018).
Taisa Kushner and David Bortz and David Maahs and Sriram Sankaranarayanan, A Data-Driven Approach to Artificial Pancreas Verification and Synthesis. In Intl. Conference on Cyber-Physical Systems (ICCPS'18), pp. 242-252 (2018).
Souradeep Dutta and Susmit Jha and Sriram Sankaranarayanan and Ashish Tiwari, Output Range Analysis for Deep Feedforward Neural Networks In Proceedings of NASA Formal Methods Symposium (NFM), Volume 10811 of Lecture Notes In Computer Science pp. 121-138 (2018).
## Falsification of Cyber-Physical Systems (6) Ezio Bartocci and Jyotirmoy Deshmukh and Alexandre Donze and Georgios Fainekos and Oded Maler and Dejan Nickovic and Sriram Sankaranarayanan, Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications In In E. Bartocci and Y. Falcone (eds): Lectures on Runtime Verification, Volume 10457 of Lecture Notes in Computer Science pp. 135-175 (2018).
Ram Das Diwakaran and Sriram Sankaranarayanan and Ashutosh Trivedi, Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems In Intl. Conference on Cyber-Physical Systems (ICCPS), pp. 109-119 (2017).
Sriram Sankaranarayanan and Suhas Akshar Kumar and Faye Cameron and B. Wayne Bequette and Georgios Fainekos and David M. Maahs, Model-Based Falsification of an Artificial Pancreas Control System. In ACM SIGBED Review (Special Issue on Medical Cyber Physical Systems) Vol. 14(2), pp. 24-33 (2016). Note: Presented at MEDCPS Workshop 2016
Aditya Zutshi and Sriram Sankaranarayanan and Jyotirmoy Deshmukh and Xiaoqing Jin, Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software In Hybrid Systems: Computation and Control (HSCC), pp. 135-144 (2016). Note: Winner of HSCC 2016 Best Student Paper Award
Fraser Cameron and Georgios Fainekos and David M. Maahs and Sriram Sankaranarayanan, Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification In Proceedings of Runtime Verification (RV'15), Volume 9333 of Lecture Notes in Computer Science pp. 3-17 (2015). Note: Invited Keynote Paper
Aditya Zutshi and Sriram Sankaranarayanan and Jyotirmoy Deshmukh and James Kapinski, Multiple-Shooting CEGAR-based falsification for hybrid systems In Intl. Conference on Embedded Software (EMSOFT), pp. 5:1 - 5:10 (2014). Note: Winner of EMSOFT 2015 Best Paper Award
## Flowpipe Construction (8) Yi Chou and Sriram Sankaranarayanan, Bayesian parameter estimation for nonlinear ODEs using sensitivity analysis In International Joint Conference on Artificial Intelligence (IJCAI), pp. 5708-5714 (2019).
Souradeep Dutta and Xin Chen and Sriram Sankaranarayanan, Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference In Hybrid Systems: Computation and Control (HSCC), pp. 157--168 (2019). Note: Special session on Safe Autonomy, AI and ML for CPS.
Souradeep Dutta and Susmit Jha and Sriram Sankaranarayanan and Ashish Tiwari, Learning and Verification of Feedback Control Systems using Feedforward Neural Networks In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), pp. 151-156 (2018).
Souradeep Dutta and Susmit Jha and Sriram Sankaranarayanan and Ashish Tiwari, Output Range Analysis for Deep Feedforward Neural Networks In Proceedings of NASA Formal Methods Symposium (NFM), Volume 10811 of Lecture Notes In Computer Science pp. 121-138 (2018).
Xin Chen and Sriram Sankaranarayanan, Model-Predictive Real-Time Monitoring of Linear Systems In IEEE Real-Time Systems Symposium (RTSS), pp. 297-306 (2017).
Xin Chen and Souradeep Dutta and Sriram Sankaranarayanan, Formal Verification of a Multi-Basal Insulin Infusion Control Model. In Workshop on Applied Verification of Hybrid Systems (ARCH), pp. 16 (2017).
Xin Chen and Sriram Sankaranarayanan, Decomposed Reachability Analysis for Nonlinear Systems In IEEE Real Time Systems Symposium (RTSS), pp. 13--24 (2016).
Xin Chen and Sriram Sankaranarayanan and Erika Abraham, Under-approximate Flowpipes for Non-linear Continuous Systems In Formal Methods in Computer-Aided Design (FMCAD), pp. 59-66 (2014).
## Hybrid Systems (10) Souradeep Dutta and Xin Chen and Sriram Sankaranarayanan, Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference In Hybrid Systems: Computation and Control (HSCC), pp. 157--168 (2019). Note: Special session on Safe Autonomy, AI and ML for CPS.
Souradeep Dutta and Susmit Jha and Sriram Sankaranarayanan and Ashish Tiwari, Learning and Verification of Feedback Control Systems using Feedforward Neural Networks In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), pp. 151-156 (2018).
Xin Chen and Sergio Mover and Sriram Sankaranarayanan, Compositional Relational Abstraction for Nonlinear Systems In ACM Transactions on Embedded Computing Systems (Special Issue for EMSOFT 2017) Vol. 16(5s), pp. 187 (2017). Note: EMSOFT 2017 Best Paper Award Nomination
Xin Chen and Sriram Sankaranarayanan, Decomposed Reachability Analysis for Nonlinear Systems In IEEE Real Time Systems Symposium (RTSS), pp. 13--24 (2016).
Aditya Zutshi and Sriram Sankaranarayanan and Jyotirmoy Deshmukh and Xiaoqing Jin, Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software In Hybrid Systems: Computation and Control (HSCC), pp. 135-144 (2016). Note: Winner of HSCC 2016 Best Student Paper Award
Sriram Sankaranarayanan, Change of Basis Abstractions for Non-Linear Hybrid Systems In Nonlinear Analysis: Hybrid Systems Vol. 19, pp. 107-133 (2016).
Mohamed Amin Ben Sassi and Sriram Sankaranarayanan and Xin Chen and Erika Abraham, Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis In IMA Journal of Mathematical Control and Information Vol. 33(3), pp. 723-756 (2016).
Mohamed Amin Ben Sassi and Antoine Girard and Sriram Sankaranarayanan, Iterative Computation of Polyhedral Invariants Sets for Polynomial Dynamical Systems In IEEE Conference on Decision and Control (CDC), pp. 6348-6353 (2014).
Xin Chen and Sriram Sankaranarayanan and Erika Abraham, Under-approximate Flowpipes for Non-linear Continuous Systems In Formal Methods in Computer-Aided Design (FMCAD), pp. 59-66 (2014).
Eric Goubault and Jacques-Henri Jourdan and Sylvie Putot and Sriram Sankaranarayanan, Finding Non-Polynomial Positive Invariants and Lyapunov Functions for Polynomial Systems through Darboux Polynomials In Proc. American Control Conference (ACC), pp. 3571 - 3578 (2014).
## Invariant Synthesis (9) Shenghua Feng and Mingshuai Chen and Bai Xue and Sriram Sankaranarayanan and Naijun Zhan, Unbounded-Time Safety Verification of Stochastic Differential Dynamics In International Conference on Computer-Aided Verification (CAV), pp. 327--348 (2020).
Gronski, Jessica
and Ben Sassi, Mohamed-Amin
and Becker, Stephen
and Sankaranarayanan, Sriram, Template polyhedra and bilinear optimization In Formal Methods in System Design Vol. 54, pp. 27-63 (2018).
Sriram Sankaranarayanan and Mohamed Amin Ben Sassi, Template Polyhedra with a Twist In Static Analysis Symposium (SAS), Volume 10422 of Lecture Notes in Computer Science pp. 321-341 (2017).
Pierre Roux and Yuen-Lam Voronin and Sriram Sankaranarayanan, Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants In Static Analysis Symposium (SAS), Volume 9837 of Lecture Notes in Computer Science pp. 424--446 (2016).
Sriram Sankaranarayanan, Change of Basis Abstractions for Non-Linear Hybrid Systems In Nonlinear Analysis: Hybrid Systems Vol. 19, pp. 107-133 (2016).
Mohamed Amin Ben Sassi and Antoine Girard and Sriram Sankaranarayanan, Iterative Computation of Polyhedral Invariants Sets for Polynomial Dynamical Systems In IEEE Conference on Decision and Control (CDC), pp. 6348-6353 (2014).
Arlen Cox and Bor-Yuh Evan Chang and Sriram Sankaranarayanan, QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers In Computer-Aided Verification (CAV), Volume 8559 of Lecture Notes in Computer Science pp. 866-873 (2014). Note: Tool Demonstration Paper
Eric Goubault and Jacques-Henri Jourdan and Sylvie Putot and Sriram Sankaranarayanan, Finding Non-Polynomial Positive Invariants and Lyapunov Functions for Polynomial Systems through Darboux Polynomials In Proc. American Control Conference (ACC), pp. 3571 - 3578 (2014).
Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan, Abstract Acceleration of General Linear Loops In Principles of Programming Languages (POPL), pp. 529-540 (2014).
## Mining Software Enclaves (1) Sergio Mover and Sriram Sankaranarayanan and Rhys Olsen and Bor-Yuh Evan Chang, Mining framework usage graphs from app corpora In International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 277-289 (2018). Note: Winner of IEEE TCSE Distinguished Paper Award
## Neural Network Verification (4) Taisa Kushner and
Sriram Sankaranarayanan and
Marc Breton, Conformance verification for neural network models of glucose-insulin
dynamics In Hybrid Systems: Computation and Control (HSCC), pp. 13:1--13:12 (2020).
Souradeep Dutta and Susmit Jha and Sriram Sankaranarayanan and Ashish Tiwari, Output Range Analysis for Deep Feedforward Neural Networks In Proceedings of NASA Formal Methods Symposium (NFM), Volume 10811 of Lecture Notes In Computer Science pp. 121-138 (2018).
## Parameter Synthesis (3) Yan Zhang and Sriram Sankaranarayanan and Benjamin Gyori, Simulation-Guided Parameter Synthesis for the Chance-Constrained Optimization of Control Systems In Proc. International Conference on Computer-Aided Design (ICCAD), pp. 208-215 (2015).
Yan Zhang and Sriram Sankaranarayanan and Fabio Somenzi, Statistically Sound Verification and Optimization for Complex Systems In Automated Techniques for Verification and Analysis (ATVA), Volume 8837 of Lecture Notes in Computer Science pp. 411-427 (2014).
Yan Zhang and Sriram Sankaranarayanan and Fabio Somenzi, Sparse statistical model inference for analog circuits under process variations In Asia and South Pacific Design Automation Conference (ASP-DAC), pp. 449-454 (2014).
## Probabilistic Program Verification (3) Olivier Bouissou and Eric Goubault and Sylvie Putot and Aleksandar Chakarov and Sriram Sankaranarayanan, Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities In Tools and Algorithms for Construction and Analysis of Systems (TACAS), Volume 9636 of Lecture Notes in Computer Science pp. 225-243 (2016).
Aleksandar Chakarov and Yuen-Lam (Vris) Voronin and Sriram Sankaranarayanan, Deductive Proofs of Almost Sure Persistence and Recurrence Properties In Tools and Algorithms for Construction and Analysis of Systems (TACAS), Volume 9636 of Lecture Notes in Computer Science pp. 260-279 (2016).
Aleksandar Chakarov and Sriram Sankaranarayanan, Expectation Invariants as Fixed Points of Probabilistic Programs In Static Analysis Symposium (SAS), Volume 8723 of Lecture Notes in Computer Science pp. 85-100 (2014). Note: Radhia Cousot Best Student Paper Award
## Probabilistic Programming (4) Sriram Sankaranarayanan and Yi Chou and Eric Goubault and Sylvie Putot, Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms In Advances in Neural Information Processing System (NeurIPS), pp. TBA (2020).
Yi Chou and Hansol Yoon and Sriram Sankaranarayanan, Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis In Intl. Conference on Intelligent Robots and Systems (IROS), pp. TBA (2020).
Sriram Sankaranarayanan, Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities In Foundations of Probabilistic Programming (Editors: Gilles Barthe, Joost-Pieter Katoen, and Alexandra Silva), pp. TBA (2020). Note: Draft (Comments Welcome)
Yi Chou and Sriram Sankaranarayanan, Bayesian parameter estimation for nonlinear ODEs using sensitivity analysis In International Joint Conference on Artificial Intelligence (IJCAI), pp. 5708-5714 (2019).
## Robotics (5) Arthur Claviere and Souradeep Dutta and Sriram Sankaranarayanan, Trajectory Tracking Control for Robotic Vehicles using Counterexample Guided Training of Neural Networks In International Conference on Automated Planning and Scheduling (ICAPS), pp. 680-688 (2019).
Hadi Ravanbakhsh and Sriram Sankaranarayanan and Sanjit A. Seshia, Formal Policy Learning from Demonstrations In International Conference on Robotics and Automation (ICRA), pp. 6037-6043 (2019).
Hadi Ravanbakhsh and Sriram Sankaranarayanan, Learning Control Lyapunov Functions from Counterexamples and Demonstrations In Autonomous Robots Vol. 43, pp. 275--307 (2018). Note: Special Issue for Robotics: Science and Systems (Online First Article)
Hadi Ravanbakhsh and Sina Aghli and Christoffer Heckman and Sriram Sankaranarayanan, Path-Following through Control Funnel Functions In Intelligent Robotics and Systems (IROS), pp. 401-408 (2018).
Hadi Ravanbakhsh and Sriram Sankaranarayanan, Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations In Robotics Science and Systems (RSS), pp. 16 (2017).
## Runtime Verification (5) Sriram Sankaranarayanan and Yi Chou and Eric Goubault and Sylvie Putot, Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms In Advances in Neural Information Processing System (NeurIPS), pp. TBA (2020).
Yi Chou and Hansol Yoon and Sriram Sankaranarayanan, Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis In Intl. Conference on Intelligent Robots and Systems (IROS), pp. TBA (2020).
Hansol Yoon and Yi Chou and Xin Chen and Eric Frew and Sriram Sankaranarayanan, Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs In International Conference on Runtime Verification (RV), pp. 349--367 (2019).
Ezio Bartocci and Jyotirmoy Deshmukh and Alexandre Donze and Georgios Fainekos and Oded Maler and Dejan Nickovic and Sriram Sankaranarayanan, Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications In In E. Bartocci and Y. Falcone (eds): Lectures on Runtime Verification, Volume 10457 of Lecture Notes in Computer Science pp. 135-175 (2018).
Xin Chen and Sriram Sankaranarayanan, Model-Predictive Real-Time Monitoring of Linear Systems In IEEE Real-Time Systems Symposium (RTSS), pp. 297-306 (2017).
## Side Channel Leak Analysis (1) Saeid Tizpaz-Niari and Pavol Cerny and Bor-Yuh Evan Chang and Sriram Sankaranarayanan and Ashutosh Trivedi, Discriminating Traces with Time In Tools and Algorithms for Construction and Analysis of Systems (TACAS), pp. 21-37 (2017).
## Software Verification (4) Sergio Mover and Sriram Sankaranarayanan and Rhys Olsen and Bor-Yuh Evan Chang, Mining framework usage graphs from app corpora In International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 277-289 (2018). Note: Winner of IEEE TCSE Distinguished Paper Award
Franjo Ivancic and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Takashi Imoto and Rakesh Pothengil and Mustafa Hussain, Scope bounded software verification in Varvel In Journal of Automated Software Engineering (J. ASE) Vol. (), pp. 1-14 (2014).
Arlen Cox and Bor-Yuh Evan Chang and Sriram Sankaranarayanan, QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers In Computer-Aided Verification (CAV), Volume 8559 of Lecture Notes in Computer Science pp. 866-873 (2014). Note: Tool Demonstration Paper
Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan, Abstract Acceleration of General Linear Loops In Principles of Programming Languages (POPL), pp. 529-540 (2014).
## Statistical Model Checking (4) Ram Das Diwakaran and Sriram Sankaranarayanan and Ashutosh Trivedi, Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems In Intl. Conference on Cyber-Physical Systems (ICCPS), pp. 109-119 (2017).
Yan Zhang and Sriram Sankaranarayanan and Benjamin Gyori, Simulation-Guided Parameter Synthesis for the Chance-Constrained Optimization of Control Systems In Proc. International Conference on Computer-Aided Design (ICCAD), pp. 208-215 (2015).
Yan Zhang and Sriram Sankaranarayanan and Fabio Somenzi, Statistically Sound Verification and Optimization for Complex Systems In Automated Techniques for Verification and Analysis (ATVA), Volume 8837 of Lecture Notes in Computer Science pp. 411-427 (2014).
Yan Zhang and Sriram Sankaranarayanan and Fabio Somenzi, Sparse statistical model inference for analog circuits under process variations In Asia and South Pacific Design Automation Conference (ASP-DAC), pp. 449-454 (2014).
## 2013Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Probabilistic Temporal Logic Falsification of Cyber-Physical Systems In ACM Transactions on Embedded Computing Systems (TECS) Vol. 12(12s), pp. 95 (2013) , ACM Press.
Vineet Kahlon, Sriram Sankaranarayanan, and Aarti Gupta, Static analysis for concurrent programs with applications
to data race detection In STTT Vol. 15(4), pp. 321-336 (2013) , Springer-Verlag.
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy Deshmukh, and James Kapinski, A trajectory splicing approach to concretizing counterexamples for hybrid systems In IEEE Conference on Decision and Control (CDC) pp. 3918-3925 (2013), IEEE Press.
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, and Erika Abraham, From statistical model checking to statistical model inference:
characterizing the effect of process variations in analog
circuits In International Conference on Computer-Aided
Design (ICCAD) pp. 662-669 (2013), IEEE/ACM Press.
Sriram Sankaranarayanan, Xin Chen, and Erika Abraham, Lyapunov Function Synthesis Using Handelman Representations In IFAC conference on Nonlinear Control Systems (NOLCOS) pp. 576-581 (2013).
Swarat Chaudhuri, Sriram Sankaranarayanan, and Moshe Vardi, Regular Real Analysis In IEEE Symposium on Logic in Computer Science (LICS) pp. 509-518 (2013), IEEE Press.
Aleksandar Chakarov, and Sriram Sankaranarayanan, Probabilistic Program Analysis using Martingales In Computer-Aided Verification (CAV) Volume 8044 of Lecture Notes in Computer Science, pp. 511-526 (2013), Springer-Verlag.
Xin Chen, Erika Abraham, and Sriram Sankaranarayanan, Flow*: An Analyzer for Non-Linear Hybrid Systems In Computer-Aided Verification (CAV) Volume 8044 of Lecture Notes in Computer Science, pp. 258-263 (2013), Springer-Verlag.
Sriram Sankaranarayanan, Aleksandar Chakarov, and Sumit Gulwani, Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths In ACM conference on Programming Languages Design and Implementation (PLDI) pp. 447-458 (2013), ACM Press.
Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh, Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference In Proc. International Conference on Software Engg. (NIER track) pp. 1165-1168 (2013), ACM Press.
Arlen Cox, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan, QUIC Graphs: Relational Invariant Generation for Containers In European Colloquium on Object-Oriented Programming (ECOOP) Volume 7920 of Lecture Notes in Computer Science, pp. 401-425 (2013), Springer-Verlag.
## 2012Xin Chen, Erika Abraham, and Sriram Sankaranarayanan, Taylor Model Flowpipe Construction for Non-linear Hybrid Systems In Real Time Systems Symposium (RTSS) pp. 183-192 (2012), IEEE Press.
Arlen Cox, Sriram Sankaranarayanan, and Bor-Yuh Evan Chang, A Bit too Precise? Bounded Verification of Quantized Digital Filters In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Volume 7214 of Lecture Notes in Computer Science, pp. 33-42 (2012).
Sriram Sankaranarayanan, and Georgios E Fainekos, Falsification of temporal properties of hybrid systems using
the cross-entropy method In HSCC pp. 125-134 (2012), ACM.
Georgios Fainekos, Sriram Sankaranarayanan, Koichi Ueda, and Hakan Yazarel, Verification of Automotive Control Applications using S-Taliro In American Control Conference (ACC) pp. 3567-3572 (2012), IEEE Press.
Aditya Zutshi, Sriram Sankaranarayanan, and Ashish Tiwari, Timed Relational Abstractions for Sampled Data Control Systems In Computer-Aided Verification (CAV) Volume 7358 of Lecture Notes in Computer Science, pp. 343-361 (2012), Springer-Verlag.
Sriram Sankaranarayanan, and Georgios Fainekos, Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System In Computational Methods in Systems Biology (CMSB) Volume 7605 of Lecture Notes in Computer Science, pp. 322-341 (2012), Springer-Verlag.
Kangjin Kim, Georgios E Fainekos, and Sriram Sankaranarayanan, On the revision problem of specification automata In ICRA pp. 5171-5176 (2012), IEEE Press.
Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, and Naveen Sharma, Object Model Construction for Inheritance in C Alejandro Sanchez, Sriram Sankaranarayanan, Cesar Sanchez, and Bor-Yuh Evan Chang, Invariant Generation for Parametrized Systems using Self-Reflection In Static Analysis Symposium (SAS) Volume 7460 of Lecture Notes in Computer Science, pp. 146-163 (2012), Springer-Verlag.
Yan Zhang, Sriram Sankaranarayanan, and Fabio Somenzi, Piecewise linear modeling of nonlinear devices for formal
verification of analog circuits In Formal Methods in Computer-Aided Design ( FMCAD 2012 ) pp. 196-203 (2012), IEEE Press.
Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, and Georgios E Fainekos, A model-based approach to synthesizing insulin infusion
pump usage parameters for diabetic patients In Allerton Conference pp. 1610-1617 (2012), IEEE Press.
## 2011Robert Frohardt, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan, Access Nets: Modeling Access to Physical Spaces In Verification, Model Checking, and Abstract Interpretation (VMCAI) Volume 6538 of Lecture Notes in Computer Science, pp. 184-198 (2011), Springer-Verlag.
Sriram Sankaranarayanan, Hadjar Homaei, and Clayton Lewis, Model-Based Dependability Analysis of Programmable Drug
Infusion Pumps In Formal Methods for Timed Systems (FORMATS) Volume 6919 of Lecture Notes in Computer Science, pp. 317-334 (2011).
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki, DC2: A framework for scalable, scope-bounded software verification In Automated Software Engg. (ASE) pp. 133-142 (2011), IEEE Press.
Yashwanth Annpureddy, Che Liu, Georgios E Fainekos, and Sriram Sankaranarayanan, S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid
Systems In Tools and Algorithms for Construction and Analysis of Systems (TACAS) Volume 6605 of Lecture Notes in Computer Science, pp. 254-257 (2011), Springer.
Jyotirmoy V Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan, Symbolic modular deadlock analysis In Autom. Softw. Eng. Vol. 18(3-4), pp. 325-362 (2011) .
Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Manu Sridharan, The Flow-Insensitive Precision of Andersen's Analysis in
Practice In SAS Volume 6887 of Lecture Notes in Computer Science, pp. 60-76 (2011).
Sriram Sankaranarayanan, and Ashish Tiwari, Relational Abstractions for Continuous and Hybrid Systems In Computer-Aided Verification (CAV) Volume 6806 of Lecture Notes in Computer Science, pp. 686-702 (2011), Springer-Verlag.
Michael Colon, and Sriram Sankaranarayanan, Generalizing the Template Polyhedral Domain In European Symposium on Programming (ESOP) Volume 6602 of Lecture Notes in Computer Science, pp. 176-195 (2011), Springer-Verlag.
Aleksandar Chakarov, Sriram Sankaranarayanan, and Georgios E Fainekos, Combining Time and Frequency Domain Specifications for Periodic
Signals In Runtime Verification (RV) Volume 7186 of Lecture Notes in Computer Science (LNCS), pp. 294-309 (2011), Springer-Verlag.
Huxley Bennett, and Sriram Sankaranarayanan, Model Counting Using the Inclusion-Exclusion Principle In Theory and Applications of Satisfiability Testing - SAT
2011 Volume 6695 of Lecture Notes in Computer Science, pp. 362-363 (2011), Springer-Verlag.
Sriram Sankaranarayanan, Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations In Hybrid Systems: Computation and Control (HSCC) pp. 143-152 (2011), ACM Press.
## 2010Truong Nghiem, Sriram Sankaranarayanan, Georgios E Fainekos, Franjo Ivancic, Aarti Gupta, and George J Pappas, Monte-carlo techniques for falsification of temporal properties
of non-linear hybrid systems In Hybrid Systems: Computation and Control pp. 211-220 (2010), ACM Press.
Sicun Gao, Malay K Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, and Edmund M Clarke, Integrating {ICP} and {LRA} Solvers for Deciding Nonlinear Real
Arithmetic Problems In Formal Methods for Computer-Aided Design (FMCAD) pp. 81-89 (2010), IEEE Press.
Sriram Sankaranarayanan, Automatic Invariant Generation for Hybrid Systems using Ideal Fixed Points In Hybrid Systems: Computation and Control pp. 211-230 (2010), ACM Press.
Franjo Ivancic, Malay Ganai, Sriram Sankaranarayanan, and Aarti Gupta, Numerical stability analysis of floating-point computations using software model checking In Formal Methods and Models for Codesign (MEMOCODE) pp. 49-58 (2010).
William R Harris, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Satisfiability Modulo Path Programs In ACM Principles of Programming Languages (POPL’10) pp. 71-82 (2010), ACM Press.
## 2009Vineet Kahlon, Sriram Sankaranarayanan, and Aarti Gupta, Semantic Reduction of Thread Interleavings in Concurrent
Programs In TACAS Volume 5505 of Lecture Notes in Computer Science, pp. 124-138 (2009).
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, and K. C. Shashidhar, Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models In Computer-Aided Verification (CAV) Volume 5643 of Lecture Notes in Computer Science, pp. 430-445 (2009), Springer-Verlag.
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Refining the control structure of loops using static analysis In Embedded Software (EMSOFT) pp. 49-58 (2009), ACM Press.
Georgios E Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Robustness of Model-Based Simulations In Real-Time Systems Symposium (RTSS) pp. 345-354 (2009), IEEE Press.
Jyotirmoy Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients In Automated Software Engg. (ASE) pp. 480-491 (2009), ACM Press.
Richard Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, and Vitaly Shmatikov, Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities In Computer Security Foundations (CSF) pp. 186-199 (2009), IEEE Press.
## 2008Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, and Aarti Gupta, SLR: Path-Sensitive Analysis through Infeasible-Path Detection
and Syntactic Language Refinement In SAS Volume 5079 of Lecture Notes in Computer Science, pp. 238-254 (2008), Springer-Verlag.
Sriram Sankaranarayanan, Thao Dang, and Franjo Ivancic, Symbolic Model Checking of Hybrid Systems Using Template
Polyhedra In TACAS Volume 4963 of Lecture Notes in Computer Science, pp. 188-202 (2008), Springer-Verlag.
Sriram Sankaranarayanan, Thao Dang, and Franjo Ivancic, A Policy Iteration Technique for Time Elapse over Template
Polyhedra In HSCC Volume 4981 of Lecture Notes in Computer Science, pp. 654-657 (2008), Springer-Verlag.
Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna, Constructing Invariants for Hybrid Systems In Formal Methods in System Design Vol. 32(1), pp. 25-55 (2008) .
Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, and Aarti Gupta, Dynamic inference of likely data preconditions over predicates
by tree learning In ISSTA pp. 295-306 (2008), ACM Press.
Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Mining library specifications using inductive logic programming In Intl. Symp. on Software Engg. (ICSE) pp. 131-140 (2008), ACM Press.
## 2007Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Program Analysis Using Symbolic Ranges In SAS Volume 4634 of Lecture Notes in Computer Science, pp. 366-383 (2007).
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, and Aarti Gupta, Fast and Accurate Static Data-Race Detection for Concurrent
Programs In Computer-Aided Verification (CAV) Volume 4590 of Lecture Notes in Computer Science, pp. 226-239 (2007).
Matteo Slanina, Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Controller Synthesis of Discrete Linear Plants Using Polyhedra In REACT Technical Report (Stanford University) Vol. 1(1), pp. 1-14 (2007) .
Sriram Sankaranarayanan, Richard M Chang, Guofei Jiang, and Franjo Ivancic, State space exploration using feedback constraint generation
and Monte-Carlo sampling In ESEC/SIGSOFT FSE pp. 321-330 (2007), ACM Press.
## 2006Sriram Sankaranarayanan, Michael Colon, Henny B Sipma, and Zphar Manna, Efficient Strongly Relational Polyhedral Analysis In VMCAI Volume 3855 of Lecture Notes in Computer Science, pp. 111-125 (2006).
Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, and Aarti Gupta, Static Analysis in Disjunctive Numerical Domains In SAS Volume 4134 of Lecture Notes in Computer Science, pp. 3-17 (2006).
Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna, Fixed Point Iteration for Computing the Time Elapse Operator In HSCC Volume 3927 of Lecture Notes in Computer Science, pp. 537-551 (2006).
## 2005Ben D Angelo, Sriram Sankaranarayanan, Cesar Sanchez, and Many Others, {LOLA:} Runtime Monitoring of Synchronous Systems In Proc. TIME’05 pp. 166-174 (2005), IEEE computer society.
Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny Sipma, Collecting Statistics over Runtime Executions In Formal Methods In System Design Vol. 27(3), pp. 253-274 (2005) .
Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Scalable Analysis of Linear Systems using Mathematical Programming In Verification, Model-Checking and Abstract-Interpretation (VMCAI 2005) Volume 3385 of Lecture Notes in Computer Science, pp. 25-41 (2005).
## 2004Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna, Non-linear Loop Invariant Generation using Groebner Bases In ACM Principles of Programming Languages (POPL) pp. 318-330 (2004), ACM Press.
Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Constraint-based Linear-Relations Analysis In Static Analysis Symposium (SAS 2004) Volume 3148 of Lecture Notes in Computer Science, pp. 53-69 (2004), Springer-Verlag.
Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Constructing Invariants for Hybrid Systems In Hybrid Systems: Computation and Control (HSCC 2004) Volume 2993 of Lecture Notes in Computer Science, pp. 539-555 (2004), Springer-Verlag.
## 2003Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, and David Dill, Event Correlation: Language and Semantics In EMSOFT Volume 2855 of Lecture Notes in Computer Science, pp. 323-339 (2003).
Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Petri Net Analysis using Invariant Generation In Verification: Theory and Practice Volume 2772 of Lecture Notes in Computer Science, pp. 682-701 (2003), Springer-Verlag.
Michael Colon, Sriram Sankaranarayanan, and Henny Sipma, Linear Invariant Generation using Non-linear Constraint Solving In Computer-Aided Verification (CAV) Volume 2725 of Lecture Notes in Computer Science, pp. 420-433 (2003), Springer-Verlag.
## 2002Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny Sipma, Collecting Statistics over Runtime Executions In Runtime Verification (RV 2002) Volume 70 of Elec. Notes Theor. Comp. Sci, pp. 36-54 (2002).
## 2001 |