| [S12] | Sriram Sankaranarayanan. Change-of-Basis Abstractions for Non-Linear Systems. Submitted (2012). Preprint . Note: Journal version of [S11] with extensions to programs and algebraic abstractions. |
| [ZST12] | Aditya Zutshi, Sriram Sankaranarayanan and Ashish Tiwari. Timed Relational Abstractions of Sampled-Data Control Systems. Computer-Aided Verification (CAV) 2012. (to appear). |
| [FSUY12] | Georgios Fainekos, Sriram Sankaranarayanan, Koichi Ueda and Hakan Yazarel. Verification of Automotive Control Applications using S-Taliro , American Control Conference (ACC 2012), Invited Session on Verification of Automotive Control Systems. |
| [AFSIG12] | Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta. Probabilistic Temporal Logic Falsification of Cyber-Physical Systems . ACM Transactions on Embedded Computing Systems (ACM TECS). |
| [KFS12] | Kangjin Kim, Georgios Fainekos and Sriram Sankaranarayanan. On the Revision Problem of Specification Automata . Intl. Conference on Robotics and Automation (ICRA) 2012. |
| [SF12] | Sriram Sankaranarayanan and Georgios Fainekos. Falsification of Temporal Properties of Hybrid Systems Using the Cross-Entropy Method . Hybrid Systems: Computation and Control (HSCC), 2012. |
| [CCS12] | Arlen Cox, Sriram Sankaranarayanan and Bor-Yuh Evan Chang. A Bit Too Precise? Bounded Verification of Quantized Digital Filters. Tools and Algorithms for Construction and Analysis of Systems (TACAS) 2012. (Supplementary Materials: Implementation of filter verification framework. ) |
| [YBM++12] | 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. Compiler Construction (CC) 2012. |
| [IBGS+11] | Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Mustafa Hussain, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto and Yoshiaki Miyazaki. DC2: A framework for scalable, scope-bounded software verification, Automated Software Engineering (ASE), 2011. |
| [CSF11] | Aleksandar Chakarov, Sriram Sankaranarayanan and Georgios Fainekos. Combining Time and Frequency Domain Specifications For Periodic Signals, Runtime Verification (RV) 2011. (Click here for an Extended Abstract that will appear in LNCS). |
| [SHL11] | Sriram Sankaranarayanan, Hadjar Homaei and Clayton Lewis. Model-based Dependability Analysis of Programmable, Real-Time Medical Devices , Formal Modeling and Analysis of Timed Systems (FORMATS) 2011. |
| [BCSS11] | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan and Manu Sridharan. The Flow-Insensitive Precision of Andersen's Analysis in Practice , Static Analysis Symposium (SAS) 2011. Supplementary Material: available upon request. |
| [BS11] | Huxley Bennett and Sriram Sankaranarayanan, Model-Counting and the Inclusion-Exclusion Principle, Theory and Applications of Satisfiability Testing (SAT) 2011 (short paper). |
| [ST11] | Sriram Sankaranarayanan and Ashish Tiwari, Relational Abstraction for Continuous and Hybrid Systems, Computer-Aided Verification (CAV), 2011. Supplementary materials are available here . |
| [DES11] | Jyotirmoy Deshmukh, E. Allen Emerson and Sriram Sankaranarayanan, Symbolic Modular Deadlock Analysis , Journal of Automated Software Engineering (JASE), DOI:10.1007/s10515-011-0085-0. |
| [S11] | Sriram Sankaranarayanan, Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations, Hybrid Systems: Computation and Control, 2011. |
| [ALFS11] | Yashwant Annapureddy, Che Liu, Georgios Fainekos and Sriram Sankaranarayanan, S-TALIRO: A Tool for Temporal Logic Falsification for Hybrid Systems, Tools and Algorithms for Construction and Analysis of Systems (TACAS'11), 2011. |
| [CS11] | Michael Colon and Sriram Sankaranarayanan, Generalizing the Template Polyhedral Domain , European Symp. on Programming (ESOP'11), 2011. |
| [FCS11] | Robert C. Frohardt, Bor-Yuh Evan Chang and Sriram Sankaranarayanan, Access Nets: Modeling Access to Physical Spaces , Verification, Model Checking and Abstract Interpretation (VMCAI'11), 2011. |
| [GGIGSC10] | Sicun Gao, Malay Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan and Edmund Clarke, Integrating Interval Constraint Propagation (ICP) and Linear Real Arithmetic (LRA) for Deciding Nonlinear Real Arithmetic, Formal Methods in Computer Aided Design (FMCAD'10), 2010. |
| [IGSG10] | Franjo Ivancic, Malay Ganai, Sriram Sankaranarayanan and Aarti Gupta, Numerical Stability Analysis of Floating Point Computations Using Software Model Checking, MEMOCODE'10, 2010. |
| [S10] | Sriram Sankaranarayanan, Automatic Invariant Generation for Algebraic Systems using Ideal Fixed Points , Hybrid Systems: Computation and Control (HSCC'10), Apr 2010. |
| [NSFIGP10] | Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta and George Pappas, Monte-Carlo Techniques for Falsification of Temporal Properties of Non Linear Systems , Hybrid Systems: Computation and Control (HSCC'10), Apr 2010. |
| [HSIG10] | William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta, Program Analysis using Satisfiability Modulo Path Programs, ACM SIGPLAN Principles of Programming Languages (POPL'10), Jan 2010. |
| [FSIG09] | Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta, The Robustness of Model-Based Simulations, Real Time Systems Symposium (RTSS'09), 2009. |
| [DES09] | Jyotirmoy Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients, Automated Software Engineering 2009 ( ACM SIGSOFT Distinguished Paper Award ). |
| [BSIG09] | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta, Refining the Control Structure of Loops using Static Analysis, Embedded Software (EMSOFT) 2009, to appear. |
| [CIJSS09] | Richard M. Chang, Franjo Ivancic, Geoff Jiang, Sriram Sankaranarayanan and Vitaly Shmatikov, Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities , Computer Security Foundations (CSF-22), 2009. |
| [KASISR09] | Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan and K.C. Sashidhar, Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models , Computer-aided Verification (CAV 2009). |
| [KSG09] | Vineet Kahlon, Sriram Sankaranarayanan and Aarti Gupta, Semantic Reduction of Thread Interleavings in Concurrent Programs , Tools and Algorithms for Construction and Analysis of Systems (TACAS 2009). |
| [SCIG08] | Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic and Aarti Gupta, Dynamic Inference of Data Preconditions over Predicates by Tree Learning , Intl. Symp. on Software Testing and Analysis (ISSTA 2008). |
| [BSI+08] | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei and Aarti Gupta, SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement , SAS 2008. |
| [SIG08] | Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Mining Library Specifications using Inductive Logic Programming , ICSE 2008. |
| [SDI08b] | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic, A Policy Iteration Approach For Time Elapse over Template Polyhedra , HSCC 2008. |
| [GGI+08] | Malay Ganai, Aarti Gupta, Franjo Ivancic, Weihong Li, Nadia Papakonstantinou, Sriram Sankaranarayanan, and Chao Wang, Towards Precise and Scalable Verification of Embedded Software , 2008 Design and Verification Conference (DVCon, Invited Paper). |
| [SDI08a] | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic, Symbolic Model Checking of Hybrid Systems using Template Polyhedra TACAS 2008. |
| [SSM08] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Constructing Invariants for Hybrid Systems. Formal Methods in System Design (invited submission), journal version of [SSM04b], Vol. 32(1), pp. 25-55, Feb. 2008. |
| [SCJI07] | Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang and Franjo Ivancic, State Space Exploration Using Feedback Constraint Generation and Monte-Carlo Sampling , FSE 2007. |
| [SIG07] | Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta, Program Analysis Using Symbolic Ranges , SAS 2007. |
| [KYSG07] | Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan and Aarti Gupta. Fast and Accurate Static Data-Race Detection for Concurrent Programs , CAV 2007. |
| [SSSM07] | Matteo Slanina, Sriram Sankaranarayanan, Henny B. Sipma and Zohar Manna. Controller Synthesis of Discrete Linear Plants Using Polyhedra , REACT Technical Report: REACT-TR-2007-01, Computer Science Dept., Stanford University, Jan. 2007. |
| [SISG06] | Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter and Aarti Gupta. Static Analysis in Disjunctive Numerical Domains , Static Analysis Symposium (SAS 2006). |
| [SSM06] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna. Fixed Point Iteration for Computing the Time Elapse Operator, Hybrid Systems: Computation and Control, 2006. |
| [SCSM06] | Sriram Sankaranarayanan, Michael Colon, Henny Sipma and Zohar Manna. Efficient Strongly Relational Polyhedral Analysis. Verification, Model Checking and Abstract Interpretation (VMCAI 2006). |
| [S05] | Sriram Sankaranarayanan Mathematical Analysis of Programs. PhD Dissertation, Stanford University, September 2005. |
| [DSS++05] | Ben D'Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny Sipma, Sandeep Mehrotra and Zohar Manna, LOLA: Runtime Monitoring of Synchronous Systems. IEEE Symposium on Temporal Representation and Reasoning (TIME 2005), to appear. |
| [SSM05] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Scalable Analysis of Linear Systems using Mathematical Programming. Verification, Model-Checking, and Abstract Interpretation (VMCAI 2005), Volume 3385 of Lecture Notes in Computer Science, pages 21-47. |
| [FSS04] | Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. Collecting Statistics over Runtime Executions. Preprint, Formal Methods in System Design , Journal version of [FSS02]. |
| [SSM04c] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Constraint-Based Linear-Relations Analysis. Static Analysis Symposium (SAS 2004), Volume 3148 of Lecture Notes in Computer Science, pages 53-68. |
| [SSM04b] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Constructing Invariants for Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC 2004), volume 2993 of Lecture Notes in Computer Science, pages 539-554, March 2004. |
| [SSM04a] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Non-Linear Loop Invariant Generation using Grobner Bases. In ACM SIGPLAN Principles of Programming Languages (POPL 2004), January 2004. |
| [SSM03] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice, vol. 2772 of Lecture Notes in Computer Science, 2003. |
| [SSS++03] | Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, and Zohar Manna, Event Correlation: Language and Semantics. Embedded Software (EMSOFT 2003), Lecture Notes in Computer Science, Vol. 2855, pp. 323-339, October 2003. |
| [CSS03] | Michael A. Colon, Sriram Sankaranarayanan, Henny Sipma. Linear Invariant Generation using Non-linear Constraint Solving. In Computer Aided Verification (CAV 2003), vol. 2725 of Lecture Notes in Computer Science, Springer Verlag, pp. 420-433. |
| [FSS02] | Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. Collecting Statistics over Runtime Executions. In Proc. Workshop on Runtime Verification, Electronic Notes in Theoretical Computer Science, Volume 70, Number 4. |
| [CDDS01] | P.P.Chakarabrti, P.Dasgupta, J.Deka and S.Sankaranarayanan. Min-Max Computation Tree Logic. J. Artificial Intelligence 127(1),pp. 137-162, 2001. |
| [STDC01] | S.Sankaranarayanan, R.Tandon, P. Dasgupta,
P.P.Chakrabarti. Symbolic Verification
of Boolean Constraints over Partially Specified Functions. IEEE
Symposium on Circuits and Systems (ISCAS), May, 2001.
Note: If you are interested, please email me for a hard-copy. |