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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan, Abstract Acceleration of General Linear Loops In Principles of Programming Languages (POPL), pp. 529-540 (2014).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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.
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

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)
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

Hadi Ravanbakhsh and Sriram Sankaranarayanan, Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations In Robotics Science and Systems (RSS), pp. 16 (2017).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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.
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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.
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

Xin Chen and Sriram Sankaranarayanan, Model-Predictive Real-Time Monitoring of Linear Systems In IEEE Real-Time Systems Symposium (RTSS), pp. 297-306 (2017).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

Xin Chen and Sriram Sankaranarayanan, Decomposed Reachability Analysis for Nonlinear Systems In IEEE Real Time Systems Symposium (RTSS), pp. 13--24 (2016).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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.
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

Xin Chen and Sriram Sankaranarayanan, Decomposed Reachability Analysis for Nonlinear Systems In IEEE Real Time Systems Symposium (RTSS), pp. 13--24 (2016).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

Sriram Sankaranarayanan, Change of Basis Abstractions for Non-Linear Hybrid Systems In Nonlinear Analysis: Hybrid Systems Vol. 19, pp. 107-133 (2016).
URL     Abstract     Bib     Topics     Supplementary    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

Sriram Sankaranarayanan, Change of Basis Abstractions for Non-Linear Hybrid Systems In Nonlinear Analysis: Hybrid Systems Vol. 19, pp. 107-133 (2016).
URL     Abstract     Bib     Topics     Supplementary    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics     Supplementary    

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).
URL     Abstract     Bib     Topics    

Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan, Abstract Acceleration of General Linear Loops In Principles of Programming Languages (POPL), pp. 529-540 (2014).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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.
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

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).
URL     Abstract     Bib     Topics    

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)
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

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)
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

Hadi Ravanbakhsh and Sriram Sankaranarayanan, Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations In Robotics Science and Systems (RSS), pp. 16 (2017).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics     Supplementary    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

Xin Chen and Sriram Sankaranarayanan, Model-Predictive Real-Time Monitoring of Linear Systems In IEEE Real-Time Systems Symposium (RTSS), pp. 297-306 (2017).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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
URL     Abstract     Bib     Topics     Supplementary    

Bertrand Jeannet and Peter Schrammel and Sriram Sankaranarayanan, Abstract Acceleration of General Linear Loops In Principles of Programming Languages (POPL), pp. 529-540 (2014).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

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).
URL     Abstract     Bib     Topics    

2013

Houssam 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.
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Bibtex      

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. Note: Invited Session on Formal Methods in Control
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

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). Note: Invited Session on Reliable methods for control, state estimation and parameter identification of uncertain dynamic systems
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

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. Note: ACM SIGPLAN Distinguished Paper Award.
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

2012

Xin 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.
PDF       Abstract       Supplementary Material       Bibtex      

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).
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Bibtex      

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. Note: Invited Session on Verification of Automotive Control Systems
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

Kangjin Kim, Georgios E Fainekos, and Sriram Sankaranarayanan, On the revision problem of specification automata In ICRA pp. 5171-5176 (2012), IEEE Press.
PDF       Abstract       Bibtex      

Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, and Naveen Sharma, Object Model Construction for Inheritance in C and Its Applications to Program Analysis In Compiler Construction (CC) Volume 7210 of Lecture Notes in Computer Science, pp. 144-164 (2012), Springer-Verlag.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

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. Note: Invited Paper appeared in special session on Cyber-Physical Systems
PDF       Abstract       Bibtex      

2011

Robert 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.
PDF       Abstract       Supplementary Material       Bibtex      

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).
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

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) . Note: Journal version of ASE 2009 paper. DOI:10.1007s10515-011-0085-0 /
PDF       Abstract       Bibtex      

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).
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

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.
PDF       Abstract       Bibtex      

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. Note: Link to the published version
PDF       Abstract       Bibtex      

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. Note: Huck Bennett's MS thesis (Chapter 3) has more details, including some generalizations to Bonferroni inequalities.
PDF       Abstract       Bibtex      

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. Note: Please see extended version
PDF       Abstract       Bibtex      

2010

Truong 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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

Sriram Sankaranarayanan, Automatic Invariant Generation for Hybrid Systems using Ideal Fixed Points In Hybrid Systems: Computation and Control pp. 211-230 (2010), ACM Press.
PDF       Abstract       Bibtex      

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).
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

2009

Vineet 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).
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

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. Note: ACM SIGSOFT distinguished paper award
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

2008

Gogul 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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

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) . Note: Special Issue For HSCC 2004
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

2007

Sriram 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).
PDF       Abstract       Bibtex      

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).
PDF       Abstract       Bibtex      

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) .
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Bibtex      

2006

Sriram 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).
PDF       Abstract       Bibtex      

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).
PDF       Abstract       Bibtex      

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).
PDF       Abstract       Bibtex      

2005

Ben 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.
PDF       Abstract       Bibtex      

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) .
PDF       Abstract       Bibtex      

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).
PDF       Abstract       Supplementary Material       Bibtex      

2004

Sriram 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.
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

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. Note: Award Paper: Invited to appear in special issue of formal methods in systems design
PDF       Abstract       Bibtex      

2003

Cesar 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).
PDF       Abstract       Bibtex      

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. Note: Invited Paper for Zohar Manna festschrif
PDF       Abstract       Bibtex      

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.
PDF       Abstract       Supplementary Material       Bibtex      

2002

Bernd 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). Note: Invited to appear in special issue in J. Formal Methods in Systems Design
PDF       Abstract       Bibtex      

2001

Pallab Dasgupta, Partha P Chakrabarti, Jatinder Deka, and Sriram Sankaranarayanan, Min-max Computation Tree Logic In Artificial Intelligence Vol. 127(1), pp. 137-162 (2001) .
PDF       Abstract       Bibtex