publications

publications by year.

2021

  1. Technical perspective: An elegant model for deriving equations
    Sriram Sankaranarayanan
    Communications of ACM, 64 (7) pp. 90, 2021.
  2. Probabilistic Specification Learning for Planning with Safety Constraints
    Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, and Morteza Lahijanian
    In Intelligent Robots and Systems (IROS), pp. TBA, 2021.
    Note: To Appear.
  3. Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference
    Hansol Yoon, and Sriram Sankaranarayanan
    In International Conference on Robotics and Automation (ICRA), pp. TBA, 2021.
    Note: Cf. here for a video demo .

2020

  1. Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms
    Sriram Sankaranarayanan, Yi Chou, Eric Goubault, and Sylvie Putot
    In Advances in Neural Information Processing System (NeurIPS), 2020.
  2. Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis
    Yi Chou, Hansol Yoon, and Sriram Sankaranarayanan
    In Intl. Conference on Intelligent Robots and Systems (IROS), pp. 2111-2118, 2020.
  3. Weighted Transducers for Robustness Verification
    Emmanuel Filiot, Nicolas Mazzocchi, Jean-Francois Raskin, Sriram Sankaranarayanan, and Ashutosh Trivedi
    In Intl. Conference on Concurrency Theory (CONCUR), pp. 17:1–17:21, 2020.
  4. Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
    Sriram Sankaranarayanan
    In Foundations of Probabilistic Programming (Editors: Gilles Barthe, Joost-Pieter Katoen, and Alexandra Silva), 2020.
  5. Multi-hour Blood Glucose Prediction in T1D: A Patient Specific Approach using Shallow Neural Network Models
    Taisa Kushner, Marc D. Breton, and Sriram Sankaranarayanan
    Diabetes Technology and Therapeutics, TBA (TBA) pp. TBA, 2020.
  6. Conformance verification for neural network models of glucose-insulin dynamics
    Taisa Kushner, Sriram Sankaranarayanan, and Marc Breton
    In Hybrid Systems: Computation and Control (HSCC), pp. 13:1–13:12, 2020.
  7. Reachability Analysis using Message Passing over Tree Decompositions.
    Sriram Sankaranarayanan
    In International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science (LNCS) Vol. 12224, pp. 604–628, 2020.
  8. Unbounded-Time Safety Verification of Stochastic Differential Dynamics
    Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, and Naijun Zhan
    In International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science (LNCS) Vol. 12225, pp. 327–348, 2020.

2019

  1. Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs
    Hansol Yoon, Yi Chou, Xin Chen, Eric Frew, and Sriram Sankaranarayanan
    In International Conference on Runtime Verification (RV), Vol. 11757, pp. 349–367, 2019.
  2. Bayesian parameter estimation for nonlinear ODEs using sensitivity analysis
    Yi Chou, and Sriram Sankaranarayanan
    In International Joint Conference on Artificial Intelligence (IJCAI), pp. 5708-5714, 2019.
  3. Formal Techniques for Verification and Testing of Cyber-Physical Systems
    Jyotirmoy Deshmukh, and Sriram Sankaranarayanan
    In Design Automation of Cyber-Physical Systems ( Edited by Arquimedes Canedo and Mohammad Al Faruque) , pp. 69-105, 2019.
  4. Models, Devices, Properties and Verification of Artificial Pancreas Systems
    Taisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory Forlenza, David Maahs, and Sriram Sankaranarayanan
    In Automated Reasoning for Systems Biology And Medicine (Edited by Paulo Zuliani and Pietro Lio), pp. 93-131, 2019.
  5. Trajectory Tracking Control for Robotic Vehicles using Counterexample Guided Training of Neural Networks
    Arthur Claviere, Souradeep Dutta, and Sriram Sankaranarayanan
    In International Conference on Automated Planning and Scheduling (ICAPS), pp. 680-688, 2019.
  6. Factory-Calibrated Continuous Glucose Monitoring: How and Why It Works, and the Dangers of Reuse Beyond Approved Duration of Wear
    Gregory Forlenza, Taisa Kushner, Laurel Messer, R. Paul Wadwa, and Sriram Sankaranarayanan
    Diabetes: Technology and Therapeutics, 21 (4) pp. 222-229, 2019.
    Note: Peer-Reviewed Commentary..
  7. Formal Policy Learning from Demonstrations
    Hadi Ravanbakhsh, Sriram Sankaranarayanan, and Sanjit A. Seshia
    In International Conference on Robotics and Automation (ICRA), pp. 6037-6043, 2019.
  8. Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
    Souradeep Dutta, Xin Chen, and Sriram Sankaranarayanan
    In Hybrid Systems: Computation and Control (HSCC), pp. 157–168, 2019.
    Note: Special session on Safe Autonomy, AI and ML for CPS..

2018

  1. Template polyhedra and bilinear optimization
    Jessica Gronski, Mohamed-Amin Ben Sassi, Stephen Becker, and Sriram Sankaranarayanan
    Formal Methods in System Design, 54 pp. 27-63, 2018.
  2. Learning Control Lyapunov Functions from Counterexamples and Demonstrations
    Hadi Ravanbakhsh, and Sriram Sankaranarayanan
    Autonomous Robots, 43 pp. 275–307, 2018.
    Note: Special Issue for Robotics: Science and Systems (Online First Article).
  3. Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
    Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donze, Georgios Fainekos, Oded Maler, Dejan Nickovic, and Sriram Sankaranarayanan
    In E. Bartocci and Y. Falcone (eds): Lectures on Runtime Verification, Lecture Notes in Computer Science Vol. 10457, pp. 135-175, 2018.
  4. Path-Following through Control Funnel Functions
    Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, and Sriram Sankaranarayanan
    In Intelligent Robotics and Systems (IROS), pp. 401-408, 2018.
  5. Robust Data-Driven Control of Artificial Pancreas Systems using Neural Networks
    Souradeep Dutta, Taisa Kushner, and Sriram Sankaranarayanan
    In Computational Methods in Systems Biology, Lecture Notes In Computer Science Vol. 11095, pp. 183-202, 2018.
  6. Learning and Verification of Feedback Control Systems using Feedforward Neural Networks
    Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari
    In IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Vol. 51, pp. 151-156, 2018.
  7. Mining framework usage graphs from app corpora
    Sergio Mover, Sriram Sankaranarayanan, Rhys Olsen, and Bor-Yuh Evan Chang
    In International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 277-289, 2018.
    Note: Winner of IEEE TCSE Distinguished Paper Award.
  8. A Data-Driven Approach to Artificial Pancreas Verification and Synthesis.
    Taisa Kushner, David Bortz, David Maahs, and Sriram Sankaranarayanan
    In Intl. Conference on Cyber-Physical Systems (ICCPS’18), pp. 242-252, 2018.
  9. Output Range Analysis for Deep Feedforward Neural Networks
    Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari
    In Proceedings of NASA Formal Methods Symposium (NFM), Lecture Notes In Computer Science Vol. 10811, pp. 121-138, 2018.

2017

  1. Model-Predictive Real-Time Monitoring of Linear Systems
    Xin Chen, and Sriram Sankaranarayanan
    In IEEE Real-Time Systems Symposium (RTSS), pp. 297-306, 2017.
  2. Template Polyhedra with a Twist
    Sriram Sankaranarayanan, and Mohamed Amin Ben Sassi
    In Static Analysis Symposium (SAS), Lecture Notes in Computer Science Vol. 10422, pp. 321-341, 2017.
  3. Compositional Relational Abstraction for Nonlinear Systems
    Xin Chen, Sergio Mover, and Sriram Sankaranarayanan
    ACM Transactions on Embedded Computing Systems (Special Issue for EMSOFT 2017), 16(5s) pp. 187, 2017.
    Note: EMSOFT 2017 Best Paper Award Nomination.
  4. Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations
    Hadi Ravanbakhsh, and Sriram Sankaranarayanan
    In Robotics Science and Systems (RSS), pp. 16, 2017.
  5. Discriminating Traces with Time
    Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi
    In Tools and Algorithms for Construction and Analysis of Systems (TACAS), Vol. 10206, pp. 21-37, 2017.
  6. Formal Verification of a Multi-Basal Insulin Infusion Control Model.
    Xin Chen, Souradeep Dutta, and Sriram Sankaranarayanan
    In Workshop on Applied Verification of Hybrid Systems (ARCH), pp. 16, 2017.
  7. Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems
    Ram Das Diwakaran, Sriram Sankaranarayanan, and Ashutosh Trivedi
    In Intl. Conference on Cyber-Physical Systems (ICCPS), pp. 109-119, 2017.

2016

  1. Decomposed Reachability Analysis for Nonlinear Systems
    Xin Chen, and Sriram Sankaranarayanan
    In IEEE Real Time Systems Symposium (RTSS), pp. 13–24, 2016.
  2. Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
    Pierre Roux, Yuen-Lam Voronin, and Sriram Sankaranarayanan
    In Static Analysis Symposium (SAS), Lecture Notes in Computer Science Vol. 9837, pp. 424–446, 2016.
  3. Robust Controller Synthesis of Switched Systems Using Counterexample Guided Framework
    Hadi Ravanbakhsh, and Sriram Sankaranarayanan
    In ACM/IEEE Conference on Embedded Software (EMSOFT), pp. 8:1-8:10, 2016.
  4. Model-Based Falsification of an Artificial Pancreas Control System.
    Sriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios Fainekos, and David M. Maahs
    ACM SIGBED Review (Special Issue on Medical Cyber Physical Systems) , 14 (2) pp. 24-33, 2016.
    Note: Presented at MEDCPS Workshop 2016.
  5. Uncertainty Propagation using Probabilistic Affine Forms and Concentration of Measure Inequalities
    Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, and Sriram Sankaranarayanan
    In Tools and Algorithms for Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science Vol. 9636, pp. 225-243, 2016.
  6. Deductive Proofs of Almost Sure Persistence and Recurrence Properties
    Aleksandar Chakarov, Yuen-Lam (Vris) Voronin, and Sriram Sankaranarayanan
    In Tools and Algorithms for Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science Vol. 9636, pp. 260-279, 2016.
  7. Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software
    Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy Deshmukh, and Xiaoqing Jin
    In Hybrid Systems: Computation and Control (HSCC), pp. 135-144, 2016.
    Note: Winner of HSCC 2016 Best Student Paper Award.
  8. Change of Basis Abstractions for Non-Linear Hybrid Systems
    Sriram Sankaranarayanan
    Nonlinear Analysis: Hybrid Systems, 19 pp. 107-133, 2016.
  9. Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis
    Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, and Erika Abraham
    IMA Journal of Mathematical Control and Information, 33 (3) pp. 723-756, 2016.

2015

  1. Counter-Example Guided Synthesis of Control Lyapunov Functions For Switched Systems
    Hadi Ravanbakhsh, and Sriram Sankaranarayanan
    In IEEE Control and Decision Conference (CDC), pp. 4232-4239, 2015.
  2. Refining the Closed Loop in the Data Age: Research-to-Practice Transitions in Diabetes Technology (Editorial)
    Gregory P. Forlenza, Sriram Sankaranarayanan, and David M. Maahs
    Diabetes Technology and Therapeutics, 17 (5) pp. 304-306, 2015.
  3. Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification
    Fraser Cameron, Georgios Fainekos, David M. Maahs, and Sriram Sankaranarayanan
    In Proceedings of Runtime Verification (RV’15), Lecture Notes in Computer Science Vol. 9333, pp. 3-17, 2015.
    Note: Invited Keynote Paper.
  4. Simulation-Guided Parameter Synthesis for the Chance-Constrained Optimization of Control Systems
    Yan Zhang, Sriram Sankaranarayanan, and Benjamin Gyori
    In Proc. International Conference on Computer-Aided Design (ICCAD), pp. 208-215, 2015.

2014

  1. Iterative Computation of Polyhedral Invariants Sets for Polynomial Dynamical Systems
    Mohamed Amin Ben Sassi, Antoine Girard, and Sriram Sankaranarayanan
    In IEEE Conference on Decision and Control (CDC), pp. 6348-6353, 2014.
  2. Statistically Sound Verification and Optimization for Complex Systems
    Yan Zhang, Sriram Sankaranarayanan, and Fabio Somenzi
    In Automated Techniques for Verification and Analysis (ATVA), Lecture Notes in Computer Science Vol. 8837, pp. 411-427, 2014.
  3. Determination of personalized diabetes treatment plans using a two-delay model
    Stephen M. Kissler, Cody Cichowitz, Sriram Sankaranarayanan, and David M. Bortz
    J. Theoretical Biology, 359 (Oct) pp. 101-111, 2014.
  4. Infinite Horizon Safety Controller Synthesis through Disjunctive Polyhedral Abstract Interpretation
    Hadi Ravanbakhsh, and Sriram Sankaranarayanan
    In Intl. Conference on Embedded Software (EMSOFT), pp. 15:1-15:10, 2014.
  5. Under-approximate Flowpipes for Non-linear Continuous Systems
    Xin Chen, Sriram Sankaranarayanan, and Erika Abraham
    In Formal Methods in Computer-Aided Design (FMCAD), pp. 59-66, 2014.
  6. Multiple-Shooting CEGAR-based falsification for hybrid systems
    Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy Deshmukh, and James Kapinski
    In Intl. Conference on Embedded Software (EMSOFT), pp. 5:1 - 5:10, 2014.
    Note: Winner of EMSOFT 2015 Best Paper Award.
  7. Scope bounded software verification in Varvel
    Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, and Mustafa Hussain
    Journal of Automated Software Engineering (J. ASE), pp. 1-14, 2014.
  8. Expectation Invariants as Fixed Points of Probabilistic Programs
    Aleksandar Chakarov, and Sriram Sankaranarayanan
    In Static Analysis Symposium (SAS), Lecture Notes in Computer Science Vol. 8723, pp. 85-100, 2014.
  9. QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
    Arlen Cox, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan
    In Computer-Aided Verification (CAV), Lecture Notes in Computer Science Vol. 8559, pp. 866-873, 2014.
    Note: Tool Demonstration Paper.
  10. Finding Non-Polynomial Positive Invariants and Lyapunov Functions for Polynomial Systems through Darboux Polynomials
    Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, and Sriram Sankaranarayanan
    In Proc. American Control Conference (ACC), pp. 3571 - 3578, 2014.
  11. Abstract Acceleration of General Linear Loops
    Bertrand Jeannet, Peter Schrammel, and Sriram Sankaranarayanan
    In Principles of Programming Languages (POPL), pp. 529-540, 2014.
  12. Sparse statistical model inference for analog circuits under process variations
    Yan Zhang, Sriram Sankaranarayanan, and Fabio Somenzi
    In Asia and South Pacific Design Automation Conference (ASP-DAC), pp. 449-454, 2014.

2013

  1. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
    Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta
    ACM Transactions on Embedded Computing Systems (TECS), 12 (12s) pp. 95, 2013.
  2. Static analysis for concurrent programs with applications to data race detection
    Vineet Kahlon, Sriram Sankaranarayanan, and Aarti Gupta
    STTT, 15 (4) pp. 321-336, 2013.
  3. A trajectory splicing approach to concretizing counterexamples for hybrid systems
    Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy Deshmukh, and James Kapinski
    In IEEE Conference on Decision and Control (CDC), pp. 3918-3925, 2013.
  4. From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits
    Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, and Erika Abraham
    In International Conference on Computer-Aided Design (ICCAD), pp. 662-669, 2013.
  5. Lyapunov Function Synthesis Using Handelman Representations
    Sriram Sankaranarayanan, Xin Chen, and Erika Abraham
    In IFAC conference on Nonlinear Control Systems (NOLCOS), pp. 576-581, 2013.
  6. Regular Real Analysis
    Swarat Chaudhuri, Sriram Sankaranarayanan, and Moshe Vardi
    In IEEE Symposium on Logic in Computer Science (LICS), pp. 509-518, 2013.
  7. Probabilistic Program Analysis using Martingales
    Aleksandar Chakarov, and Sriram Sankaranarayanan
    In Computer-Aided Verification (CAV), Lecture Notes in Computer Science Vol. 8044, pp. 511-526, 2013.
  8. Flow*: An Analyzer for Non-Linear Hybrid Systems
    Xin Chen, Erika Abraham, and Sriram Sankaranarayanan
    In Computer-Aided Verification (CAV), Lecture Notes in Computer Science Vol. 8044, pp. 258-263, 2013.
  9. Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
    Sriram Sankaranarayanan, Aleksandar Chakarov, and Sumit Gulwani
    In ACM conference on Programming Languages Design and Implementation (PLDI), pp. 447-458, 2013.
  10. Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference
    Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh
    In Proc. International Conference on Software Engg. (NIER track), pp. 1165-1168, 2013.
  11. QUIC Graphs: Relational Invariant Generation for Containers
    Arlen Cox, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan
    In European Colloquium on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science Vol. 7920, pp. 401-425, 2013.

2012

  1. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
    Xin Chen, Erika Abraham, and Sriram Sankaranarayanan
    In Real Time Systems Symposium (RTSS), pp. 183-192, 2012.
  2. A Bit too Precise? Bounded Verification of Quantized Digital Filters
    Arlen Cox, Sriram Sankaranarayanan, and Bor-Yuh Evan Chang
    In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science Vol. 7214, pp. 33-42, 2012.
  3. Falsification of temporal properties of hybrid systems using the cross-entropy method
    Sriram Sankaranarayanan, and Georgios E. Fainekos
    In HSCC, pp. 125-134, 2012.
  4. Verification of Automotive Control Applications using S-Taliro
    Georgios Fainekos, Sriram Sankaranarayanan, Koichi Ueda, and Hakan Yazarel
    In American Control Conference (ACC), pp. 3567-3572, 2012.
  5. Timed Relational Abstractions for Sampled Data Control Systems
    Aditya Zutshi, Sriram Sankaranarayanan, and Ashish Tiwari
    In Computer-Aided Verification (CAV), Lecture Notes in Computer Science Vol. 7358, pp. 343-361, 2012.
  6. Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System
    Sriram Sankaranarayanan, and Georgios Fainekos
    In Computational Methods in Systems Biology (CMSB), Lecture Notes in Computer Science Vol. 7605, pp. 322-341, 2012.
  7. On the revision problem of specification automata
    Kangjin Kim, Georgios E. Fainekos, and Sriram Sankaranarayanan
    In ICRA, pp. 5171-5176, 2012.
  8. Invariant Generation for Parametrized Systems using Self-Reflection
    Alejandro Sanchez, Sriram Sankaranarayanan, Cesar Sanchez, and Bor-Yuh Evan Chang
    In Static Analysis Symposium (SAS), Lecture Notes in Computer Science Vol. 7460, pp. 146-163, 2012.
  9. Piecewise linear modeling of nonlinear devices for formal verification of analog circuits
    Yan Zhang, Sriram Sankaranarayanan, and Fabio Somenzi
    In Formal Methods in Computer-Aided Design ( FMCAD 2012 ), pp. 196-203, 2012.
  10. Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis
    Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, and Naveen Sharma
    In Compiler Construction (CC), Lecture Notes in Computer Science Vol. 7210, pp. 144-164, 2012.
  11. A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients
    Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, and Georgios E. Fainekos
    In Allerton Conference, pp. 1610-1617, 2012.

2011

  1. Access Nets: Modeling Access to Physical Spaces
    Robert Frohardt, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan
    In Verification, Model Checking, and Abstract Interpretation (VMCAI), Lecture Notes in Computer Science Vol. 6538, pp. 184-198, 2011.
  2. Model-Based Dependability Analysis of Programmable Drug Infusion Pumps
    Sriram Sankaranarayanan, Hadjar Homaei, and Clayton Lewis
    In Formal Methods for Timed Systems (FORMATS), Lecture Notes in Computer Science Vol. 6919, pp. 317-334, 2011.
  3. DC2: A framework for scalable, scope-bounded software verification
    Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki
    In Automated Software Engg. (ASE), pp. 133-142, 2011.
  4. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
    Yashwanth Annpureddy, Che Liu, Georgios E. Fainekos, and Sriram Sankaranarayanan
    In Tools and Algorithms for Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science Vol. 6605, pp. 254-257, 2011.
  5. Symbolic modular deadlock analysis
    Jyotirmoy V. Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan
    Autom. Softw. Eng., 18 (3-4) pp. 325-362, 2011.
  6. The Flow-Insensitive Precision of Andersen’s Analysis in Practice
    Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Manu Sridharan
    In Static Analysis Symposium (SAS), Lecture Notes in Computer Science Vol. 6887, pp. 60-76, 2011.
  7. Relational Abstractions for Continuous and Hybrid Systems
    Sriram Sankaranarayanan, and Ashish Tiwari
    In Computer-Aided Verification (CAV), Lecture Notes in Computer Science Vol. 6806, pp. 686-702, 2011.
  8. Generalizing the Template Polyhedral Domain
    Michael Colon, and Sriram Sankaranarayanan
    In European Symposium on Programming (ESOP), Lecture Notes in Computer Science Vol. 6602, pp. 176-195, 2011.
  9. Combining Time and Frequency Domain Specifications for Periodic Signals
    Aleksandar Chakarov, Sriram Sankaranarayanan, and Georgios E. Fainekos
    In Runtime Verification (RV), Lecture Notes in Computer Science (LNCS) Vol. 7186, pp. 294-309, 2011.
  10. Model Counting Using the Inclusion-Exclusion Principle
    Huxley Bennett, and Sriram Sankaranarayanan
    In Theory and Applications of Satisfiability Testing - SAT 2011, Lecture Notes in Computer Science Vol. 6695, pp. 362-363, 2011.
  11. Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations
    Sriram Sankaranarayanan
    In Hybrid Systems: Computation and Control (HSCC), pp. 143-152, 2011.

2010

  1. Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
    Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, and George J. Pappas
    In Hybrid Systems: Computation and Control, pp. 211-220, 2010.
  2. Integrating ICP and LRA Solvers for Deciding Nonlinear Real Arithmetic Problems
    Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, and Edmund M. Clarke
    In Formal Methods for Computer-Aided Design (FMCAD), pp. 81-89, 2010.
  3. Automatic Invariant Generation for Hybrid Systems using Ideal Fixed Points
    Sriram Sankaranarayanan
    In Hybrid Systems: Computation and Control, pp. 211-230, 2010.
  4. Numerical stability analysis of floating-point computations using software model checking
    Franjo Ivancic, Malay Ganai, Sriram Sankaranarayanan, and Aarti Gupta
    In Formal Methods and Models for Codesign (MEMOCODE), pp. 49-58, 2010.
  5. Satisfiability Modulo Path Programs
    William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta
    In ACM Principles of Programming Languages (POPL’10), pp. 71-82, 2010.

2009

  1. Semantic Reduction of Thread Interleavings in Concurrent Programs
    Vineet Kahlon, Sriram Sankaranarayanan, and Aarti Gupta
    In TACAS, Lecture Notes in Computer Science Vol. 5505, pp. 124-138, 2009.
  2. Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models
    Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, and K. C. Shashidhar
    In Computer-Aided Verification (CAV), Lecture Notes in Computer Science Vol. 5643, pp. 430-445, 2009.
  3. Refining the control structure of loops using static analysis
    Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta
    In Embedded Software (EMSOFT), pp. 49-58, 2009.
  4. Robustness of Model-Based Simulations
    Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta
    In Real-Time Systems Symposium (RTSS), pp. 345-354, 2009.
  5. Symbolic Deadlock Analysis in Concurrent Libraries and their Clients
    Jyotirmoy Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan
    In Automated Software Engg. (ASE), pp. 480-491, 2009.
  6. Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities
    Richard Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, and Vitaly Shmatikov
    In Computer Security Foundations (CSF), pp. 186-199, 2009.

2008

  1. SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
    Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, and Aarti Gupta
    In SAS, Lecture Notes in Computer Science Vol. 5079, pp. 238-254, 2008.
  2. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
    Sriram Sankaranarayanan, Thao Dang, and Franjo Ivancic
    In TACAS, Lecture Notes in Computer Science Vol. 4963, pp. 188-202, 2008.
  3. A Policy Iteration Technique for Time Elapse over Template Polyhedra
    Sriram Sankaranarayanan, Thao Dang, and Franjo Ivancic
    In HSCC, Lecture Notes in Computer Science Vol. 4981, pp. 654-657, 2008.
  4. Constructing Invariants for Hybrid Systems
    Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna
    Formal Methods in System Design, 32 (1) pp. 25-55, 2008.
  5. Dynamic inference of likely data preconditions over predicates by tree learning
    Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, and Aarti Gupta
    In Intl. Symposium on Software Testing and Analysis (ISSTA), pp. 295-306, 2008.
  6. Mining library specifications using inductive logic programming
    Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta
    In Intl. Symp. on Software Engg. (ICSE), pp. 131-140, 2008.

2007

  1. Program Analysis Using Symbolic Ranges
    Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta
    In Static Analysis Symposium, Lecture Notes in Computer Science Vol. 4634, pp. 366-383, 2007.
  2. Fast and Accurate Static Data-Race Detection for Concurrent Programs
    Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, and Aarti Gupta
    In Computer-Aided Verification (CAV), Lecture Notes in Computer Science Vol. 4590, pp. 226-239, 2007.
  3. Controller Synthesis of Discrete Linear Plants Using Polyhedra
    Matteo Slanina, Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna
    REACT Technical Report (Stanford University), 1 (1) pp. 1-14, 2007.
  4. State space exploration using feedback constraint generation and Monte-Carlo sampling
    Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, and Franjo Ivancic
    In ESEC/SIGSOFT FSE, pp. 321-330, 2007.

2006

  1. Efficient Strongly Relational Polyhedral Analysis
    Sriram Sankaranarayanan, Michael Colon, Henny B. Sipma, and Zphar Manna
    In VMCAI, Lecture Notes in Computer Science Vol. 3855, pp. 111-125, 2006.
  2. Static Analysis in Disjunctive Numerical Domains
    Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, and Aarti Gupta
    In Static Analysis Symposium, Lecture Notes in Computer Science Vol. 4134, pp. 3-17, 2006.
  3. Fixed Point Iteration for Computing the Time Elapse Operator
    Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna
    In HSCC, Lecture Notes in Computer Science Vol. 3927, pp. 537-551, 2006.

2005

  1. LOLA: Runtime Monitoring of Synchronous Systems
    Ben D. Angelo, Sriram Sankaranarayanan, Cesar Sanchez, and Many Others
    In Proc. TIME’05, pp. 166-174, 2005.
  2. Collecting Statistics over Runtime Executions
    Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny Sipma
    Formal Methods In System Design, 27 (3) pp. 253-274, 2005.
  3. Scalable Analysis of Linear Systems using Mathematical Programming
    Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna
    In Verification, Model-Checking and Abstract-Interpretation (VMCAI 2005), Lecture Notes in Computer Science Vol. 3385, pp. 25-41, 2005.

2004

  1. Non-linear Loop Invariant Generation using Groebner Bases
    Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna
    In ACM Principles of Programming Languages (POPL), pp. 318-330, 2004.
  2. Constraint-based Linear-Relations Analysis
    Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna
    In Static Analysis Symposium (SAS 2004), Lecture Notes in Computer Science Vol. 3148, pp. 53-69, 2004.
  3. Constructing Invariants for Hybrid Systems
    Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna
    In Hybrid Systems: Computation and Control (HSCC 2004), Lecture Notes in Computer Science Vol. 2993, pp. 539-555, 2004.

2003

  1. Event Correlation: Language and Semantics
    Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, and David Dill
    In EMSOFT, Lecture Notes in Computer Science Vol. 2855, pp. 323-339, 2003.
  2. Petri Net Analysis using Invariant Generation
    Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna
    In Verification: Theory and Practice, Lecture Notes in Computer Science Vol. 2772, pp. 682-701, 2003.
  3. Linear Invariant Generation using Non-linear Constraint Solving
    Michael Colon, Sriram Sankaranarayanan, and Henny Sipma
    In Computer-Aided Verification (CAV), Lecture Notes in Computer Science Vol. 2725, pp. 420-433, 2003.

2002

  1. Collecting Statistics over Runtime Executions
    Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny Sipma
    In Runtime Verification (RV 2002), Elec. Notes Theor. Comp. Sci Vol. 70, pp. 36-54, 2002.

2001

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

2000