Sriram Sankaranarayanan
机构: Professor of Computer Science, University of Colorado Boulder
主页: colorado.edu
每年引用次数
引用次数
引用: 10,087
H-指数: 48
I10-指数 : 132
出版物: 243
Controller Synthesis of Discrete Linear Plants Using Polyhedra
Henny B. Sipma , Matteo Slanina , Sriram Sankaranarayanan , Zohar Manna
1
2007
Access nets: modeling access to physical spaces
Robert Frohardt , Bor-Yuh Evan Chang , Sriram Sankaranarayanan
verification, model checking and abstract interpretation 184 -198
6
2011
Requirements driven falsification with coverage metrics
Georgios Fainekos , Adel Dokhanchi , Aditya Zutshi , Sriram Sankaranarayanan
embedded software 31 -40
14
2015
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuits
Fabio Somenzi , Erika Abraham , Sriram Sankaranarayanan , Yan Zhang
international conference on computer aided design 662 -669
8
2013
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems
Benjamin M. Gyori , Sriram Sankaranarayanan , Yan Zhang
international conference on computer aided design 208 -215
2015
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inference
Aleksandar Chakarov , Tom Yeh , Sriram Sankaranarayanan , Paul Givens
international conference on software engineering 1165 -1168
20
2013
Under-approximate Flowpipes for Non-linear Continuous Systems
Erika Ábrahám , Sriram Sankaranarayanan , Xin Chen
formal methods in computer-aided design 59 -66
17
2014
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problems
Franjo Ivancic , Sicun Gao , Malay Ganai , Edmund M. Clarke
formal methods in computer-aided design 81 -90
36
2010
Piecewise linear modeling of nonlinear devices for formal verification of analog circuits
Sriram Sankaranarayanan , Yan Zhang , Fabio Somenzi
formal methods in computer-aided design 196 -203
15
2012
Scalable and precise program analysis at NEC
Vineet Kahlon , Franjo Ivancic , Naoto Maeda , Gogul Balakrishnan
formal methods in computer-aided design 273 -274
4
2010
Robust testing for discrete-time and continuous-time system models
Georgios Fainekos , Franjo Ivancic , Aarti Gupta , Sriram Sankaranarayanan
16
2010
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
Sriram Sankaranarayanan , Antoine Girard
international conference on hybrid systems computation and control
2015
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
Bor-Yuh Evan Chang , Alejandro Sánchez , Sriram Sankaranarayanan , César Sánchez
static analysis symposium 146 -163
4
2012
Fixed point iteration for computing the time elapse operator
Henny B. Sipma , Sriram Sankaranarayanan , Zohar Manna
Lecture Notes in Computer Science 537 -551
3
2006
Linear invariant generation using non-linear constraint solving
Henny B. Sipma , Michael A. Colon , Sriram Sankaranarayanan
Lecture Notes in Computer Science 420 -432
436
2003
Scalable analysis of linear systems using mathematical programming
Henny B. Sipma , Sriram Sankaranarayanan , Zohar Manna
Lecture Notes in Computer Science 25 -41
1
2005
The Flow-Insensitive Precision of Andersen's Analysis in Practice ; CU-CS-1083-11
Sam Blackshear , Bor-Yuh Evan Chang , Manu Sridharan , Sriram Sankaranarayanan
1
2011
Trajectory Tracking Control for Robotic Vehicles using Counterexample Guided Training of Neural Networks
Sriram Sankaranarayanan , Souradeep Dutta , Arthur Clavière
international conference on automated planning and scheduling 29 680 -688
9
2019
Training Neural Network Controllers Using Control Barrier Functions in the Presence of Disturbances
Georgios Fainekos , Sriram Sankaranarayanan , Shakiba Yaghoubi
arXiv: Optimization and Control
30
2020
FIXR: Mining and Understanding Bug Fixes to Address Application Framework Protocol Defects
Bor-Yuh E Chang , Pavol Cern , Kenneth M Anderson , Sriram Sankaranarayanan
2020