| 2026 | TACAS | Trace Repair for Temporal Behavior Trees. | Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan |
| 2025 | IFM | Using Bayesian Inference and Flowpipe Construction to Bound Predictions of Biogas Production at Wastewater Treatment Plants. | Fletcher T. Chapin, Ankur Varma, Samuel Akinwande, Meagan S. Mauter, Sriram Sankaranarayanan |
| 2024 | CAIN | Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory. | Saeid Tizpaz-Niari, Sriram Sankaranarayanan |
| 2024 | CHI | "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, Casey Fiesler, Stephen Voida |
| 2024 | HAI | Automated Assessment and Adaptive Multimodal Formative Feedback Improves Psychomotor Skills Training Outcomes in Quadrotor Teleoperation. | Emily Jensen, Sriram Sankaranarayanan, Bradley Hayes |
| 2024 | ICRA | Optimal Planning for Timed Partial Order Specifications. | Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Hideki Okamoto, Sriram Sankaranarayanan |
| 2023 | HRI | More Than a Number: A Multi-dimensional Framework For Automatically Assessing Human Teleoperation Skill. | Emily Jensen, Bradley Hayes, Sriram Sankaranarayanan |
| 2023 | IROS | Temporal Logic-Based Intent Monitoring for Mobile Robots. | Hansol Yoon, Sriram Sankaranarayanan |
| 2022 | CoRL | Safe Robot Learning in Assistive Devices through Neural Network Repair. | Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor |
| 2022 | CoRL | Verified Path Following Using Neural Control Lyapunov Functions. | Alec Reed, Guillaume O. Berger, Sriram Sankaranarayanan, Christoffer Heckman |
| 2022 | IPCO | An Abstract Model for Branch-and-Cut. | Aleksandr M. Kazachkov, Pierre Le Bodic, Sriram Sankaranarayanan |
| 2021 | IROS | Probabilistic Specification Learning for Planning with Safety Constraints. | Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian |
| 2021 | ICRA | Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference. | Hansol Yoon, Sriram Sankaranarayanan |
| 2021 | SAS | Static Analysis of ReLU Neural Networks with Tropical Polyhedra. | Eric Goubault, Sbastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan |
| 2020 | CAV | Reachability Analysis Using Message Passing over Tree Decompositions. | Sriram Sankaranarayanan |
| 2020 | CAV | Unbounded-Time Safety Verification of Stochastic Differential Dynamics. | Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan |
| 2020 | CONCUR | Weighted Transducers for Robustness Verification. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2020 | CPAIOR | A Learning-Based Algorithm to Quickly Compute Good Primal Solutions for Stochastic Integer Programs. | Yoshua Bengio, Emma Frejinger, Andrea Lodi, Rahul Patel, Sriram Sankaranarayanan |
| 2020 | IROS | Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis. | Yi Chou, Hansol Yoon, Sriram Sankaranarayanan |
| 2019 | ICCAD | Verifying Conformance of Neural Network Models: Invited Paper. | Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan |
| 2019 | IJCAI | Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis. | Yi Chou, Sriram Sankaranarayanan |
| 2019 | ICRA | Formal Policy Learning from Demonstrations for Reachability Properties. | Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia |
| 2019 | RV | Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. | Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan |
| 2019 | RV | Efficient Detection and Quantification of Timing Leaks with Neural Networks. | Saeid Tizpaz-Niari, Pavol Cern, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2019 | RV | Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. | Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan |
| 2018 | IROS | Path-Following through Control Funnel Functions. | Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan |
| 2017 | CAV | A Study of Model-Order Reduction Techniques for Verification. | Yi Chou, Xin Chen, Sriram Sankaranarayanan |
| 2017 | RTSS | Model Predictive Real-Time Monitoring of Linear Systems. | Xin Chen, Sriram Sankaranarayanan |
| 2017 | SAS | Template Polyhedra with a Twist. | Sriram Sankaranarayanan, Mohamed Amin Ben Sassi |
| 2017 | TACAS | Discriminating Traces with Time. | Saeid Tizpaz-Niari, Pavol Cern, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2016 | EMSOFT | Robust controller synthesis of switched systems using counterexample guided framework. | Hadi Ravanbakhsh, Sriram Sankaranarayanan |
| 2016 | RTSS | Decomposed Reachability Analysis for Nonlinear Systems. | Xin Chen, Sriram Sankaranarayanan |
| 2016 | SAS | Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. | Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan |
| 2016 | TACAS | Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. | Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2016 | TACAS | Deductive Proofs of Almost Sure Persistence and Recurrence Properties. | Aleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan |
| 2015 | CAV | Symbolic-Numeric Reachability Analysis of Hybrid Systems. | Sriram Sankaranarayanan |
| 2015 | EMSOFT | Requirements driven falsification with coverage metrics. | Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios Fainekos |
| 2015 | ICCAD | Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems. | Yan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori |
| 2015 | RV | Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification. | Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan |
| 2014 | ASPDAC | Sparse statistical model inference for analog circuits under process variations. | Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi |
| 2014 | ATVA | Statistically Sound Verification and Optimization for Complex Systems. | Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi |
| 2014 | CAV | QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers. | Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2014 | EMSOFT | Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation. | Hadi Ravanbakhsh, Sriram Sankaranarayanan |
| 2014 | EMSOFT | Multiple shooting, CEGAR-based falsification for hybrid systems. | Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski |
| 2014 | FMCAD | Under-approximate flowpipes for non-linear continuous systems. | Xin Chen, Sriram Sankaranarayanan, Erika brahm |
| 2014 | POPL | Abstract acceleration of general linear loops. | Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan |
| 2014 | SAS | Expectation Invariants for Probabilistic Program Loops as Fixed Points. | Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2013 | CAV | Probabilistic Program Analysis with Martingales. | Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2013 | CAV | Flow*: An Analyzer for Non-linear Hybrid Systems. | Xin Chen, Erika brahm, Sriram Sankaranarayanan |
| 2013 | ECOOP | QUIC Graphs: Relational Invariant Generation for Containers. | Arlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2013 | ICCAD | From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits. | Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen, Erika brahm |
| 2013 | ICSE | Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference. | Paul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh |
| 2013 | LICS | Regular Real Analysis. | Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi |
| 2013 | PLDI | Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. | Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani |
| 2013 | SAS | Static Analysis in the Continuously Changing World. | Sriram Sankaranarayanan |
| 2012 | CAV | Timed Relational Abstractions for Sampled Data Control Systems. | Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari |
| 2012 | CC | Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. | Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma |
| 2012 | FMCAD | Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. | Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi |
| 2012 | ICRA | On the revision problem of specification automata. | Kangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan |
| 2012 | RTSS | Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. | Xin Chen, Erika brahm, Sriram Sankaranarayanan |
| 2012 | SAS | Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). | Alejandro Snchez, Sriram Sankaranarayanan, Csar Snchez, Bor-Yuh Evan Chang |
| 2012 | TACAS | A Bit Too Precise? Bounded Verification of Quantized Digital Filters. | Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang |
| 2011 | CAV | Relational Abstractions for Continuous and Hybrid Systems. | Sriram Sankaranarayanan, Ashish Tiwari |
| 2011 | ESOP | Generalizing the Template Polyhedral Domain. | Michael Coln, Sriram Sankaranarayanan |
| 2011 | RV | Combining Time and Frequency Domain Specifications for Periodic Signals. | Aleksandar Chakarov, Sriram Sankaranarayanan, Georgios Fainekos |
| 2011 | SAS | The Flow-Insensitive Precision of Andersen's Analysis in Practice. | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan |
| 2011 | SAT | Model Counting Using the Inclusion-Exclusion Principle. | Huxley Bennett, Sriram Sankaranarayanan |
| 2011 | TACAS | S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. | Yashwanth Annpureddy, Che Liu, Georgios Fainekos, Sriram Sankaranarayanan |
| 2011 | VMCAI | Access Nets: Modeling Access to Physical Spaces. | Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
| 2010 | FMCAD | 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, Nishant Sinha, Chao Wang |
| 2010 | FMCAD | Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems. | Sicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke |
| 2010 | MEMOCODE | Numerical stability analysis of floating-point computations using software model checking. | Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta |
| 2010 | POPL | Program analysis via satisfiability modulo path programs. | William R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2009 | CAV | Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. | Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar |
| 2009 | EMSOFT | Refining the control structure of loops using static analysis. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2009 | RTSS | Robustness of Model-Based Simulations. | Georgios Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2009 | TACAS | Semantic Reduction of Thread Interleavings in Concurrent Programs. | Vineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta |
| 2008 | ICSE | Mining library specifications using inductive logic programming. | Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2008 | ISSTA | Dynamic inference of likely data preconditions over predicates by tree learning. | Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta |
| 2008 | SAS | SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement. | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta |
| 2008 | TACAS | Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic |
| 2007 | CAV | Fast and Accurate Static Data-Race Detection for Concurrent Programs. | Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta |
| 2007 | SAS | Program Analysis Using Symbolic Ranges. | Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta |
| 2006 | SAS | Static Analysis in Disjunctive Numerical Domains. | Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta |
| 2006 | VMCAI | Efficient Strongly Relational Polyhedral Analysis. | Sriram Sankaranarayanan, Michael Coln, Henny B. Sipma, Zohar Manna |
| 2005 | TIME | LOLA: Runtime Monitoring of Synchronous Systems. | Ben D'Angelo, Sriram Sankaranarayanan, Csar Snchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna |
| 2005 | VMCAI | Scalable Analysis of Linear Systems Using Mathematical Programming. | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna |
| 2004 | POPL | Non-linear loop invariant generation using Gröbner bases. | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna |
| 2004 | SAS | Constraint-Based Linear-Relations Analysis. | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna |
| 2003 | CAV | Linear Invariant Generation Using Non-linear Constraint Solving. | Michael Coln, Sriram Sankaranarayanan, Henny Sipma |
| 2003 | EMSOFT | Event Correlation: Language and Semantics. | Csar Snchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna |