Sriram Sankaranarayanan

According to our database1, Sriram Sankaranarayanan
  • authored at least 119 papers between 2001 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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

A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems.
CoRR, 2017

Discriminating Traces with Time.
CoRR, 2017

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations.
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

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 & 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 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.
I. J. Robotics Res., 2015

Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems.
CoRR, 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.
STTT, 2014

On the Minimal Revision Problem of Specification Automata.
CoRR, 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. Embedded Comput. Syst., 2013

Static analysis for concurrent programs with applications to data race detection.
STTT, 2013

Abstract Acceleration of General Linear Loops.
CoRR, 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. Embedded 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 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 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 in System Design, 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
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
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

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 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.
Electr. Notes Theor. Comput. Sci., 2002

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


  Loading...