×

Sankaranarayanan, Sriram

Compute Distance To:
Author ID: sankaranarayanan.sriram Recent zbMATH articles by "Sankaranarayanan, Sriram"
Published as: Sankaranarayanan, Sriram
External Links: MGP
all top 5

Co-Authors

5 single-authored
10 Sipma, Henny B.
8 Manna, Zohar
7 Ivančić, Franjo
6 Gupta, Aarti
4 Ben Sassi, Mohamed Amin
4 Chang, Bor-Yuh Evan
4 Chen, Xin
4 Dutta, Souradeep
3 Colón, Michael A.
3 Fainekos, Georgios E.
3 Voronin, Yuen-Lam
2 Basu, Amitabh
2 Chakarov, Aleksandar
2 Cox, Arlen
2 Dang, Thao
2 Deshmukh, Jyotirmoy V.
2 Kushner, Taisa
2 Roux, Pierre
2 Spaulding, Malcolm L.
2 Trivedi, Ashutosh
2 Vicario, Enrico
1 Ábrahám, Erika
1 Annpureddy, Yashwanth
1 Aréchiga, Nikos
1 Balakrishnan, Gogul
1 Becker, Stephen R.
1 Bortz, David M.
1 Bouissou, Olivier
1 Breton, Marc D.
1 Černý, Pavol
1 Chakrabarti, Partha Pratim
1 Chaudhuri, Swarat
1 Chen, Mingshuai
1 Chou, Yi
1 Cichowitz, C.
1 Das, Vinu V.
1 Debnath, Narayan Chandra
1 Deka, Jatindra Kumar
1 Feijoo, Felipe
1 Feng, Shenghua
1 Filiot, Emmanuel
1 Finkbeiner, Bernd
1 Fränzle, Martin
1 Frohardt, Robert
1 Gaol, Ford Lumban
1 Girard, Antoine
1 Goubault, Eric
1 Gronski, Jessica A.
1 Harris, William R.
1 Jeannet, Bertrand
1 Jha, Susmit
1 Jin, Xiaoqing
1 Kahlon, Vineet
1 Kapinski, James
1 Kazachkov, Aleksandr M.
1 Kissler, S. M.
1 Le Bodic, Pierre
1 Liu, Che
1 Lygeros, John
1 Mazzocchi, Nicolas
1 Meghanathan, Natarajan
1 Mover, Sergio
1 Nghiem, Truong
1 Paolieri, Marco
1 Pappas, George J.
1 Putot, Sylvie
1 Raskin, Jean-François
1 Ryan, Christopher Thomas
1 Schrammel, Peter
1 Shlyakhter, Ilya
1 Siddiqui, Sauleh Ahmad
1 Somenzi, Fabio
1 Suresh Rao, H.
1 Thankachan, N.
1 Thankachan, P. M.
1 Tiwari, Ashish Kumar
1 Tizpaz-Niari, Saeid
1 Vardi, Moshe Ya’akov
1 Wei, Ou
1 Xue, Bai
1 Yang, Yu
1 Zhan, Naijun
1 Zhang, Yan
1 Zutshi, Aditya

Publications by Year

Citations contained in zbMATH Open

46 Publications have been cited 314 times in 188 Documents Cited by Year
Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
39
2005
Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
35
2004
Linear invariant generation using non-linear constraint solving. Zbl 1278.68164
Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B.
26
2003
S-TaLiRo: a tool for temporal logic falsification for hybrid systems. Zbl 1316.68069
Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram
20
2011
Automatic invariant generation for hybrid systems using ideal fixed points. Zbl 1360.34082
Sankaranarayanan, Sriram
16
2010
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
15
2008
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
13
2004
Constructing invariants for hybrid systems. Zbl 1135.93322
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
12
2006
Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108
Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos
12
2014
Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
11
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
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.
7
2010
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
6
2007
Determination of personalized diabetes treatment plans using a two-delay model. Zbl 1412.92148
Kissler, S. M.; Cichowitz, C.; Sankaranarayanan, S.; Bortz, D. M.
6
2014
Regular real analysis. Zbl 1366.03217
Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y.
5
2013
A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
4
2008
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
Finite element analysis of free surface flow through gates. Zbl 0875.76259
Sankaranarayanan, S.; Suresh Rao, H.
4
1996
Min-max Computation Tree Logic. Zbl 0976.68104
Dasgupta, P.; Chakrabarti, P. P.; Deka, J. K.; Sankaranarayanan, S.
4
2001
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika
4
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
4
2016
Falsification of temporal properties of hybrid systems using the cross-entropy method. Zbl 1362.68183
Sankaranarayanan, Sriram; Fainekos, Georgios
4
2012
Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085
Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
3
2016
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
Collecting statistics over runtime executions. Zbl 1083.68068
Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B.
2
2005
Abstract acceleration of general linear loops. Zbl 1284.68188
Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram
2
2014
Reachability analysis for neural feedback systems using regressive polynomial rule inference. Zbl 07120151
Dutta, Souradeep; Chen, Xin; Sankaranarayanan, Sriram
2
2019
Change-of-bases abstractions for non-linear hybrid systems. Zbl 1329.93046
Sankaranarayanan, Sriram
2
2016
Template polyhedra and bilinear optimization. Zbl 1426.65079
Gronski, Jessica; Ben Sassi, Mohamed-Amin; Becker, Stephen; Sankaranarayanan, Sriram
2
2019
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
2
2010
Fixed point iteration for computing the time elapse operator. Zbl 1178.93053
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
1
2006
Quicr: a reusable library for parametric abstraction of sets and numbers. Zbl 1296.68004
Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram
1
2014
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.
1
2003
Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1425.68081
Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
1
2018
Can cut-generating functions be good and efficient? Zbl 1411.90221
Basu, Amitabh; Sankaranarayanan, Sriram
1
2019
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
1
2007
Deductive proofs of almost sure persistence and recurrence properties. Zbl 1420.68153
Chakarov, Aleksandar; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
1
2016
Robust data-driven control of artificial pancreas systems using neural networks. Zbl 1397.92323
Dutta, Souradeep; Kushner, Taisa; Sankaranarayanan, Sriram
1
2018
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. Zbl 1364.93679
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram
1
2015
Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058
Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing
1
2016
Special issue on Hybrid systems: computation and control. Zbl 1384.00108
1
2018
Mixed-integer bilevel representability. Zbl 1480.90176
Basu, Amitabh; Ryan, Christopher Thomas; Sankaranarayanan, Sriram
1
2021
Mixed-integer bilevel representability. Zbl 1480.90176
Basu, Amitabh; Ryan, Christopher Thomas; Sankaranarayanan, Sriram
1
2021
Reachability analysis for neural feedback systems using regressive polynomial rule inference. Zbl 07120151
Dutta, Souradeep; Chen, Xin; Sankaranarayanan, Sriram
2
2019
Template polyhedra and bilinear optimization. Zbl 1426.65079
Gronski, Jessica; Ben Sassi, Mohamed-Amin; Becker, Stephen; Sankaranarayanan, Sriram
2
2019
Can cut-generating functions be good and efficient? Zbl 1411.90221
Basu, Amitabh; Sankaranarayanan, Sriram
1
2019
Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1425.68081
Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
1
2018
Robust data-driven control of artificial pancreas systems using neural networks. Zbl 1397.92323
Dutta, Souradeep; Kushner, Taisa; Sankaranarayanan, Sriram
1
2018
Special issue on Hybrid systems: computation and control. Zbl 1384.00108
1
2018
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189
Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika
4
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
4
2016
Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085
Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
3
2016
Change-of-bases abstractions for non-linear hybrid systems. Zbl 1329.93046
Sankaranarayanan, Sriram
2
2016
Deductive proofs of almost sure persistence and recurrence properties. Zbl 1420.68153
Chakarov, Aleksandar; Voronin, Yuen-Lam; 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
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
12
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.
6
2014
Abstract acceleration of general linear loops. Zbl 1284.68188
Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram
2
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
Regular real analysis. Zbl 1366.03217
Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y.
5
2013
Falsification of temporal properties of hybrid systems using the cross-entropy method. Zbl 1362.68183
Sankaranarayanan, Sriram; Fainekos, Georgios
4
2012
S-TaLiRo: a tool for temporal logic falsification for hybrid systems. Zbl 1316.68069
Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram
20
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
16
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.
7
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
15
2008
Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
11
2008
A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327
Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo
4
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
12
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
39
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
35
2004
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
13
2004
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
12
2004
Linear invariant generation using non-linear constraint solving. Zbl 1278.68164
Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B.
26
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.
1
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 409 Authors

7 Platzer, André
7 Sankaranarayanan, Sriram
7 Zhan, Naijun
6 Kapur, Deepak
5 Goubault, Eric
5 Zhao, Hengjun
4 Adjé, Assalé
4 Amato, Gianluca
4 Bartocci, Ezio
4 Boreale, Michele
4 Bouissou, Olivier
4 Deshmukh, Jyotirmoy V.
4 Gawlitza, Thomas Martin
4 King, Andy
4 L’vov, M. S.
4 Reps, Thomas W.
4 Seidl, Helmut
4 Sogokon, Andrew
4 Zaffanella, Enea
3 Bagnara, Roberto
3 Chapoutot, Alexandre
3 Chen, Liqian
3 Dave, Vrunda
3 Dreossi, Tommaso
3 Duggirala, Parasara Sridhar
3 Frehse, Goran
3 Garoche, Pierre-Loïc
3 Gaubert, Stéphane
3 Giesl, Jürgen
3 Grosu, Radu
3 Hill, Patricia M.
3 Krishna, Shankara Narayanan
3 Lin, Wang
3 Magron, Victor
3 Matringe, Nadir
3 Moura, Arnaldo Vieira
3 Rebiha, Rachid
3 Rodríguez-Carbonell, Enric
3 Scozzari, Francesca
3 Seladji, Yassamine
3 Seshia, Sanjit Arunkumar
3 Simon, Axel
3 Tan, Yong Kiam
3 Wang, Ji
3 Xia, Bican
3 Yang, Zhengfeng
2 Aharon, Shir
2 Bak, Stanley
2 Ben Sassi, Mohamed Amin
2 Beyer, Dirk
2 Bogomolov, Sergiy
2 Dang, Thao
2 Donzé, Alexandre
2 D’silva, Vijay
2 Fähndrich, Manuel
2 Filiot, Emmanuel
2 Furia, Carlo Alberto
2 Ghorbal, Khalil
2 Griggio, Alberto
2 Gupta, Aarti
2 Howe, Jacob M.
2 Islam, Md. Ariful
2 Jha, Susmit
2 Kochenderfer, Mykel J.
2 Kovács, Laura Ildikó
2 Kröning, Daniel
2 Lee, Ritchie
2 Lhote, Nathan
2 Logozzo, Francesco
2 Lu, Qi
2 Majumdar, Rupak
2 Mancini, Toni
2 Manna, Zohar
2 Mari, Federico
2 Massini, Annalisa
2 Melatti, Igor
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 Putot, Sylvie
2 Ratschan, Stefan
2 Rubio, Albert
2 Sahai, Tuhin
2 Sánchez, César
2 Shankar, Natarajan
2 Sharma, Tushar
2 Smolka, Scott A.
2 Tiwari, Ashish Kumar
2 Tronci, Enrico
2 Wang, Shuling
2 Wu, Jinzhao
2 Wu, Xueguang
2 Zeng, Zhenbing
2 Zhang, Zhihai
1 Abate, Alessandro
...and 309 more Authors

Citations by Year