## Publications (By Year)## 2018 Taisa Kushner, David Bortz, 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. tba (2018). Note: To Appear
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari, Output Range Analysis for Deep Feedforward Neural Networks In Proceedings of NASA Formal Methods Symposium (NFM), Volume tba of Lecture Notes In Computer Science pp. tba (2018). Note: To Appear
## 2017 Xin Chen, and Sriram Sankaranarayanan, Model-Predictive Real-Time Monitoring of Linear Systems In IEEE Real-Time Systems Symposium (RTSS), pp. tba (2017).
Xin Chen, 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).
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).
Hadi Ravanbakhsh, and Sriram Sankaranarayanan, Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations In Robotics Science and Systems (RSS), pp. 16 (2017).
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. 21-37 (2017).
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).
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).
## 2016 Xin Chen, and Sriram Sankaranarayanan, Decomposed Reachability Analysis for Nonlinear Systems In IEEE Real Time Systems Symposium (RTSS), pp. 13--24 (2016).
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).
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).
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
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
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).
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).
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).
Sriram Sankaranarayanan, Change of Basis Abstractions for Non-Linear Hybrid Systems In Nonlinear Analysis: Hybrid Systems Vol. 19, pp. 107-133 (2016).
## 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).
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).
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
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).
## 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
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).
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
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
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).
Bertrand Jeannet, Peter Schrammel, and Sriram Sankaranarayanan, Abstract Acceleration of General Linear Loops In Principles of Programming Languages (POPL), pp. 529-540 (2014).
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).
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).
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).
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).
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).
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).
## 2013Houssam Abbas, Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Probabilistic Temporal Logic Falsification of Cyber-Physical Systems In ACM Transactions on Embedded Computing Systems (TECS) Vol. 12(12s), pp. 95 (2013) , ACM Press.
Vineet Kahlon, Sriram Sankaranarayanan, and Aarti Gupta, Static analysis for concurrent programs with applications
to data race detection In STTT Vol. 15(4), pp. 321-336 (2013) , Springer-Verlag.
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy Deshmukh, and James Kapinski, A trajectory splicing approach to concretizing counterexamples for hybrid systems In IEEE Conference on Decision and Control (CDC) pp. 3918-3925 (2013), IEEE Press.
Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, and Erika Abraham, From statistical model checking to statistical model inference:
characterizing the effect of process variations in analog
circuits In International Conference on Computer-Aided
Design (ICCAD) pp. 662-669 (2013), IEEE/ACM Press.
Sriram Sankaranarayanan, Xin Chen, and Erika Abraham, Lyapunov Function Synthesis Using Handelman Representations In IFAC conference on Nonlinear Control Systems (NOLCOS) pp. 576-581 (2013).
Swarat Chaudhuri, Sriram Sankaranarayanan, and Moshe Vardi, Regular Real Analysis In IEEE Symposium on Logic in Computer Science (LICS) pp. 509-518 (2013), IEEE Press.
Aleksandar Chakarov, and Sriram Sankaranarayanan, Probabilistic Program Analysis using Martingales In Computer-Aided Verification (CAV) Volume 8044 of Lecture Notes in Computer Science, pp. 511-526 (2013), Springer-Verlag.
Xin Chen, Erika Abraham, and Sriram Sankaranarayanan, Flow*: An Analyzer for Non-Linear Hybrid Systems In Computer-Aided Verification (CAV) Volume 8044 of Lecture Notes in Computer Science, pp. 258-263 (2013), Springer-Verlag.
Sriram Sankaranarayanan, Aleksandar Chakarov, and Sumit Gulwani, Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths In ACM conference on Programming Languages Design and Implementation (PLDI) pp. 447-458 (2013), ACM Press.
Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, and Tom Yeh, Exploring the Internal State of User Interfaces by Combining Computer Vision Techniques with Grammatical Inference In Proc. International Conference on Software Engg. (NIER track) pp. 1165-1168 (2013), ACM Press.
Arlen Cox, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan, QUIC Graphs: Relational Invariant Generation for Containers In European Colloquium on Object-Oriented Programming (ECOOP) Volume 7920 of Lecture Notes in Computer Science, pp. 401-425 (2013), Springer-Verlag.
## 2012Xin Chen, Erika Abraham, and Sriram Sankaranarayanan, Taylor Model Flowpipe Construction for Non-linear Hybrid Systems In Real Time Systems Symposium (RTSS) pp. 183-192 (2012), IEEE Press.
Arlen Cox, Sriram Sankaranarayanan, and Bor-Yuh Evan Chang, A Bit too Precise? Bounded Verification of Quantized Digital Filters In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Volume 7214 of Lecture Notes in Computer Science, pp. 33-42 (2012).
Sriram Sankaranarayanan, and Georgios E Fainekos, Falsification of temporal properties of hybrid systems using
the cross-entropy method In HSCC pp. 125-134 (2012), ACM.
Georgios Fainekos, Sriram Sankaranarayanan, Koichi Ueda, and Hakan Yazarel, Verification of Automotive Control Applications using S-Taliro In American Control Conference (ACC) pp. 3567-3572 (2012), IEEE Press.
Aditya Zutshi, Sriram Sankaranarayanan, and Ashish Tiwari, Timed Relational Abstractions for Sampled Data Control Systems In Computer-Aided Verification (CAV) Volume 7358 of Lecture Notes in Computer Science, pp. 343-361 (2012), Springer-Verlag.
Sriram Sankaranarayanan, and Georgios Fainekos, Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System In Computational Methods in Systems Biology (CMSB) Volume 7605 of Lecture Notes in Computer Science, pp. 322-341 (2012), Springer-Verlag.
Kangjin Kim, Georgios E Fainekos, and Sriram Sankaranarayanan, On the revision problem of specification automata In ICRA pp. 5171-5176 (2012), IEEE Press.
Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, and Naveen Sharma, Object Model Construction for Inheritance in C Alejandro Sanchez, Sriram Sankaranarayanan, Cesar Sanchez, and Bor-Yuh Evan Chang, Invariant Generation for Parametrized Systems using Self-Reflection In Static Analysis Symposium (SAS) Volume 7460 of Lecture Notes in Computer Science, pp. 146-163 (2012), Springer-Verlag.
Yan Zhang, Sriram Sankaranarayanan, and Fabio Somenzi, Piecewise linear modeling of nonlinear devices for formal
verification of analog circuits In Formal Methods in Computer-Aided Design ( FMCAD 2012 ) pp. 196-203 (2012), IEEE Press.
Sriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, and Georgios E Fainekos, A model-based approach to synthesizing insulin infusion
pump usage parameters for diabetic patients In Allerton Conference pp. 1610-1617 (2012), IEEE Press.
## 2011Robert Frohardt, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan, Access Nets: Modeling Access to Physical Spaces In Verification, Model Checking, and Abstract Interpretation (VMCAI) Volume 6538 of Lecture Notes in Computer Science, pp. 184-198 (2011), Springer-Verlag.
Sriram Sankaranarayanan, Hadjar Homaei, and Clayton Lewis, Model-Based Dependability Analysis of Programmable Drug
Infusion Pumps In Formal Methods for Timed Systems (FORMATS) Volume 6919 of Lecture Notes in Computer Science, pp. 317-334 (2011).
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, and Yoshiaki Miyazaki, DC2: A framework for scalable, scope-bounded software verification In Automated Software Engg. (ASE) pp. 133-142 (2011), IEEE Press.
Yashwanth Annpureddy, Che Liu, Georgios E Fainekos, and Sriram Sankaranarayanan, S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid
Systems In Tools and Algorithms for Construction and Analysis of Systems (TACAS) Volume 6605 of Lecture Notes in Computer Science, pp. 254-257 (2011), Springer.
Jyotirmoy V Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan, Symbolic modular deadlock analysis In Autom. Softw. Eng. Vol. 18(3-4), pp. 325-362 (2011) .
Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Manu Sridharan, The Flow-Insensitive Precision of Andersen's Analysis in
Practice In SAS Volume 6887 of Lecture Notes in Computer Science, pp. 60-76 (2011).
Sriram Sankaranarayanan, and Ashish Tiwari, Relational Abstractions for Continuous and Hybrid Systems In Computer-Aided Verification (CAV) Volume 6806 of Lecture Notes in Computer Science, pp. 686-702 (2011), Springer-Verlag.
Michael Colon, and Sriram Sankaranarayanan, Generalizing the Template Polyhedral Domain In European Symposium on Programming (ESOP) Volume 6602 of Lecture Notes in Computer Science, pp. 176-195 (2011), Springer-Verlag.
Aleksandar Chakarov, Sriram Sankaranarayanan, and Georgios E Fainekos, Combining Time and Frequency Domain Specifications for Periodic
Signals In Runtime Verification (RV) Volume 7186 of Lecture Notes in Computer Science (LNCS), pp. 294-309 (2011), Springer-Verlag.
Huxley Bennett, and Sriram Sankaranarayanan, Model Counting Using the Inclusion-Exclusion Principle In Theory and Applications of Satisfiability Testing - SAT
2011 Volume 6695 of Lecture Notes in Computer Science, pp. 362-363 (2011), Springer-Verlag.
Sriram Sankaranarayanan, Automatic Abstraction of Non-Linear Systems Using Change of Variables Transformations In Hybrid Systems: Computation and Control (HSCC) pp. 143-152 (2011), ACM Press.
## 2010Truong Nghiem, Sriram Sankaranarayanan, Georgios E Fainekos, Franjo Ivancic, Aarti Gupta, and George J Pappas, Monte-carlo techniques for falsification of temporal properties
of non-linear hybrid systems In Hybrid Systems: Computation and Control pp. 211-220 (2010), ACM Press.
Sicun Gao, Malay K Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, and Edmund M Clarke, Integrating {ICP} and {LRA} Solvers for Deciding Nonlinear Real
Arithmetic Problems In Formal Methods for Computer-Aided Design (FMCAD) pp. 81-89 (2010), IEEE Press.
Sriram Sankaranarayanan, Automatic Invariant Generation for Hybrid Systems using Ideal Fixed Points In Hybrid Systems: Computation and Control pp. 211-230 (2010), ACM Press.
Franjo Ivancic, Malay Ganai, Sriram Sankaranarayanan, and Aarti Gupta, Numerical stability analysis of floating-point computations using software model checking In Formal Methods and Models for Codesign (MEMOCODE) pp. 49-58 (2010).
William R Harris, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Satisfiability Modulo Path Programs In ACM Principles of Programming Languages (POPL’10) pp. 71-82 (2010), ACM Press.
## 2009Vineet Kahlon, Sriram Sankaranarayanan, and Aarti Gupta, Semantic Reduction of Thread Interleavings in Concurrent
Programs In TACAS Volume 5505 of Lecture Notes in Computer Science, pp. 124-138 (2009).
Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, and K. C. Shashidhar, Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models In Computer-Aided Verification (CAV) Volume 5643 of Lecture Notes in Computer Science, pp. 430-445 (2009), Springer-Verlag.
Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Refining the control structure of loops using static analysis In Embedded Software (EMSOFT) pp. 49-58 (2009), ACM Press.
Georgios E Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Robustness of Model-Based Simulations In Real-Time Systems Symposium (RTSS) pp. 345-354 (2009), IEEE Press.
Jyotirmoy Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients In Automated Software Engg. (ASE) pp. 480-491 (2009), ACM Press.
Richard Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, and Vitaly Shmatikov, Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities In Computer Security Foundations (CSF) pp. 186-199 (2009), IEEE Press.
## 2008Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, and Aarti Gupta, SLR: Path-Sensitive Analysis through Infeasible-Path Detection
and Syntactic Language Refinement In SAS Volume 5079 of Lecture Notes in Computer Science, pp. 238-254 (2008), Springer-Verlag.
Sriram Sankaranarayanan, Thao Dang, and Franjo Ivancic, Symbolic Model Checking of Hybrid Systems Using Template
Polyhedra In TACAS Volume 4963 of Lecture Notes in Computer Science, pp. 188-202 (2008), Springer-Verlag.
Sriram Sankaranarayanan, Thao Dang, and Franjo Ivancic, A Policy Iteration Technique for Time Elapse over Template
Polyhedra In HSCC Volume 4981 of Lecture Notes in Computer Science, pp. 654-657 (2008), Springer-Verlag.
Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna, Constructing Invariants for Hybrid Systems In Formal Methods in System Design Vol. 32(1), pp. 25-55 (2008) .
Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, and Aarti Gupta, Dynamic inference of likely data preconditions over predicates
by tree learning In ISSTA pp. 295-306 (2008), ACM Press.
Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Mining library specifications using inductive logic programming In Intl. Symp. on Software Engg. (ICSE) pp. 131-140 (2008), ACM Press.
## 2007Sriram Sankaranarayanan, Franjo Ivancic, and Aarti Gupta, Program Analysis Using Symbolic Ranges In SAS Volume 4634 of Lecture Notes in Computer Science, pp. 366-383 (2007).
Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, and Aarti Gupta, Fast and Accurate Static Data-Race Detection for Concurrent
Programs In Computer-Aided Verification (CAV) Volume 4590 of Lecture Notes in Computer Science, pp. 226-239 (2007).
Matteo Slanina, Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Controller Synthesis of Discrete Linear Plants Using Polyhedra In REACT Technical Report (Stanford University) Vol. 1(1), pp. 1-14 (2007) .
Sriram Sankaranarayanan, Richard M Chang, Guofei Jiang, and Franjo Ivancic, State space exploration using feedback constraint generation
and Monte-Carlo sampling In ESEC/SIGSOFT FSE pp. 321-330 (2007), ACM Press.
## 2006Sriram Sankaranarayanan, Michael Colon, Henny B Sipma, and Zphar Manna, Efficient Strongly Relational Polyhedral Analysis In VMCAI Volume 3855 of Lecture Notes in Computer Science, pp. 111-125 (2006).
Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, and Aarti Gupta, Static Analysis in Disjunctive Numerical Domains In SAS Volume 4134 of Lecture Notes in Computer Science, pp. 3-17 (2006).
Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna, Fixed Point Iteration for Computing the Time Elapse Operator In HSCC Volume 3927 of Lecture Notes in Computer Science, pp. 537-551 (2006).
## 2005Ben D Angelo, Sriram Sankaranarayanan, Cesar Sanchez, and Many Others, {LOLA:} Runtime Monitoring of Synchronous Systems In Proc. TIME’05 pp. 166-174 (2005), IEEE computer society.
Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny Sipma, Collecting Statistics over Runtime Executions In Formal Methods In System Design Vol. 27(3), pp. 253-274 (2005) .
Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Scalable Analysis of Linear Systems using Mathematical Programming In Verification, Model-Checking and Abstract-Interpretation (VMCAI 2005) Volume 3385 of Lecture Notes in Computer Science, pp. 25-41 (2005).
## 2004Sriram Sankaranarayanan, Henny Sipma, and Zohar Manna, Non-linear Loop Invariant Generation using Groebner Bases In ACM Principles of Programming Languages (POPL) pp. 318-330 (2004), ACM Press.
Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Constraint-based Linear-Relations Analysis In Static Analysis Symposium (SAS 2004) Volume 3148 of Lecture Notes in Computer Science, pp. 53-69 (2004), Springer-Verlag.
Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Constructing Invariants for Hybrid Systems In Hybrid Systems: Computation and Control (HSCC 2004) Volume 2993 of Lecture Notes in Computer Science, pp. 539-555 (2004), Springer-Verlag.
## 2003Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, and David Dill, Event Correlation: Language and Semantics In EMSOFT Volume 2855 of Lecture Notes in Computer Science, pp. 323-339 (2003).
Sriram Sankaranarayanan, Henny B Sipma, and Zohar Manna, Petri Net Analysis using Invariant Generation In Verification: Theory and Practice Volume 2772 of Lecture Notes in Computer Science, pp. 682-701 (2003), Springer-Verlag.
Michael Colon, Sriram Sankaranarayanan, and Henny Sipma, Linear Invariant Generation using Non-linear Constraint Solving In Computer-Aided Verification (CAV) Volume 2725 of Lecture Notes in Computer Science, pp. 420-433 (2003), Springer-Verlag.
## 2002Bernd Finkbeiner, Sriram Sankaranarayanan, and Henny Sipma, Collecting Statistics over Runtime Executions In Runtime Verification (RV 2002) Volume 70 of Elec. Notes Theor. Comp. Sci, pp. 36-54 (2002).
## 2001 |