Sriram Sankaranarayanan
According to our database^{1},
Sriram Sankaranarayanan
authored at least 128 papers
between 2001 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2019
Models, Devices, Properties, and Verification of Artificial Pancreas Systems.
Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019
Learning control lyapunov functions from counterexamples and demonstrations.
Auton. Robots, 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
Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks.
Proceedings of the TwentyNinth International Conference on Automated Planning and Scheduling, 2019
2018
SpecificationBased Monitoring of CyberPhysical Systems: A Survey on Theory, Tools and Applications.
Proceedings of the Lectures on Runtime Verification  Introductory and Advanced Topics, 2018
Sensitivity and covariance in stochastic complementarity problems with an application to North American natural gas markets.
European Journal of Operational Research, 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
PathFollowing through Control Funnel Functions.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018
A datadriven approach to artificial pancreas verification and synthesis.
Proceedings of the 9th ACM/IEEE International Conference on CyberPhysical Systems, 2018
Robust DataDriven 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. Embedded Comput. Syst., 2017
Modelbased falsification of an artificial pancreas control system.
SIGBED Review, 2017
Guest Editorial: Special issue on formal modeling and analysis of timed systems.
RealTime Systems, 2017
A Class of Control Certificates to Ensure ReachWhileStay for Switched Systems.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 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 RealTime Monitoring of Linear Systems.
Proceedings of the 2017 IEEE RealTime 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 cyberphysical systems.
Proceedings of the 8th International Conference on CyberPhysical Systems, 2017
Formal Verification of a MultiBasal Insulin Infusion Control Model.
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
A Study of ModelOrder 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 & Information, 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
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants.
Proceedings of the Static Analysis  23rd International Symposium, 2016
Decomposed Reachability Analysis for Nonlinear Systems.
Proceedings of the 2016 IEEE RealTime Systems Symposium, 2016
SymbolicNumeric Reachability Analysis of ClosedLoop 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.
I. J. Robotics Res., 2015
Scalable and scopebounded 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
SimulationGuided Parameter Synthesis for ChanceConstrained Optimization of Control Systems.
Proceedings of the IEEE/ACM International Conference on ComputerAided 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
Counterexampleguided 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
CounterExample Guided Synthesis of control Lyapunov functions for switched systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
SymbolicNumeric 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.
STTT, 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 SIGPLANSIGACT Symposium on Principles of Programming Languages, 2014
Simulationguided lyapunov analysis for hybrid dynamical systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Underapproximate flowpipes for nonlinear continuous systems.
Proceedings of the Formal Methods in ComputerAided Design, 2014
Multiple shooting, CEGARbased 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 nonpolynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials.
Proceedings of the American Control Conference, 2014
2013
Probabilistic Temporal Logic Falsification of CyberPhysical Systems.
ACM Trans. Embedded Comput. Syst., 2013
Static analysis for concurrent programs with applications to data race detection.
STTT, 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 ComputerAided Design, 2013
QUIC Graphs: Relational Invariant Generation for Containers.
Proceedings of the ECOOP 2013  ObjectOriented 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 Nonlinear 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. Embedded Comput. Syst., 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 Selfreflection  (Extended Version).
Proceedings of the Static Analysis  19th International Symposium, 2012
Taylor Model Flowpipe Construction for Nonlinear Hybrid Systems.
Proceedings of the 33rd IEEE RealTime 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 crossentropy 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 ComputerAided Design, 2012
Simulating Insulin Infusion Pump Risks by InSilico Modeling of the InsulinGlucose 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 STaLiRo.
Proceedings of the American Control Conference, 2012
A modelbased 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
STaLiRo: 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 InclusionExclusion Principle.
Proceedings of the Theory and Applications of Satisfiability Testing  SAT 2011, 2011
The FlowInsensitive 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, scopebounded software verification.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Automatic abstraction of nonlinear 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 ObjectOriented Software, 2011
ModelBased 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 SIGPLANSIGACT Symposium on Principles of Programming Languages, 2010
Numerical stability analysis of floatingpoint 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
Montecarlo techniques for falsification of temporal properties of nonlinear 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 ComputerAided Design, 2010
Scalable and precise program analysis at NEC.
Proceedings of 10th International Conference on Formal Methods in ComputerAided Design, 2010
2009
Foreword: Special issue on numerical software verification.
Formal Methods in System Design, 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 ModelBased Simulations.
Proceedings of the 30th IEEE RealTime 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 DenialofService 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
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008
SLR: PathSensitive Analysis through InfeasiblePath 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 MonteCarlo 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 DataRace 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
Collecting Statistics Over Runtime Executions.
Formal Methods in System Design, 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
ConstraintBased LinearRelations Analysis.
Proceedings of the Static Analysis, 11th International Symposium, 2004
Nonlinear loop invariant generation using Gröbner bases.
Proceedings of the 31st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2004
Constructing Invariants for Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
2003
Event Correlation: Language and Semantics.
Proceedings of the Embedded Software, Third International Conference, 2003
Linear Invariant Generation Using Nonlinear 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.
Electr. Notes Theor. Comput. Sci., 2002
2001
Minmax Computation Tree Logic.
Artif. Intell., 2001