Sriram Sankaranarayanan - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Sriram Sankaranarayanan' as author, editor, or advisor:

An enhanced dynamic soft sensor-based online estimation of missing data for water distribution system with inherent disturbancesK. Mohamed Hussain, N. Sivakumaran, S. Sankaranarayanan, Tk Radhakrishnan, G. Swaminathan. tinstmc, 45(8):1579-1603, May 2023. [doi]
Soft sensor based estimation of process parameters and states with Hybridized Grey Wolf OptimizerS. Sankaranarayanan, N. Sivakumaran, G. Swaminathan, Thota K. Radhakrishnan. amcc 2017: 1892-1897 [doi]
Missing data estimation and IoT-based flyby monitoring of a water distribution system: Conceptual and experimental validationS. Sankaranarayanan, G. Swaminathan, Thota K. Radhakrishnan, Natarajan Sivakumaran. ijcomsys, 36(12), August 2023. [doi]
Fractional-Order Sliding Mode Controller Design for a Modified Quadruple Tank Process via Multi-Level SwitchingS. Sutha, P. Lakshmi, S. Sankaranarayanan. cee, 45:10-21, 2015. [doi]
Comprehensive performance modeling and analysis of multicasting in optical networksS. Sankaranarayanan, S. Subramaniam. jsac, 21(9):1399-1413, 2003. [doi]
Improved data acquisition system for digital flow cytometryS. Murthi, S. Sankaranarayanan, Bo Xia, J. J. Rodriguez, D. W. Galbraith. iscas 2002: 669-672 [doi]
Constructing invariants for hybrid systemsSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. fmsd, 32(1):25-55, 2008. [doi]
Symbolic Deadlock Analysis in Concurrent Libraries and Their ClientsJyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan. ASE 2009: 480-491 [doi]
Model Predictive Real-Time Monitoring of Linear SystemsXin Chen 0002, Sriram Sankaranarayanan. rtss 2017: 297-306 [doi]
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control SystemsYan Zhang, Sriram Sankaranarayanan, Benjamin M. Gyori. iccad 2015: 208-215 [doi]
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid SystemsYashwanth Annpureddy, Che Liu, Georgios E. Fainekos, Sriram Sankaranarayanan. TACAS 2011: 254-257 [doi]
Lyapunov Function Synthesis Using Handelman RepresentationsSriram Sankaranarayanan, Xin Chen 0002, Erika Ábrahám. nolcos 2013: 576-581 [doi]
Model-Based Dependability Analysis of Programmable Drug Infusion PumpsSriram Sankaranarayanan, Hadjar Homaei, Clayton Lewis. formats 2011: 317-334 [doi]
Compositional Relational Abstraction for Nonlinear Hybrid SystemsXin Chen, Sergio Mover, Sriram Sankaranarayanan. tecs, 16(5), 2017. [doi]
Symbolic-Numeric Reachability Analysis of Hybrid SystemsSriram Sankaranarayanan. cav 2015: 1 [doi]
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural NetworksSouradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan. cmsb 2018: 183-202 [doi]
Falsification of temporal properties of hybrid systems using the cross-entropy methodSriram Sankaranarayanan, Georgios E. Fainekos. hybrid 2012: 125-134 [doi]
Counterexample-guided stabilization of switched systems using control lyapunov functionsHadi Ravanbakhsh, Sriram Sankaranarayanan. hybrid 2015: 297-298 [doi]
LOLA: Runtime Monitoring of Synchronous SystemsBen D Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna. time 2005: 166-174 [doi]
Under-approximate flowpipes for non-linear continuous systemsXin Chen Rwth, Sriram Sankaranarayanan, Erika Ábrahám. FMCAD 2014: 59-66 [doi]
Combining Time and Frequency Domain Specifications for Periodic SignalsAleksandar Chakarov, Sriram Sankaranarayanan, Georgios E. Fainekos. RV 2012: 294-309 [doi]
Numerical stability analysis of floating-point computations using software model checkingFranjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta. memocode 2010: 49-58 [doi]
Exploring the internal state of user interfaces by combining computer vision techniques with grammatical inferencePaul Givens, Aleksandar Chakarov, Sriram Sankaranarayanan, Tom Yeh. ICSE 2013: 1165-1168 [doi]
Mining library specifications using inductive logic programmingSriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. ICSE 2008: 131-140 [doi]
Sensitivity and covariance in stochastic complementarity problems with an application to North American natural gas marketsSriram Sankaranarayanan, Felipe Feijoo, Sauleh Siddiqui. eor, 268(1):25-36, 2018. [doi]
Sherlock - A tool for verification of neural network feedback systems: demo abstractSouradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. hybrid 2019: 262-263 [doi]
Static analysis for probabilistic programs: inferring whole program properties from finitely many pathsSriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani. PLDI 2013: 447-458 [doi]
Multiple shooting, CEGAR-based falsification for hybrid systemsAditya Zutshi 0001, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski. emsoft 2014: [doi]
Symbolic-Numeric Reachability Analysis of Closed-Loop Control SoftwareAditya Zutshi 0001, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, Xiaoqing Jin. hybrid 2016: 135-144 [doi]
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure InequalitiesOlivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan. TACAS 2016: 225-243 [doi]
Model-based falsification of an artificial pancreas control systemSriram Sankaranarayanan, Suhas Akshar Kumar, Faye Cameron, B. Wayne Bequette, Georgios E. Fainekos, David M. Maahs. sigbed, 14(2):24-33, 2017. [doi]
Event Correlation: Language and SemanticsCésar Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna. emsoft 2003: 323-339 [doi]
Collecting Statistics over Runtime ExecutionsBernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. ENTCS, 70(4):36-54, 2002. [doi]
Formal Verification of a Multi-Basal Insulin Infusion Control ModelXin Chen 0002, Souradeep Dutta, Sriram Sankaranarayanan. cpsweek 2017: 75-91 [doi]
Fixed Point Iteration for Computing the Time Elapse OperatorSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. hybrid 2006: 537-551 [doi]
Modeling and Analyzing the Interaction of C and C++ StringsGogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Rakesh Pothengil. foveoos 2012: 67-85 [doi]
Learning and Verification of Feedback Control Systems using Feedforward Neural NetworksSouradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. adhs 2018: 151-156 [doi]
On the minimal revision problem of specification automataKangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan. ijrr, 34(12):1515-1535, 2015. [doi]
Collecting Statistics Over Runtime ExecutionsBernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. fmsd, 27(3):253-274, 2005. [doi]
Petri Net Analysis Using Invariant GenerationSriram Sankaranarayanan, Henny Sipma, Zohar Manna. BIRTHDAY 2003: 682-701 [doi]
Template polyhedra and bilinear optimizationJessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan. fmsd, 54(1):27-63, 2019. [doi]
Constructing Invariants for Hybrid SystemsSriram Sankaranarayanan, Henny Sipma, Zohar Manna. hybrid 2004: 539-554 [doi]
Robustness of Model-Based SimulationsGeorgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. rtss 2009: 345-354 [doi]
Probabilistic Program Analysis with MartingalesAleksandar Chakarov, Sriram Sankaranarayanan. cav 2013: 511-526 [doi]
Expectation Invariants for Probabilistic Program Loops as Fixed PointsAleksandar Chakarov, Sriram Sankaranarayanan. SAS 2014: 85-100 [doi]
Program analysis via satisfiability modulo path programsWilliam R. Harris, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. POPL 2010: 71-82 [doi]
Output Range Analysis for Deep Feedforward Neural NetworksSouradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari. NFM 2018: 121-138 [doi]
Deductive Proofs of Almost Sure Persistence and Recurrence PropertiesAleksandar Chakarov, Yuen-Lam Voronin, Sriram Sankaranarayanan. TACAS 2016: 260-279 [doi]
Current Challenges in the Verification of Hybrid SystemsStefan Schupp, Erika Ábrahám, Xin Chen 0002, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski. CyPhy 2015: 8-24 [doi]
DC2: A framework for scalable, scope-bounded software verificationFranjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Hiroki Tokuoka, Takashi Imoto, Yoshiaki Miyazaki. ASE 2011: 133-142 [doi]
Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version)Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang. SAS 2012: 146-163 [doi]
Dynamic inference of likely data preconditions over predicates by tree learningSriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta. ISSTA 2008: 295-306 [doi]
Relational Abstractions for Continuous and Hybrid SystemsSriram Sankaranarayanan, Ashish Tiwari. cav 2011: 686-702 [doi]
The Flow-Insensitive Precision of Andersen's Analysis in PracticeSam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan. SAS 2011: 60-76 [doi]
Model Counting Using the Inclusion-Exclusion PrincipleHuxley Bennett, Sriram Sankaranarayanan. sat 2011: 362-363 [doi]
Models, Devices, Properties, and Verification of Artificial Pancreas SystemsTaisa Kushner, B. Wayne Bequette, Faye Cameron, Gregory P. Forlenza, David M. Maahs, Sriram Sankaranarayanan. In Pietro Liò, Paolo Zuliani, editors, Automated Reasoning for Systems Biology and Medicine. Volume 30 of Computational Biology, pages 93-131, Springer, 2019. [doi]
Semantic Reduction of Thread Interleavings in Concurrent ProgramsVineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta. TACAS 2009: 124-138 [doi]
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomialsEric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan. amcc 2014: 3571-3578 [doi]
Guest Editorial: Special issue on formal modeling and analysis of timed systemsMarco Paolieri, Sriram Sankaranarayanan, Enrico Vicario. rts, 53(3):289-290, 2017. [doi]
A Study of Model-Order Reduction Techniques for VerificationYi Chou, Xin Chen 0002, Sriram Sankaranarayanan. cav 2017: 98-113 [doi]
Probabilistic Specification Learning for Planning with Safety ConstraintsKandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian. iros 2021: 6558-6565 [doi]
Automatic abstraction of non-linear systems using change of bases transformationsSriram Sankaranarayanan. hybrid 2011: 143-152 [doi]
Stability and stabilization of polynomial dynamical systems using Bernstein polynomialsMohamed Amin Ben Sassi, Sriram Sankaranarayanan. hybrid 2015: 291-292 [doi]
Mining framework usage graphs from app corporaSergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, Bor-Yuh Evan Chang. WCRE 2018: 277-289 [doi]
QUIC Graphs: Relational Invariant Generation for ContainersArlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan. ECOOP 2013: 401-425 [doi]
Validating numerical semidefinite programming solvers for polynomial invariantsPierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan. fmsd, 53(2):286-312, 2018. [doi]
Symbolic modular deadlock analysisJyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan. ASE, 18(3-4):325-362, 2011. [doi]
Min-max Computation Tree LogicPallab Dasgupta, P. P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan. ai, 127(1):137-162, 2001. [doi]
Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity AnalysisYi Chou, Sriram Sankaranarayanan. IJCAI 2019: 5708-5714 [doi]
Object Model Construction for Inheritance in C++ and Its Applications to Program AnalysisJing Yang 0003, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma. CC 2012: 144-164 [doi]
Path-Following through Control Funnel FunctionsHadi Ravanbakhsh, Sina Aghli, Christoffer Heckman, Sriram Sankaranarayanan. iros 2018: 401-408 [doi]
From statistical model checking to statistical model inference: characterizing the effect of process variations in analog circuitsYan Zhang, Sriram Sankaranarayanan, Fabio Somenzi, Xin Chen 0002, Erika Ábrahám. iccad 2013: 662-669 [doi]
Taylor Model Flowpipe Construction for Non-linear Hybrid SystemsXin Chen 0002, Erika Ábrahám, Sriram Sankaranarayanan. rtss 2012: 183-192 [doi]
Sparse statistical model inference for analog circuits under process variationsYan Zhang, Sriram Sankaranarayanan, Fabio Somenzi. aspdac 2014: 449-454 [doi]
Counter-Example Guided Synthesis of control Lyapunov functions for switched systemsHadi Ravanbakhsh, Sriram Sankaranarayanan. cdc 2015: 4232-4239 [doi]
Reachability analysis for neural feedback systems using regressive polynomial rule inferenceSouradeep Dutta, Xin Chen, Sriram Sankaranarayanan. hybrid 2019: 157-168 [doi]
Static Analysis in Disjunctive Numerical DomainsSriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta. SAS 2006: 3-17 [doi]
A Bit Too Precise? Bounded Verification of Quantized Digital FiltersArlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang. TACAS 2012: 33-47 [doi]
Regular Real AnalysisSwarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi. lics 2013: 509-518 [doi]
Validating Numerical Semidefinite Programming Solvers for Polynomial InvariantsPierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan. SAS 2016: 424-446 [doi]
Discriminating Traces with TimeSaeid Tizpaz Niari, Pavol Cerný, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi. TACAS 2017: 21-37 [doi]
Verification of automotive control applications using S-TaLiRoGeorgios E. Fainekos, Sriram Sankaranarayanan, Koichi Ueda, Hakan Yazarel. amcc 2012: 3567-3572 [doi]
On the revision problem of specification automataKangjin Kim, Georgios E. Fainekos, Sriram Sankaranarayanan. icra 2012: 5171-5176 [doi]
Inputs of Coma: Static Detection of Denial-of-Service VulnerabilitiesRichard M. Chang, Guofei Jiang, Franjo Ivancic, Sriram Sankaranarayanan, Vitaly Shmatikov. csfw 2009: 186-199 [doi]
Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and ApplicationsEzio Bartocci, Jyotirmoy V. Deshmukh, Alexandre Donzé, Georgios E. Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan. In Ezio Bartocci, Yliès Falcone, editors, Lectures on Runtime Verification - Introductory and Advanced Topics. Volume 10457 of Lecture Notes in Computer Science, pages 135-175, Springer, 2018. [doi]
Simulating Insulin Infusion Pump Risks by In-Silico Modeling of the Insulin-Glucose Regulatory SystemSriram Sankaranarayanan, Georgios E. Fainekos. cmsb 2012: 322-341 [doi]
Scalable and precise program analysis at NECGogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang. FMCAD 2010: 273-274 [doi]
Foreword: Special issue on numerical software verificationFranjo Ivancic, Sriram Sankaranarayanan, Chao Wang. fmsd, 35(3):227-228, 2009. [doi]
Simulation-guided lyapunov analysis for hybrid dynamical systemsJames Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Arechiga. hybrid 2014: 133-142 [doi]
Editorial: Special Section VCPSS'09Georgios E. Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan. tecs, 11(S2):52, 2012. [doi]
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systemsTruong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas. hybrid 2010: 211-220 [doi]
Learning control lyapunov functions from counterexamples and demonstrationsHadi Ravanbakhsh, Sriram Sankaranarayanan. arobots, 43(2):275-307, 2019. [doi]
Automatic invariant generation for hybrid systems using ideal fixed pointsSriram Sankaranarayanan. hybrid 2010: 221-230 [doi]
Non-linear loop invariant generation using Gröbner basesSriram Sankaranarayanan, Henny Sipma, Zohar Manna. POPL 2004: 318-329 [doi]
Flow* 1.2: More Effective to Play with Hybrid SystemsXin Chen 0002, Sriram Sankaranarayanan, Erika Ábrahám. cpsweek 2015: 152-159 [doi]
Falsification of safety properties for closed loop control systemsAditya Zutshi 0001, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin. hybrid 2015: 299-300 [doi]
Refining the control structure of loops using static analysisGogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. emsoft 2009: 49-58 [doi]
Constraint-Based Linear-Relations AnalysisSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. SAS 2004: 53-68 [doi]
Probabilistic Temporal Logic Falsification of Cyber-Physical SystemsHoussam Abbas, Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. tecs, 12(2s):95, 2013. [doi]
Iterative computation of polyhedral invariants sets for polynomial dynamical systemsMohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan. cdc 2014: 6348-6353 [doi]
Fast and Accurate Static Data-Race Detection for Concurrent ProgramsVineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta. cav 2007: 226-239 [doi]
Symbolic Model Checking of Hybrid Systems Using Template PolyhedraSriram Sankaranarayanan, Thao Dang, Franjo Ivancic. TACAS 2008: 188-202 [doi]
Efficient Strongly Relational Polyhedral AnalysisSriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna. vmcai 2006: 111-125 [doi]
A trajectory splicing approach to concretizing counterexamples for hybrid systemsAditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski. cdc 2013: 3918-3925 [doi]
Static analysis for concurrent programs with applications to data race detectionVineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta. STTT, 15(4):321-336, 2013. [doi]
Learning Lyapunov (Potential) Functions from Counterexamples and DemonstrationsHadi Ravanbakhsh, Sriram Sankaranarayanan. rss 2017: [doi]
Flow*: An Analyzer for Non-linear Hybrid SystemsXin Chen 0002, Erika Ábrahám, Sriram Sankaranarayanan. cav 2013: 258-263 [doi]
Generalizing the Template Polyhedral DomainMichael Colón, Sriram Sankaranarayanan. ESOP 2011: 176-195 [doi]
A bit too precise? Verification of quantized digital filtersArlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang. STTT, 16(2):175-190, 2014. [doi]
Robust controller synthesis of switched systems using counterexample guided frameworkHadi Ravanbakhsh, Sriram Sankaranarayanan. emsoft 2016: [doi]
Formal Policy Learning from Demonstrations for Reachability PropertiesHadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia. icra 2019: 6037-6043 [doi]
Program Analysis Using Symbolic RangesSriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta. SAS 2007: 366-383 [doi]
Integrating ICP and LRA solvers for deciding nonlinear real arithmetic problemsSicun Gao, Malay K. Ganai, Franjo Ivancic, Aarti Gupta, Sriram Sankaranarayanan, Edmund M. Clarke. FMCAD 2010: 81-89 [doi]
Requirements driven falsification with coverage metricsAdel Dokhanchi, Aditya Zutshi 0001, Rahul T. Sriniva, Sriram Sankaranarayanan, Georgios E. Fainekos. emsoft 2015: 31-40 [doi]
Piecewise linear modeling of nonlinear devices for formal verification of analog circuitsYan Zhang, Sriram Sankaranarayanan, Fabio Somenzi. FMCAD 2012: 196-203 [doi]
Static Analysis in the Continuously Changing WorldSriram Sankaranarayanan. SAS 2013: 4-5 [doi]
Linear Invariant Generation Using Non-linear Constraint SolvingMichael Colón, Sriram Sankaranarayanan, Henny Sipma. cav 2003: 420-432 [doi]
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015Antoine Girard, Sriram Sankaranarayanan, editors, ACM, 2015. [doi]
A data-driven approach to artificial pancreas verification and synthesisTaisa Kushner, David Bortz, David M. Maahs, Sriram Sankaranarayanan. iccps 2018: 242-252 [doi]
Can Cut-Generating Functions Be Good and Efficient?Amitabh Basu, Sriram Sankaranarayanan. siamjo, 29(2):1190-1210, 2019. [doi]
State space exploration using feedback constraint generation and Monte-Carlo samplingSriram Sankaranarayanan, Richard M. Chang, Guofei Jiang, Franjo Ivancic. ESEC/FSE 2007: 321-330 [doi]
Template Polyhedra with a TwistSriram Sankaranarayanan, Mohamed Amin Ben Sassi. SAS 2017: 321-341 [doi]
Beyond single shooting: Iterative approaches to falsificationJyotirmoy V. Deshmukh, Georgios E. Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi 0001, Xiaoqing Jin. amcc 2015: 4098 [doi]
Analyzing neighborhoods of falsifying traces in cyber-physical systemsRam Das Diwakaran, Sriram Sankaranarayanan, Ashutosh Trivedi. iccps 2017: 109-119 [doi]
Scalable Analysis of Linear Systems Using Mathematical ProgrammingSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. vmcai 2005: 25-41 [doi]
Access Nets: Modeling Access to Physical SpacesRobert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan. vmcai 2011: 184-198 [doi]
Timed Relational Abstractions for Sampled Data Control SystemsAditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari. cav 2012: 343-361 [doi]
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, ProceedingsSriram Sankaranarayanan, Enrico Vicario, editors, Volume 9268 of Lecture Notes in Computer Science, Springer, 2015. [doi]
A Policy Iteration Technique for Time Elapse over Template PolyhedraSriram Sankaranarayanan, Thao Dang, Franjo Ivancic. hybrid 2008: 654-657 [doi]
A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patientsSriram Sankaranarayanan, Christopher Miller, Rangarajan Raghunathan, Hadi Ravanbakhsh, Georgios E. Fainekos. allerton 2012: 1610-1617 [doi]
Statistically Sound Verification and Optimization for Complex SystemsYan Zhang, Sriram Sankaranarayanan, Fabio Somenzi. ATVA 2014: 411-427 [doi]
QUICr: A Reusable Library for Parametric Abstraction of Sets and NumbersArlen Cox, Bor-Yuh Evan Chang, Sriram Sankaranarayanan. cav 2014: 866-873 [doi]
SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language RefinementGogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei, Aarti Gupta. SAS 2008: 238-254 [doi]
Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime VerificationFraser Cameron, Georgios E. Fainekos, David M. Maahs, Sriram Sankaranarayanan. RV 2015: 3-17 [doi]
Experience Report: Application of Falsification Methods on the UxAS SystemCumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios E. Fainekos, Sriram Sankaranarayanan. NFM 2018: 452-459 [doi]
Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018Björn B. Brandenburg, Sriram Sankaranarayanan, editors, IEEE, 2018. [doi]
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesisMohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen 0002, Erika Ábrahám. imamci, 33(3):723-756, 2016. [doi]
Scalable and scope-bounded software verification in VarvelFranjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain. ASE, 22(4):517-559, 2015. [doi]
Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretationHadi Ravanbakhsh, Sriram Sankaranarayanan. emsoft 2014: 1-10 [doi]
Abstract acceleration of general linear loopsBertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan. POPL 2014: 529-540 [doi]
Decomposed Reachability Analysis for Nonlinear SystemsXin Chen 0002, Sriram Sankaranarayanan. rtss 2016: 13-24 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Sriram Sankaranarayanan's Profile

Unidentified Publications