Min-max Computation Tree Logic. - Pallab Dasgupta; P. P. Chakrabarti 001; Jatindra Kumar Deka; Sriram Sankaranarayanan 001 (Artif. Intell., 2001)

Collecting Statistics over Runtime Executions. - Bernd Finkbeiner; Sriram Sankaranarayanan 001; Henny Sipma (RV@FLoC, 2002)

Petri Net Analysis Using Invariant Generation. - Sriram Sankaranarayanan 001; Henny Sipma; Zohar Manna (Verification: Theory and Practice, 2003)

Linear Invariant Generation Using Non-linear Constraint Solving. - Michael Colón; Sriram Sankaranarayanan 001; Henny Sipma (CAV, 2003)

Event Correlation: Language and Semantics. - César Sánchez 001; Sriram Sankaranarayanan 001; Henny Sipma; Ting Zhang 001; David L. Dill; Zohar Manna (EMSOFT, 2003)

Non-linear loop invariant generation using Gröbner bases. - Sriram Sankaranarayanan 001; Henny Sipma; Zohar Manna (POPL, 2004)

Constraint-Based Linear-Relations Analysis. - Sriram Sankaranarayanan 001; Henny B. Sipma; Zohar Manna (SAS, 2004)

LOLA: Runtime Monitoring of Synchronous Systems. - Ben D'Angelo; Sriram Sankaranarayanan 001; César Sánchez 001; Will Robinson; Bernd Finkbeiner; Henny B. Sipma; Sandeep Mehrotra; Zohar Manna (TIME, 2005)

Scalable Analysis of Linear Systems Using Mathematical Programming. - Sriram Sankaranarayanan 001; Henny B. Sipma; Zohar Manna (VMCAI, 2005)

Mathematical analysis of programs. - Sriram Sankaranarayanan 001 (2005)

Fixed Point Iteration for Computing the Time Elapse Operator. - Sriram Sankaranarayanan 001; Henny B. Sipma; Zohar Manna (HSCC, 2006)

Static Analysis in Disjunctive Numerical Domains. - Sriram Sankaranarayanan 001; Franjo Ivancic; Ilya Shlyakhter; Aarti Gupta (SAS, 2006)

Efficient Strongly Relational Polyhedral Analysis. - Sriram Sankaranarayanan 001; Michael Colón; Henny B. Sipma; Zohar Manna (VMCAI, 2006)

Fast and Accurate Static Data-Race Detection for Concurrent Programs. - Vineet Kahlon; Yu Yang 013; Sriram Sankaranarayanan 001; Aarti Gupta (CAV, 2007)

Program Analysis Using Symbolic Ranges. - Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (SAS, 2007)

State space exploration using feedback constraint generation and Monte-Carlo sampling. - Sriram Sankaranarayanan 001; Richard M. Chang; Guofei Jiang; Franjo Ivancic (ESEC/SIGSOFT FSE, 2007)

A Policy Iteration Technique for Time Elapse over Template Polyhedra. - Sriram Sankaranarayanan 001; Thao Dang 001; Franjo Ivancic (HSCC, 2008)

Mining library specifications using inductive logic programming. - Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (ICSE, 2008)

Dynamic inference of likely data preconditions over predicates by tree learning. - Sriram Sankaranarayanan 001; Swarat Chaudhuri; Franjo Ivancic; Aarti Gupta (ISSTA, 2008)

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. - Gogul Balakrishnan; Sriram Sankaranarayanan 001; Franjo Ivancic; Ou Wei; Aarti Gupta (SAS, 2008)

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. - Sriram Sankaranarayanan 001; Thao Dang 001; Franjo Ivancic (TACAS, 2008)

Constructing invariants for hybrid systems. - Sriram Sankaranarayanan 001; Henny B. Sipma; Zohar Manna (Formal Methods Syst. Des., 2008)

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. - Aditya Kanade 001; Rajeev Alur; Franjo Ivancic; S. Ramesh 002; Sriram Sankaranarayanan 001; K. C. Shashidhar (CAV, 2009)

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities. - Richard M. Chang; Guofei Jiang; Franjo Ivancic; Sriram Sankaranarayanan 001; Vitaly Shmatikov (CSF, 2009)

Refining the control structure of loops using static analysis. - Gogul Balakrishnan; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (EMSOFT, 2009)

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. - Jyotirmoy V. Deshmukh; E. Allen Emerson; Sriram Sankaranarayanan 001 (ASE, 2009)

Robustness of Model-Based Simulations. - Georgios Fainekos; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (RTSS, 2009)

Semantic Reduction of Thread Interleavings in Concurrent Programs. - Vineet Kahlon; Sriram Sankaranarayanan 001; Aarti Gupta (TACAS, 2009)

Foreword: Special issue on numerical software verification. - Franjo Ivancic; Sriram Sankaranarayanan 001; Chao Wang 001 (Formal Methods Syst. Des., 2009)

Scalable and precise program analysis at NEC. - Gogul Balakrishnan; Malay K. Ganai; Aarti Gupta; Franjo Ivancic; Vineet Kahlon; Weihong Li; Naoto Maeda; Nadia Papakonstantinou; Sriram Sankaranarayanan 001; Nishant Sinha 001; Chao Wang 001 (FMCAD, 2010)

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. - Sicun Gao; Malay K. Ganai; Franjo Ivancic; Aarti Gupta; Sriram Sankaranarayanan 001; Edmund M. Clarke (FMCAD, 2010)

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. - Truong Nghiem; Sriram Sankaranarayanan 001; Georgios Fainekos; Franjo Ivancic; Aarti Gupta; George J. Pappas (HSCC, 2010)

Automatic invariant generation for hybrid systems using ideal fixed points. - Sriram Sankaranarayanan 001 (HSCC, 2010)

Numerical stability analysis of floating-point computations using software model checking. - Franjo Ivancic; Malay K. Ganai; Sriram Sankaranarayanan 001; Aarti Gupta (MEMOCODE, 2010)

Program analysis via satisfiability modulo path programs. - William R. Harris; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (POPL, 2010)

Relational Abstractions for Continuous and Hybrid Systems. - Sriram Sankaranarayanan 001; Ashish Tiwari 001 (CAV, 2011)

Generalizing the Template Polyhedral Domain. - Michael Colón; Sriram Sankaranarayanan 001 (ESOP, 2011)

Model-Based Dependability Analysis of Programmable Drug Infusion Pumps. - Sriram Sankaranarayanan 001; Hadjar Homaei; Clayton Lewis (FORMATS, 2011)

Modeling and Analyzing the Interaction of C and C++ Strings. - Gogul Balakrishnan; Naoto Maeda; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta; Rakesh Pothengil (FoVeOOS, 2011)

Automatic abstraction of non-linear systems using change of bases transformations. - Sriram Sankaranarayanan 001 (HSCC, 2011)

DC2: A framework for scalable, scope-bounded software verification. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Hiroki Tokuoka; Takashi Imoto; Yoshiaki Miyazaki (ASE, 2011)

Combining Time and Frequency Domain Specifications for Periodic Signals. - Aleksandar Chakarov; Sriram Sankaranarayanan 001; Georgios Fainekos (RV, 2011)

The Flow-Insensitive Precision of Andersen's Analysis in Practice. - Sam Blackshear; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001; Manu Sridharan (SAS, 2011)

Model Counting Using the Inclusion-Exclusion Principle. - Huxley Bennett; Sriram Sankaranarayanan 001 (SAT, 2011)

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. - Yashwanth Annpureddy; Che Liu; Georgios Fainekos; Sriram Sankaranarayanan 001 (TACAS, 2011)

Access Nets: Modeling Access to Physical Spaces. - Robert Frohardt; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001 (VMCAI, 2011)

Symbolic modular deadlock analysis. - Jyotirmoy V. Deshmukh; E. Allen Emerson; Sriram Sankaranarayanan 001 (Autom. Softw. Eng., 2011)

A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients. - Sriram Sankaranarayanan 001; Christopher Miller; Rangarajan Raghunathan; Hadi Ravanbakhsh; Georgios Fainekos (Allerton Conference, 2012)

Verification of automotive control applications using S-TaLiRo. - Georgios E. Fainekos; Sriram Sankaranarayanan 001; Koichi Ueda; Hakan Yazarel (ACC, 2012)

Timed Relational Abstractions for Sampled Data Control Systems. - Aditya Zutshi 001; Sriram Sankaranarayanan 001; Ashish Tiwari 001 (CAV, 2012)

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. - Jing Yang 003; Gogul Balakrishnan; Naoto Maeda; Franjo Ivancic; Aarti Gupta; Nishant Sinha 001; Sriram Sankaranarayanan 001; Naveen Sharma (CC, 2012)

Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System. - Sriram Sankaranarayanan 001; Georgios Fainekos (CMSB, 2012)

Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. - Yan Zhang 027; Sriram Sankaranarayanan 001; Fabio Somenzi (FMCAD, 2012)

Falsification of temporal properties of hybrid systems using the cross-entropy method. - Sriram Sankaranarayanan 001; Georgios Fainekos (HSCC, 2012)

On the revision problem of specification automata. - Kangjin Kim; Georgios E. Fainekos; Sriram Sankaranarayanan 001 (ICRA, 2012)

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. - Xin Chen 002; Erika Ábrahám; Sriram Sankaranarayanan 001 (RTSS, 2012)

Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). - Alejandro Sánchez; Sriram Sankaranarayanan 001; César Sánchez 001; Bor-Yuh Evan Chang (SAS, 2012)

A Bit Too Precise? Bounded Verification of Quantized Digital Filters. - Arlen Cox; Sriram Sankaranarayanan 001; Bor-Yuh Evan Chang (TACAS, 2012)

Change-Of-Bases Abstractions for Non-Linear Systems - Sriram Sankaranarayanan 001 (CoRR, 2012)

Editorial: Special Section VCPSS'09. - Georgios Fainekos; Eric Goubault; Franjo Ivancic; Sriram Sankaranarayanan 001 (ACM Trans. Embed. Comput. Syst., 2012)

Probabilistic Program Analysis with Martingales. - Aleksandar Chakarov; Sriram Sankaranarayanan 001 (CAV, 2013)

Flow*: An Analyzer for Non-linear Hybrid Systems. - Xin Chen 002; Erika Ábrahám; Sriram Sankaranarayanan 001 (CAV, 2013)

A trajectory splicing approach to concretizing counterexamples for hybrid systems. - Aditya Zutshi 001; Sriram Sankaranarayanan 001; Jyotirmoy V. Deshmukh; James Kapinski (CDC, 2013)

QUIC Graphs: Relational Invariant Generation for Containers. - Arlen Cox; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001 (ECOOP, 2013)

From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. - Yan Zhang 027; Sriram Sankaranarayanan 001; Fabio Somenzi; Xin Chen 002; Erika Ábrahám (ICCAD, 2013)

Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference. - Paul Givens; Aleksandar Chakarov; Sriram Sankaranarayanan 001; Tom Yeh (ICSE, 2013)

Regular Real Analysis. - Swarat Chaudhuri; Sriram Sankaranarayanan 001; Moshe Y. Vardi (LICS, 2013)

Lyapunov Function Synthesis Using Handelman Representations. - Sriram Sankaranarayanan 001; Xin Chen 002; Erika Ábrahám (NOLCOS, 2013)

Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. - Sriram Sankaranarayanan 001; Aleksandar Chakarov; Sumit Gulwani (PLDI, 2013)

Static Analysis in the Continuously Changing World. - Sriram Sankaranarayanan 001 (SAS, 2013)

Static analysis for concurrent programs with applications to data race detection. - Vineet Kahlon; Sriram Sankaranarayanan 001; Aarti Gupta (Int. J. Softw. Tools Technol. Transf., 2013)

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems. - Houssam Abbas; Georgios Fainekos; Sriram Sankaranarayanan 001; Franjo Ivancic; Aarti Gupta (ACM Trans. Embed. Comput. Syst., 2013)

Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials. - Eric Goubault; Jacques-Henri Jourdan; Sylvie Putot; Sriram Sankaranarayanan 001 (ACC, 2014)

Sparse statistical model inference for analog circuits under process variations. - Yan Zhang 027; Sriram Sankaranarayanan 001; Fabio Somenzi (ASP-DAC, 2014)

Statistically Sound Verification and Optimization for Complex Systems. - Yan Zhang 027; Sriram Sankaranarayanan 001; Fabio Somenzi (ATVA, 2014)

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. - Arlen Cox; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001 (CAV, 2014)

Iterative computation of polyhedral invariants sets for polynomial dynamical systems. - Mohamed Amin Ben Sassi; Antoine Girard; Sriram Sankaranarayanan 001 (CDC, 2014)

Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (EMSOFT, 2014)

Multiple shooting, CEGAR-based falsification for hybrid systems. - Aditya Zutshi 001; Jyotirmoy V. Deshmukh; Sriram Sankaranarayanan 001; James Kapinski (EMSOFT, 2014)

Under-approximate flowpipes for non-linear continuous systems. - Xin Chen 002; Sriram Sankaranarayanan 001; Erika Ábrahám (FMCAD, 2014)

Simulation-guided lyapunov analysis for hybrid dynamical systems. - James Kapinski; Jyotirmoy V. Deshmukh; Sriram Sankaranarayanan 001; Nikos Aréchiga (HSCC, 2014)

Abstract acceleration of general linear loops. - Bertrand Jeannet; Peter Schrammel; Sriram Sankaranarayanan 001 (POPL, 2014)

Expectation Invariants for Probabilistic Program Loops as Fixed Points. - Aleksandar Chakarov; Sriram Sankaranarayanan 001 (SAS, 2014)

A bit too precise? Verification of quantized digital filters. - Arlen Cox; Sriram Sankaranarayanan 001; Bor-Yuh Evan Chang (Int. J. Softw. Tools Technol. Transf., 2014)

Beyond single shooting: Iterative approaches to falsification. - Jyotirmoy V. Deshmukh; Georgios Fainekos; James Kapinski; Sriram Sankaranarayanan 001; Aditya Zutshi 001; Xiaoqing Jin (ACC, 2015)

Symbolic-Numeric Reachability Analysis of Hybrid Systems. - Sriram Sankaranarayanan 001 (SNR@CAV, 2015)

Counter-Example Guided Synthesis of control Lyapunov functions for switched systems. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (CDC, 2015)

Flow* 1.2: More Effective to Play with Hybrid Systems. - Xin Chen 002; Sriram Sankaranarayanan 001; Erika Ábrahám (ARCH@CPSWeek, 2015)

Current Challenges in the Verification of Hybrid Systems. - Stefan Schupp; Erika Ábrahám; Xin Chen 002; Ibtissem Ben Makhlouf; Goran Frehse; Sriram Sankaranarayanan 001; Stefan Kowalewski (CyPhy, 2015)

Requirements driven falsification with coverage metrics. - Adel Dokhanchi; Aditya Zutshi 001; Rahul T. Sriniva; Sriram Sankaranarayanan 001; Georgios Fainekos (EMSOFT, 2015)

Falsification of safety properties for closed loop control systems. - Aditya Zutshi 001; Sriram Sankaranarayanan 001; Jyotirmoy V. Deshmukh; James Kapinski; Xiaoqing Jin (HSCC, 2015)

Counterexample-guided stabilization of switched systems using control lyapunov functions. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (HSCC, 2015)

Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. - Mohamed Amin Ben Sassi; Sriram Sankaranarayanan 001 (HSCC, 2015)

Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems. - Yan Zhang 027; Sriram Sankaranarayanan 001; Benjamin M. Gyori (ICCAD, 2015)

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. - Fraser Cameron; Georgios Fainekos; David M. Maahs; Sriram Sankaranarayanan 001 (RV, 2015)

Scalable and scope-bounded software verification in Varvel. - Franjo Ivancic; Gogul Balakrishnan; Aarti Gupta; Sriram Sankaranarayanan 001; Naoto Maeda; Takashi Imoto; Rakesh Pothengil; Mustafa Hussain (Autom. Softw. Eng., 2015)

Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (CoRR, 2015)

On the minimal revision problem of specification automata. - Kangjin Kim; Georgios Fainekos; Sriram Sankaranarayanan 001 (Int. J. Robotics Res., 2015)

Robust controller synthesis of switched systems using counterexample guided framework. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (EMSOFT, 2016)

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. - Aditya Zutshi 001; Sriram Sankaranarayanan 001; Jyotirmoy V. Deshmukh; Xiaoqing Jin (HSCC, 2016)

Decomposed Reachability Analysis for Nonlinear Systems. - Xin Chen 002; Sriram Sankaranarayanan 001 (RTSS, 2016)

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. - Olivier Bouissou; Eric Goubault; Sylvie Putot; Aleksandar Chakarov; Sriram Sankaranarayanan 001 (TACAS, 2016)

Deductive Proofs of Almost Sure Persistence and Recurrence Properties. - Aleksandar Chakarov; Yuen-Lam Voronin; Sriram Sankaranarayanan 001 (TACAS, 2016)

Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. - Mohamed Amin Ben Sassi; Sriram Sankaranarayanan 001; Xin Chen 002; Erika Ábrahám (IMA J. Math. Control. Inf., 2016)

A Study of Model-Order Reduction Techniques for Verification. - Yi Chou; Xin Chen 002; Sriram Sankaranarayanan 001 (NSV@CAV, 2017)

Formal Verification of a Multi-Basal Insulin Infusion Control Model. - Xin Chen 002; Souradeep Dutta; Sriram Sankaranarayanan 001 (ARCH@CPSWeek, 2017)

Analyzing neighborhoods of falsifying traces in cyber-physical systems. - Ram Das Diwakaran; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (ICCPS, 2017)

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (Robotics: Science and Systems, 2017)

Model Predictive Real-Time Monitoring of Linear Systems. - Xin Chen 002; Sriram Sankaranarayanan 001 (RTSS, 2017)

Template Polyhedra with a Twist. - Sriram Sankaranarayanan 001; Mohamed Amin Ben Sassi (SAS, 2017)

Discriminating Traces with Time. - Saeid Tizpaz-Niari; Pavol Cerný; Bor-Yuh Evan Chang; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (TACAS (2), 2017)

Output Range Analysis for Deep Neural Networks. - Souradeep Dutta; Susmit Jha; Sriram Sankaranarayanan 001; Ashish Tiwari 001 (CoRR, 2017)

A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (SYNT@CAV, 2017)

Guest Editorial: Special issue on formal modeling and analysis of timed systems. - Marco Paolieri; Sriram Sankaranarayanan 001; Enrico Vicario (Real Time Syst., 2017)

Model-based falsification of an artificial pancreas control system. - Sriram Sankaranarayanan 001; Suhas Akshar Kumar; Faye Cameron; B. Wayne Bequette; Georgios Fainekos; David M. Maahs (SIGBED Rev., 2017)

Compositional Relational Abstraction for Nonlinear Hybrid Systems. - Xin Chen 002; Sergio Mover; Sriram Sankaranarayanan 001 (ACM Trans. Embed. Comput. Syst., 2017)

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. - Souradeep Dutta; Susmit Jha; Sriram Sankaranarayanan 001; Ashish Tiwari 001 (ADHS, 2018)

Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. - Souradeep Dutta; Taisa Kushner; Sriram Sankaranarayanan 001 (CMSB, 2018)

A data-driven approach to artificial pancreas verification and synthesis. - Taisa Kushner; David M. Bortz; David M. Maahs; Sriram Sankaranarayanan 001 (ICCPS, 2018)

Path-Following through Control Funnel Functions. - Hadi Ravanbakhsh; Sina Aghli; Christoffer Heckman; Sriram Sankaranarayanan 001 (IROS, 2018)

Output Range Analysis for Deep Feedforward Neural Networks. - Souradeep Dutta; Susmit Jha; Sriram Sankaranarayanan 001; Ashish Tiwari 001 (NFM, 2018)

Experience Report: Application of Falsification Methods on the UxAS System. - Cumhur Erkan Tuncali; Bardh Hoxha; Guohui Ding 002; Georgios Fainekos; Sriram Sankaranarayanan 001 (NFM, 2018)

Mining framework usage graphs from app corpora. - Sergio Mover; Sriram Sankaranarayanan 001; Rhys Braginton Pettee Olsen; Bor-Yuh Evan Chang (SANER, 2018)

Validating numerical semidefinite programming solvers for polynomial invariants. - Pierre Roux 001; Yuen-Lam Voronin; Sriram Sankaranarayanan 001 (Formal Methods Syst. Des., 2018)

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications. - Ezio Bartocci; Jyotirmoy V. Deshmukh; Alexandre Donzé; Georgios Fainekos; Oded Maler; Dejan Nickovic; Sriram Sankaranarayanan 001 (Lectures on Runtime Verification, 2018)

Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks. - Arthur Clavière; Souradeep Dutta; Sriram Sankaranarayanan 001 (ICAPS, 2019)

Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems. - Guohui Ding 002; Hadi Ravanbakhsh; Zhiyuan Liu 003; Sriram Sankaranarayanan 001; Lijun Chen 001 (ACC, 2019)

Sherlock - A tool for verification of neural network feedback systems: demo abstract. - Souradeep Dutta; Xin Chen 002; Susmit Jha; Sriram Sankaranarayanan 001; Ashish Tiwari 001 (HSCC, 2019)

Reachability analysis for neural feedback systems using regressive polynomial rule inference. - Souradeep Dutta; Xin Chen 002; Sriram Sankaranarayanan 001 (HSCC, 2019)

Verifying Conformance of Neural Network Models: Invited Paper. - Monal Narasimhamurthy; Taisa Kushner; Souradeep Dutta; Sriram Sankaranarayanan 001 (ICCAD, 2019)

Formal Policy Learning from Demonstrations for Reachability Properties. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001; Sanjit A. Seshia (ICRA, 2019)

Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis. - Yi Chou; Sriram Sankaranarayanan 001 (IJCAI, 2019)

Reaching Out Towards Fully Verified Autonomous Systems. - Sriram Sankaranarayanan 001; Souradeep Dutta; Sergio Mover (RP, 2019)

Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. - Georgios Fainekos; Bardh Hoxha; Sriram Sankaranarayanan 001 (RV, 2019)

Efficient Detection and Quantification of Timing Leaks with Neural Networks. - Saeid Tizpaz-Niari; Pavol Cerný; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (RV, 2019)

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. - Hansol Yoon; Yi Chou; Xin Chen 002; Eric W. Frew; Sriram Sankaranarayanan 001 (RV, 2019)

Learning control lyapunov functions from counterexamples and demonstrations. - Hadi Ravanbakhsh; Sriram Sankaranarayanan 001 (Auton. Robots, 2019)

Template polyhedra and bilinear optimization. - Jessica A. Gronski; Mohamed Amin Ben Sassi; Stephen Becker; Sriram Sankaranarayanan 001 (Formal Methods Syst. Des., 2019)

Models, Devices, Properties, and Verification of Artificial Pancreas Systems. - Taisa Kushner; B. Wayne Bequette; Faye Cameron; Gregory P. Forlenza; David M. Maahs; Sriram Sankaranarayanan 001 (Automated Reasoning for Systems Biology and Medicine, 2019)

Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities. - Sriram Sankaranarayanan 001 (Foundations of Probabilistic Programming, 2020)

Reachability Analysis Using Message Passing over Tree Decompositions. - Sriram Sankaranarayanan 001 (CAV (1), 2020)

Unbounded-Time Safety Verification of Stochastic Differential Dynamics. - Shenghua Feng; Mingshuai Chen; Bai Xue 001; Sriram Sankaranarayanan 001; Naijun Zhan (CAV (2), 2020)

Weighted Transducers for Robustness Verification. - Emmanuel Filiot; Nicolas Mazzocchi; Jean-François Raskin; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (CONCUR, 2020)

Conformance verification for neural network models of glucose-insulin dynamics. - Taisa Kushner; Sriram Sankaranarayanan 001; Marc D. Breton (HSCC, 2020)

Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis. - Yi Chou; Hansol Yoon; Sriram Sankaranarayanan 001 (IROS, 2020)

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances. - Shakiba Yaghoubi; Georgios Fainekos; Sriram Sankaranarayanan 001 (ITSC, 2020)

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. - Sriram Sankaranarayanan 001; Yi Chou; Eric Goubault; Sylvie Putot (NeurIPS, 2020)

Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference. - Hansol Yoon; Sriram Sankaranarayanan 001 (ICRA, 2021)

Probabilistic Specification Learning for Planning with Safety Constraints. - Kandai Watanabe; Nicholas Renninger; Sriram Sankaranarayanan 001; Morteza Lahijanian (IROS, 2021)

Static Analysis of ReLU Neural Networks with Tropical Polyhedra. - Eric Goubault; Sébastien Palumby; Sylvie Putot; Louis Rustenholz; Sriram Sankaranarayanan 001 (SAS, 2021)

Technical perspective: An elegant model for deriving equations. - Sriram Sankaranarayanan 001 (Commun. ACM, 2021)

Local Repair of Neural Networks Using Optimization. - Keyvan Majd; Siyu Zhou 001; Heni Ben Amor; Georgios Fainekos; Sriram Sankaranarayanan 001 (CoRR, 2021)

Quantitative estimation of side-channel leaks with neural networks. - Saeid Tizpaz-Niari; Pavol Cerný; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (Int. J. Softw. Tools Technol. Transf., 2021)

Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. - Guillaume O. Berger; Sriram Sankaranarayanan 001 (CDC, 2022)

Safe Robot Learning in Assistive Devices through Neural Network Repair. - Keyvan Majd; Geoffrey Mitchell Clark; Tanmay Khandait; Siyu Zhou 001; Sriram Sankaranarayanan 001; Georgios Fainekos; Heni Ben Amor (CoRL, 2022)

Verified Path Following Using Neural Control Lyapunov Functions. - Alec Reed; Guillaume O. Berger; Sriram Sankaranarayanan 001; Christoffer Heckman (CoRL, 2022)

Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. - Monal Narasimhamurthy; Sriram Sankaranarayanan 001 (HSCC, 2022)

Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. - Monal Narasimhamurthy; Sriram Sankaranarayanan 001 (HSCC, 2022)

Mathematical Models of Human Drivers Using Artificial Risk Fields. - Emily Jensen; Maya Luster; Hansol Yoon; Brandon Pitts; Sriram Sankaranarayanan 001 (ITSC, 2022)

Reachability Analysis for Cyber-Physical Systems: Are We There Yet? - Xin Chen 002; Sriram Sankaranarayanan 001 (NFM, 2022)

An Algorithm for Learning Switched Linear Dynamics from Data. - Guillaume O. Berger; Monal Narasimhamurthy; Kandai Watanabe; Morteza Lahijanian; Sriram Sankaranarayanan 001 (NeurIPS, 2022)

Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems. - Guillaume O. Berger; Sriram Sankaranarayanan 001 (CoRR, 2022)

Timed Partial Order Inference Algorithm. - Kandai Watanabe; Georgios Fainekos; Bardh Hoxha; Morteza Lahijanian; Danil V. Prokhorov; Sriram Sankaranarayanan 001; Tomoya Yamaguchi 001 (ICAPS, 2023)

More Than a Number: A Multi-dimensional Framework For Automatically Assessing Human Teleoperation Skill. - Emily Jensen; Bradley Hayes; Sriram Sankaranarayanan 001 (HRI (Companion), 2023)

Temporal Logic-Based Intent Monitoring for Mobile Robots. - Hansol Yoon; Sriram Sankaranarayanan 001 (IROS, 2023)

Safe Robot Learning in Assistive Devices through Neural Network Repair. - Keyvan Majd; Geoffrey Clark; Tanmay Khandait; Siyu Zhou 001; Sriram Sankaranarayanan 001; Georgios Fainekos; Heni Ben Amor (CoRR, 2023)

Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics. - Keyvan Majd; Geoffrey Clark; Tanmay Khandait; Siyu Zhou 001; Sriram Sankaranarayanan 001; Georgios Fainekos; Heni Ben Amor (CoRR, 2023)

Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems. - Guillaume O. Berger; Sriram Sankaranarayanan 001 (Autom., 2023)

Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory. - Saeid Tizpaz-Niari; Sriram Sankaranarayanan 001 (CAIN, 2024)

"Obviously, Nothing's Gonna Happen in Five Minutes": How Adolescents and Young Adults Infrastructure Resources to Learn Type 1 Diabetes Management. - Tian Xu; Emily Jost; Laurel H. Messer; Paul F. Cook; Gregory P. Forlenza; Sriram Sankaranarayanan 001; Casey Fiesler; Stephen Voida (CHI, 2024)

Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation. - Emily Jensen; Sriram Sankaranarayanan 001; Bradley Hayes (HAI, 2024)

Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis. - Guillaume O. Berger; Masoumeh Ghanbarpour; Sriram Sankaranarayanan 001 (HSCC, 2024)

Algorithms for Identifying Flagged and Guarded Linear Systems. - Guillaume O. Berger; Monal Narasimhamurthy; Sriram Sankaranarayanan 001 (HSCC, 2024)

Temporal Behavior Trees: Robustness and Segmentation. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (HSCC, 2024)

Temporal Behavior Trees - Segmentation. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (HSCC, 2024)

Optimal Planning for Timed Partial Order Specifications. - Kandai Watanabe; Georgios Fainekos; Bardh Hoxha; Morteza Lahijanian; Hideki Okamoto; Sriram Sankaranarayanan 001 (ICRA, 2024)

What is Your Discount Factor? - Shadi Tasdighi Kalat; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (QEST+FORMATS, 2024)

Large Language Models Enable Automated Formative Feedback in Human-Robot Interaction Tasks. - Emily Jensen; Sriram Sankaranarayanan 001; Bradley Hayes (CoRR, 2024)

Anticipating Oblivious Opponents in Stochastic Games. - Shadi Tasdighi Kalat; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (CoRR, 2024)

Template-based piecewise affine regression. - Guillaume O. Berger; Sriram Sankaranarayanan 001 (Res. Dir. Cyber Phys. Syst., 2024)

Temporal Behavior Trees. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (Zenodo, 2024)

Polyhedral Control Lyapunov Functions for Switched Affine Systems. - Sara Kamali; Guillaume Berger; Sriram Sankaranarayanan 001 (HSCC, 2025)

Successive Control Barrier Functions for Nonlinear Systems. - Rameez Wajid; Sriram Sankaranarayanan 001 (HSCC, 2025)

Taylor-Model Physics-Informed Neural Networks (PINNs) for Ordinary Differential Equations. - Chandra Kanth Nagesh; Sriram Sankaranarayanan 001; Ramneet Kaur; Tuhin Sahai; Susmit Jha (NeuS, 2025)

Synthesizing Min-Max Control Barrier Functions For Switched Affine Systems. - Sara Kamali; Guillaume O. Berger; Sriram Sankaranarayanan 001 (CoRR, 2025)