Sriram Sankaranarayanan

Affiliations:
  • University of Colorado Boulder, USA


According to our database1, Sriram Sankaranarayanan authored at least 168 papers between 2001 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems.
Autom., September, 2023

Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.
CoRR, 2023

Safe Robot Learning in Assistive Devices through Neural Network Repair.
CoRR, 2023

Template-Based Piecewise Affine Regression.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Temporal Logic-Based Intent Monitoring for Mobile Robots.
IROS, 2023

More Than a Number: A Multi-dimensional Framework For Automatically Assessing Human Teleoperation Skill.
Proceedings of the Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

Timed Partial Order Inference Algorithm.
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022
Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems.
CoRR, 2022

An Algorithm for Learning Switched Linear Dynamics from Data.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Reachability Analysis for Cyber-Physical Systems: Are We There Yet?
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Mathematical Models of Human Drivers Using Artificial Risk Fields.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Verified Path Following Using Neural Control Lyapunov Functions.
Proceedings of the Conference on Robot Learning, 2022

Safe Robot Learning in Assistive Devices through Neural Network Repair.
Proceedings of the Conference on Robot Learning, 2022

Learning fixed-complexity polyhedral Lyapunov functions from counterexamples.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
Quantitative estimation of side-channel leaks with neural networks.
Int. J. Softw. Tools Technol. Transf., 2021

Local Repair of Neural Networks Using Optimization.
CoRR, 2021

Technical perspective: An elegant model for deriving equations.
Commun. ACM, 2021

Static Analysis of ReLU Neural Networks with Tropical Polyhedra.
Proceedings of the Static Analysis - 28th International Symposium, 2021

Probabilistic Specification Learning for Planning with Safety Constraints.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2020
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Predictive Runtime Monitoring of Vehicle Models Using Bayesian Estimation and Reachability Analysis.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Conformance verification for neural network models of glucose-insulin dynamics.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Weighted Transducers for Robustness Verification.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

Unbounded-Time Safety Verification of Stochastic Differential Dynamics.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Reachability Analysis Using Message Passing over Tree Decompositions.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019
Models, Devices, Properties, and Verification of Artificial Pancreas Systems.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Template polyhedra and bilinear optimization.
Formal Methods Syst. Des., 2019

Learning control lyapunov functions from counterexamples and demonstrations.
Auton. Robots, 2019

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Efficient Detection and Quantification of Timing Leaks with Neural Networks.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Reaching Out Towards Fully Verified Autonomous Systems.
Proceedings of the Reachability Problems - 13th International Conference, 2019

Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Formal Policy Learning from Demonstrations for Reachability Properties.
Proceedings of the International Conference on Robotics and Automation, 2019

Verifying Conformance of Neural Network Models: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019

Reachability analysis for neural feedback systems using regressive polynomial rule inference.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Sherlock - A tool for verification of neural network feedback systems: demo abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Distributed Online Convex Programming for Collision Avoidance in Multi-agent Autonomous Vehicle Systems.
Proceedings of the 2019 American Control Conference, 2019

Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Validating numerical semidefinite programming solvers for polynomial invariants.
Formal Methods Syst. Des., 2018

Mining framework usage graphs from app corpora.
Proceedings of the 25th International Conference on Software Analysis, 2018

Experience Report: Application of Falsification Methods on the UxAS System.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Output Range Analysis for Deep Feedforward Neural Networks.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Path-Following through Control Funnel Functions.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

A data-driven approach to artificial pancreas verification and synthesis.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks.
Proceedings of the Computational Methods in Systems Biology, 2018

Learning and Verification of Feedback Control Systems using Feedforward Neural Networks.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Compositional Relational Abstraction for Nonlinear Hybrid Systems.
ACM Trans. Embed. Comput. Syst., 2017

Model-based falsification of an artificial pancreas control system.
SIGBED Rev., 2017

Guest Editorial: Special issue on formal modeling and analysis of timed systems.
Real Time Syst., 2017

A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Output Range Analysis for Deep Neural Networks.
CoRR, 2017

Discriminating Traces with Time.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Template Polyhedra with a Twist.
Proceedings of the Static Analysis - 24th International Symposium, 2017

Model Predictive Real-Time Monitoring of Linear Systems.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.
Proceedings of the Robotics: Science and Systems XIII, 2017

Analyzing neighborhoods of falsifying traces in cyber-physical systems.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Formal Verification of a Multi-Basal Insulin Infusion Control Model.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

A Study of Model-Order Reduction Techniques for Verification.
Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2016
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.
IMA J. Math. Control. Inf., 2016

Deductive Proofs of Almost Sure Persistence and Recurrence Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Decomposed Reachability Analysis for Nonlinear Systems.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Robust controller synthesis of switched systems using counterexample guided framework.
Proceedings of the 2016 International Conference on Embedded Software, 2016

2015
On the minimal revision problem of specification automata.
Int. J. Robotics Res., 2015

Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties.
CoRR, 2015

Scalable and scope-bounded software verification in Varvel.
Autom. Softw. Eng., 2015

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Stability and stabilization of polynomial dynamical systems using Bernstein polynomials.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Counterexample-guided stabilization of switched systems using control lyapunov functions.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Falsification of safety properties for closed loop control systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Requirements driven falsification with coverage metrics.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Current Challenges in the Verification of Hybrid Systems.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Flow* 1.2: More Effective to Play with Hybrid Systems.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Counter-Example Guided Synthesis of control Lyapunov functions for switched systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Symbolic-Numeric Reachability Analysis of Hybrid Systems.
Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

Beyond single shooting: Iterative approaches to falsification.
Proceedings of the American Control Conference, 2015

2014
A bit too precise? Verification of quantized digital filters.
Int. J. Softw. Tools Technol. Transf., 2014

Expectation Invariants for Probabilistic Program Loops as Fixed Points.
Proceedings of the Static Analysis - 21st International Symposium, 2014

Abstract acceleration of general linear loops.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Simulation-guided lyapunov analysis for hybrid dynamical systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Under-approximate flowpipes for non-linear continuous systems.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Multiple shooting, CEGAR-based falsification for hybrid systems.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretation.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Iterative computation of polyhedral invariants sets for polynomial dynamical systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Statistically Sound Verification and Optimization for Complex Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2014

Sparse statistical model inference for analog circuits under process variations.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials.
Proceedings of the American Control Conference, 2014

2013
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2013

Static analysis for concurrent programs with applications to data race detection.
Int. J. Softw. Tools Technol. Transf., 2013

Static Analysis in the Continuously Changing World.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Static analysis for probabilistic programs: inferring whole program properties from finitely many paths.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Lyapunov Function Synthesis Using Handelman Representations.
Proceedings of the 9th IFAC Symposium on Nonlinear Control Systems, 2013

Regular Real Analysis.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference.
Proceedings of the 35th International Conference on Software Engineering, 2013

From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

QUIC Graphs: Relational Invariant Generation for Containers.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

A trajectory splicing approach to concretizing counterexamples for hybrid systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Flow*: An Analyzer for Non-linear Hybrid Systems.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Probabilistic Program Analysis with Martingales.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Editorial: Special Section VCPSS'09.
ACM Trans. Embed. Comput. Syst., 2012

Change-Of-Bases Abstractions for Non-Linear Systems
CoRR, 2012

A Bit Too Precise? Bounded Verification of Quantized Digital Filters.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
Proceedings of the Static Analysis - 19th International Symposium, 2012

Taylor Model Flowpipe Construction for Non-linear Hybrid Systems.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

On the revision problem of specification automata.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Falsification of temporal properties of hybrid systems using the cross-entropy method.
Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

Piecewise linear modeling of nonlinear devices for formal verification of analog circuits.
Proceedings of the Formal Methods in Computer-Aided Design, 2012

Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory System.
Proceedings of the Computational Methods in Systems Biology, 2012

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.
Proceedings of the Compiler Construction - 21st International Conference, 2012

Timed Relational Abstractions for Sampled Data Control Systems.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Verification of automotive control applications using S-TaLiRo.
Proceedings of the American Control Conference, 2012

A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients.
Proceedings of the 50th Annual Allerton Conference on Communication, 2012

2011
Symbolic modular deadlock analysis.
Autom. Softw. Eng., 2011

Access Nets: Modeling Access to Physical Spaces.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Model Counting Using the Inclusion-Exclusion Principle.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

The Flow-Insensitive Precision of Andersen's Analysis in Practice.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Combining Time and Frequency Domain Specifications for Periodic Signals.
Proceedings of the Runtime Verification - Second International Conference, 2011

DC2: A framework for scalable, scope-bounded software verification.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Automatic abstraction of non-linear systems using change of bases transformations.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Modeling and Analyzing the Interaction of C and C++ Strings.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

Model-Based Dependability Analysis of Programmable Drug Infusion Pumps.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Generalizing the Template Polyhedral Domain.
Proceedings of the Programming Languages and Systems, 2011

Relational Abstractions for Continuous and Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Program analysis via satisfiability modulo path programs.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Numerical stability analysis of floating-point computations using software model checking.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Automatic invariant generation for hybrid systems using ideal fixed points.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems.
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Scalable and precise program analysis at NEC.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009
Foreword: Special issue on numerical software verification.
Formal Methods Syst. Des., 2009

Semantic Reduction of Thread Interleavings in Concurrent Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Robustness of Model-Based Simulations.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients.
Proceedings of the ASE 2009, 2009

Refining the control structure of loops using static analysis.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities.
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Constructing invariants for hybrid systems.
Formal Methods Syst. Des., 2008

Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.
Proceedings of the Static Analysis, 15th International Symposium, 2008

Dynamic inference of likely data preconditions over predicates by tree learning.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Mining library specifications using inductive logic programming.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Policy Iteration Technique for Time Elapse over Template Polyhedra.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007
State space exploration using feedback constraint generation and Monte-Carlo sampling.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Program Analysis Using Symbolic Ranges.
Proceedings of the Static Analysis, 14th International Symposium, 2007

Fast and Accurate Static Data-Race Detection for Concurrent Programs.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Efficient Strongly Relational Polyhedral Analysis.
Proceedings of the Verification, 2006

Static Analysis in Disjunctive Numerical Domains.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Fixed Point Iteration for Computing the Time Elapse Operator.
Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005
Mathematical analysis of programs.
PhD thesis, 2005

Scalable Analysis of Linear Systems Using Mathematical Programming.
Proceedings of the Verification, 2005

LOLA: Runtime Monitoring of Synchronous Systems.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

2004
Constraint-Based Linear-Relations Analysis.
Proceedings of the Static Analysis, 11th International Symposium, 2004

Non-linear loop invariant generation using Gröbner bases.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2003
Event Correlation: Language and Semantics.
Proceedings of the Embedded Software, Third International Conference, 2003

Linear Invariant Generation Using Non-linear Constraint Solving.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Petri Net Analysis Using Invariant Generation.
Proceedings of the Verification: Theory and Practice, 2003

2002
Collecting Statistics over Runtime Executions.
Proceedings of the Runtime Verification 2002, 2002

2001
Min-max Computation Tree Logic.
Artif. Intell., 2001


  Loading...