Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sriram Sankaranarayanan
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Expectation Invariants for Probabilistic Program Loops as Fixed Points
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Statistically Sound Verification and Optimization for Complex Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining Time and Frequency Domain Specifications for Periodic Signals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems
A Model-Based Approach to Synthesizing Insulin Infusion Pump Usage Parameters for Diabetic Patients
Analyzing Neighborhoods of Falsifying Traces in Cyber-Physical Systems
Constructing Invariants for Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Petri Net Analysis Using Invariant Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
1
2
›
