Publications (By Year)

2017

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

Saeid Tizpaz-Niari, Pavol Cerny, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi, Discriminating Traces with Time In Tools and Algorithms for Construction and Analysis of Systems (TACAS), pp. TBA (2017).
URL     Abstract     Bib     Topics    

Xin Chen, 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, 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    

2016

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    

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    

Pierre Roux, 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, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, 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. TBA, pp. TBA (2016). Note: Presented at MEDCPS Workshop 2016
URL     Abstract     Bib     Topics    

Aditya Zutshi, Sriram Sankaranarayanan, 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    

Olivier Bouissou, Eric Goubault, Sylvie Putot, 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, 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    

Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, 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    

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    

2015

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    

Yan Zhang, 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. TBA (2015).
URL     Abstract     Bib     Topics    

Fraser Cameron, Georgios Fainekos, 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    

Gregory P. Forlenza, 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    

2014

Aditya Zutshi, Sriram Sankaranarayanan, 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    

Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, 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    

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    

Arlen Cox, 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, Jacques-Henri Jourdan, 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, 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    

Yan Zhang, 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    

Mohamed Amin Ben Sassi, 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    

Yan Zhang, 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    

Stephen M. Kissler, Cody Cichowitz, 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    

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    

Xin Chen, 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    

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