×

zbMATH — the first resource for mathematics

Sankaranarayanan, Sriram

Compute Distance To:
Author ID: sankaranarayanan.sriram Recent zbMATH articles by "Sankaranarayanan, Sriram"
Published as: Sankaranarayanan, S.; Sankaranarayanan, Sriram
External Links: MGP · Wikidata
Documents Indexed: 55 Publications since 1996, including 2 Books

Publications by Year

Citations contained in zbMATH

38 Publications have been cited 265 times in 173 Documents Cited by Year
Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
35
2005
Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
33
2004
Linear invariant generation using non-linear constraint solving. Zbl 1278.68164
Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B.
25
2003
Automatic invariant generation for hybrid systems using ideal fixed points. Zbl 1360.34082
Sankaranarayanan, Sriram
15
2010
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
14
2008
S-TaLiRo: a tool for temporal logic falsification for hybrid systems. Zbl 1316.68069
Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram
13
2011
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
12
2004
Efficient strongly relational polyhedral analysis. Zbl 1176.68051
Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar
11
2006
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
11
2004
Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos
10
2014
Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
9
2008
A study of the effects of grid non-orthogonality on the solution of shallow water equations in boundary-fitted coordinate systems. Zbl 1118.76327
Sankaranarayanan, S.; Spaulding, Malcolm L.
8
2003
Static analysis in disjunctive numerical domains. Zbl 1225.68077
Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti
7
2006
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
6
2007
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
5
2010
Determination of personalized diabetes treatment plans using a two-delay model. Zbl 1412.92148
Kissler, S. M.; Cichowitz, C.; Sankaranarayanan, S.; Bortz, D. M.
4
2014
Generalizing the template polyhedral domain. Zbl 1326.68088
Colón, Michael A.; Sankaranarayanan, Sriram
4
2011
Petri net analysis using invariant generation. Zbl 1274.68253
Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar
4
2003
Min-max Computation Tree Logic. Zbl 0976.68104
Dasgupta, P.; Chakrabarti, P. P.; Deka, J. K.; Sankaranarayanan, S.
4
2001
Finite element analysis of free surface flow through gates. Zbl 0875.76259
Sankaranarayanan, S.; Suresh Rao, H.
4
1996
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika
3
2016
Automatic abstraction of non-linear systems using change of bases transformations. Zbl 1362.93033
Sankaranarayanan, Sriram
3
2011
A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
3
2008
Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085
Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
2
2016
Regular real analysis. Zbl 1366.03217
Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y.
2
2013
Falsification of temporal properties of hybrid systems using the cross-entropy method. Zbl 1362.68183
Sankaranarayanan, Sriram; Fainekos, Georgios
2
2012
Access nets: modeling access to physical spaces. Zbl 1317.68114
Frohardt, Robert; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram
2
2011
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
2
2010
Collecting statistics over runtime executions. Zbl 1083.68068
Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B.
2
2005
Dispersion and stability analyses of the linearized two-dimensional shallow water equations in boundary-fitted co-ordinates. Zbl 1143.76518
Sankaranarayanan, S.; Spaulding, Malcolm L.
2
2003
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. Zbl 1420.68205
Bouissou, Olivier; Goubault, Eric; Putot, Sylvie; Chakarov, Aleksandar; Sankaranarayanan, Sriram
1
2016
Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058
Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing
1
2016
Change-of-bases abstractions for non-linear hybrid systems. Zbl 1329.93046
Sankaranarayanan, Sriram
1
2016
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. Zbl 1364.93679
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram
1
2015
Quicr: a reusable library for parametric abstraction of sets and numbers. Zbl 1296.68004
Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram
1
2014
Abstract acceleration of general linear loops. Zbl 1284.68188
Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram
1
2014
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
1
2007
Fixed point iteration for computing the time elapse operator. Zbl 1178.93053
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
1
2006
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika
3
2016
Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085
Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
2
2016
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. Zbl 1420.68205
Bouissou, Olivier; Goubault, Eric; Putot, Sylvie; Chakarov, Aleksandar; Sankaranarayanan, Sriram
1
2016
Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058
Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing
1
2016
Change-of-bases abstractions for non-linear hybrid systems. Zbl 1329.93046
Sankaranarayanan, Sriram
1
2016
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. Zbl 1364.93679
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram
1
2015
Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos
10
2014
Determination of personalized diabetes treatment plans using a two-delay model. Zbl 1412.92148
Kissler, S. M.; Cichowitz, C.; Sankaranarayanan, S.; Bortz, D. M.
4
2014
Quicr: a reusable library for parametric abstraction of sets and numbers. Zbl 1296.68004
Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram
1
2014
Abstract acceleration of general linear loops. Zbl 1284.68188
Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram
1
2014
Regular real analysis. Zbl 1366.03217
Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y.
2
2013
Falsification of temporal properties of hybrid systems using the cross-entropy method. Zbl 1362.68183
Sankaranarayanan, Sriram; Fainekos, Georgios
2
2012
S-TaLiRo: a tool for temporal logic falsification for hybrid systems. Zbl 1316.68069
Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram
13
2011
Generalizing the template polyhedral domain. Zbl 1326.68088
Colón, Michael A.; Sankaranarayanan, Sriram
4
2011
Automatic abstraction of non-linear systems using change of bases transformations. Zbl 1362.93033
Sankaranarayanan, Sriram
3
2011
Access nets: modeling access to physical spaces. Zbl 1317.68114
Frohardt, Robert; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram
2
2011
Automatic invariant generation for hybrid systems using ideal fixed points. Zbl 1360.34082
Sankaranarayanan, Sriram
15
2010
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
5
2010
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
2
2010
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
14
2008
Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
9
2008
A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
3
2008
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
6
2007
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
1
2007
Efficient strongly relational polyhedral analysis. Zbl 1176.68051
Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar
11
2006
Static analysis in disjunctive numerical domains. Zbl 1225.68077
Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti
7
2006
Fixed point iteration for computing the time elapse operator. Zbl 1178.93053
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
1
2006
Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
35
2005
Collecting statistics over runtime executions. Zbl 1083.68068
Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B.
2
2005
Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
33
2004
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
12
2004
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
11
2004
Linear invariant generation using non-linear constraint solving. Zbl 1278.68164
Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B.
25
2003
A study of the effects of grid non-orthogonality on the solution of shallow water equations in boundary-fitted coordinate systems. Zbl 1118.76327
Sankaranarayanan, S.; Spaulding, Malcolm L.
8
2003
Petri net analysis using invariant generation. Zbl 1274.68253
Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar
4
2003
Dispersion and stability analyses of the linearized two-dimensional shallow water equations in boundary-fitted co-ordinates. Zbl 1143.76518
Sankaranarayanan, S.; Spaulding, Malcolm L.
2
2003
Min-max Computation Tree Logic. Zbl 0976.68104
Dasgupta, P.; Chakrabarti, P. P.; Deka, J. K.; Sankaranarayanan, S.
4
2001
Finite element analysis of free surface flow through gates. Zbl 0875.76259
Sankaranarayanan, S.; Suresh Rao, H.
4
1996
all top 5

Cited by 386 Authors

8 Sankaranarayanan, Sriram
7 Zhan, Naijun
6 Kapur, Deepak
4 Adjé, Assalé
4 Bartocci, Ezio
4 Bouissou, Olivier
4 Gawlitza, Thomas Martin
4 Goubault, Eric
4 King, Andy
4 L’vov, M. S.
4 Platzer, André
4 Zhao, Hengjun
3 Amato, Gianluca
3 Bagnara, Roberto
3 Chapoutot, Alexandre
3 Chen, Liqian
3 Deshmukh, Jyotirmoy V.
3 Dreossi, Tommaso
3 Garoche, Pierre-Loïc
3 Gaubert, Stéphane
3 Grosu, Radu
3 Hill, Patricia M.
3 Lin, Wang
3 Magron, Victor
3 Matringe, Nadir
3 Moura, Arnaldo Vieira
3 Rebiha, Rachid
3 Reps, Thomas W.
3 Rodríguez-Carbonell, Enric
3 Scozzari, Francesca
3 Seidl, Helmut
3 Seladji, Yassamine
3 Seshia, Sanjit Arunkumar
3 Simon, Axel
3 Wang, Ji
3 Xia, Bican
3 Yang, Zhengfeng
3 Zaffanella, Enea
2 Aharon, Shir
2 Angelova, Maia N.
2 Ben Sassi, Mohamed Amin
2 Beyer, Dirk
2 Boreale, Michele
2 Bridgewater, Adam
2 Dang, Thao
2 Donzé, Alexandre
2 D’silva, Vijay
2 Fähndrich, Manuel
2 Furia, Carlo Alberto
2 Giesl, Jürgen
2 Gupta, Aarti
2 Howe, Jacob M.
2 Huard, Benoit
2 Islam, Md. Ariful
2 Jha, Susmit
2 Kallinderis, Yannis
2 Kurokawa, Fernando A.
2 Logozzo, Francesco
2 Lu, Qi
2 Manna, Zohar
2 Meyer, Bertrand
2 Mili, Ali
2 Mitra, Sayan
2 Monniaux, David P.
2 Nadkarni, Chaitanya
2 Nickovic, Dejan
2 Oliveras, Albert
2 Piazza, Carla
2 Ratschan, Stefan
2 Rubio, Albert
2 Sahai, Tuhin
2 Sánchez, César
2 Shankar, Natarajan
2 Sharma, Tushar
2 Shen, Lian
2 Sipma, Henny B.
2 Smolka, Scott A.
2 Sogokon, Andrew
2 Tiwari, Ashish Kumar
2 Wang, Shuling
2 Wu, Jinzhao
2 Wu, Min
2 Wu, Xueguang
2 Zeng, Zhenbing
2 Zhang, Zhihai
1 Ahmadi, Amir Ali
1 Ahmadipour, Mahboubeh
1 Ahrendt, Wolfgang
1 Aiken, Alex
1 Albert, Elvira
1 Allamigeon, Xavier
1 Angland, David
1 Annpureddy, Yashwanth
1 Aréchiga, Nikos
1 Ashar, Pranav
1 Bairagi, Nandadulal
1 Balkan, Ayça
1 Barkhordari Yazdi, Mojtaba
1 Basagiannis, Stylianos
1 Basin, David A.
...and 286 more Authors
all top 5

Cited in 47 Serials

20 Formal Methods in System Design
10 Journal of Symbolic Computation
9 Theoretical Computer Science
8 Journal of Computational Physics
8 Journal of Automated Reasoning
7 Nonlinear Analysis. Hybrid Systems
5 Formal Aspects of Computing
4 Automatica
4 Cybernetics and Systems Analysis
4 Journal of Systems Science and Complexity
3 International Journal for Numerical Methods in Fluids
3 Science of Computer Programming
3 Computer Languages, Systems & Structures
2 Information Processing Letters
2 Discrete Event Dynamic Systems
2 Mathematical Problems in Engineering
2 Higher-Order and Symbolic Computation
2 The Journal of Logic and Algebraic Programming
2 Mathematics in Computer Science
2 Logical Methods in Computer Science
1 ACM Computing Surveys
1 Acta Informatica
1 Computers & Mathematics with Applications
1 Journal of the Franklin Institute
1 Applied Mathematics and Computation
1 SIAM Journal on Control and Optimization
1 Systems & Control Letters
1 Circuits, Systems, and Signal Processing
1 Information and Computation
1 Computational Geometry
1 Applied Mathematical Modelling
1 Mathematical Programming. Series A. Series B
1 Journal of Nonlinear Science
1 Computational and Applied Mathematics
1 The Journal of Artificial Intelligence Research (JAIR)
1 Constraints
1 European Journal of Control
1 International Journal of Applied Mathematics and Computer Science
1 Optimization and Engineering
1 Discrete and Continuous Dynamical Systems. Series B
1 Sādhanā
1 Science China. Information Sciences
1 Numerical Algebra, Control and Optimization
1 Frontiers of Computer Science in China
1 Journal of Theoretical Biology
1 Frontiers of Computer Science
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.