Edit Profile Sankaranarayanan, Sriram Compute Distance To: Compute Author ID: sankaranarayanan.sriram Published as: Sankaranarayanan, S.; Sankaranarayanan, Sriram External Links: MGP · Wikidata Documents Indexed: 55 Publications since 1996, including 2 Books all top 5 Co-Authors 3 single-authored 10 Sipma, Henny B. 8 Manna, Zohar 7 Ivančić, Franjo 6 Gupta, Aarti 4 Ben Sassi, Mohamed Amin 4 Dutta, Souradeep 3 Chang, Bor-Yuh Evan 3 Chen, Xin 3 Colón, Michael A. 3 Fainekos, Georgios E. 3 Voronin, Yuen-Lam 2 Chakarov, Aleksandar 2 Cox, Arlen 2 Dang, Thao 2 Deshmukh, Jyotirmoy V. 2 Roux, Pierre 2 Vicario, Enrico 1 Ábrahám, Erika 1 Annpureddy, Yashwanth 1 Aréchiga, Nikos 1 Balakrishnan, Gogul 1 Basu, Amitabh 1 Becker, Stephen R. 1 Bouissou, Olivier 1 Chaudhuri, Swarat 1 Feijoo, Felipe 1 Finkbeiner, Bernd 1 Fränzle, Martin 1 Frohardt, Robert 1 Girard, Antoine 1 Goubault, Eric 1 Gronski, Jessica 1 Harris, William R. 1 Jeannet, Bertrand 1 Jha, Susmit 1 Jin, Xiaoqing 1 Kahlon, Vineet 1 Kapinski, James 1 Kushner, Taisa 1 Liu, Che 1 Lygeros, John 1 Mover, Sergio 1 Nghiem, Truong 1 Paolieri, Marco 1 Pappas, George J. 1 Putot, Sylvie 1 Schrammel, Peter 1 Shlyakhter, Ilya 1 Siddiqui, Sauleh Ahmad 1 Somenzi, Fabio 1 Tiwari, Ashish Kumar 1 Vardi, Moshe Y. 1 Wei, Ou 1 Yang, Yu 1 Zhang, Yan 1 Zutshi, Aditya all top 5 Serials 4 Formal Methods in System Design 2 Nonlinear Analysis. Hybrid Systems 1 IMA Journal of Mathematical Control and Information 1 Real-Time Systems 1 European Journal of Operational Research 1 SIAM Journal on Optimization 1 Lecture Notes in Computer Science all top 5 Fields 34 Computer science (68-XX) 15 Systems theory; control (93-XX) 10 Operations research, mathematical programming (90-XX) 6 Numerical analysis (65-XX) 4 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 3 Commutative algebra (13-XX) 2 Ordinary differential equations (34-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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.68514Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 35 2005 Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 33 2004 Linear invariant generation using non-linear constraint solving. Zbl 1278.68164Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B. 25 2003 Automatic invariant generation for hybrid systems using ideal fixed points. Zbl 1360.34082Sankaranarayanan, Sriram 15 2010 Constructing invariants for hybrid systems. Zbl 1133.68365Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 14 2008 S-TaLiRo: a tool for temporal logic falsification for hybrid systems. Zbl 1316.68069Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram 13 2011 Constraint-based linear-relations analysis. Zbl 1104.68023Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 12 2004 Efficient strongly relational polyhedral analysis. Zbl 1176.68051Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar 11 2006 Constructing invariants for hybrid systems. Zbl 1135.93322Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 11 2004 Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos 10 2014 Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419Sankaranarayanan, 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.76327Sankaranarayanan, S.; Spaulding, Malcolm L. 8 2003 Static analysis in disjunctive numerical domains. Zbl 1225.68077Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti 7 2006 Program analysis using symbolic ranges. Zbl 1211.68101Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 6 2007 Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149Nghiem, 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.92148Kissler, S. M.; Cichowitz, C.; Sankaranarayanan, S.; Bortz, D. M. 4 2014 Generalizing the template polyhedral domain. Zbl 1326.68088Colón, Michael A.; Sankaranarayanan, Sriram 4 2011 Petri net analysis using invariant generation. Zbl 1274.68253Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar 4 2003 Min-max Computation Tree Logic. Zbl 0976.68104Dasgupta, P.; Chakrabarti, P. P.; Deka, J. K.; Sankaranarayanan, S. 4 2001 Finite element analysis of free surface flow through gates. Zbl 0875.76259Sankaranarayanan, S.; Suresh Rao, H. 4 1996 Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189Ben 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.93033Sankaranarayanan, Sriram 3 2011 A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo 3 2008 Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram 2 2016 Regular real analysis. Zbl 1366.03217Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. 2 2013 Falsification of temporal properties of hybrid systems using the cross-entropy method. Zbl 1362.68183Sankaranarayanan, Sriram; Fainekos, Georgios 2 2012 Access nets: modeling access to physical spaces. Zbl 1317.68114Frohardt, Robert; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram 2 2011 Program analysis via satisfiability modulo path programs. Zbl 1312.68058Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 2 2010 Collecting statistics over runtime executions. Zbl 1083.68068Finkbeiner, 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.76518Sankaranarayanan, S.; Spaulding, Malcolm L. 2 2003 Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. Zbl 1420.68205Bouissou, Olivier; Goubault, Eric; Putot, Sylvie; Chakarov, Aleksandar; Sankaranarayanan, Sriram 1 2016 Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing 1 2016 Change-of-bases abstractions for non-linear hybrid systems. Zbl 1329.93046Sankaranarayanan, Sriram 1 2016 Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. Zbl 1364.93679Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram 1 2015 Quicr: a reusable library for parametric abstraction of sets and numbers. Zbl 1296.68004Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram 1 2014 Abstract acceleration of general linear loops. Zbl 1284.68188Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram 1 2014 Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti 1 2007 Fixed point iteration for computing the time elapse operator. Zbl 1178.93053Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 1 2006 Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika 3 2016 Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram 2 2016 Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. Zbl 1420.68205Bouissou, Olivier; Goubault, Eric; Putot, Sylvie; Chakarov, Aleksandar; Sankaranarayanan, Sriram 1 2016 Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing 1 2016 Change-of-bases abstractions for non-linear hybrid systems. Zbl 1329.93046Sankaranarayanan, Sriram 1 2016 Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. Zbl 1364.93679Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram 1 2015 Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos 10 2014 Determination of personalized diabetes treatment plans using a two-delay model. Zbl 1412.92148Kissler, S. M.; Cichowitz, C.; Sankaranarayanan, S.; Bortz, D. M. 4 2014 Quicr: a reusable library for parametric abstraction of sets and numbers. Zbl 1296.68004Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram 1 2014 Abstract acceleration of general linear loops. Zbl 1284.68188Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram 1 2014 Regular real analysis. Zbl 1366.03217Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. 2 2013 Falsification of temporal properties of hybrid systems using the cross-entropy method. Zbl 1362.68183Sankaranarayanan, Sriram; Fainekos, Georgios 2 2012 S-TaLiRo: a tool for temporal logic falsification for hybrid systems. Zbl 1316.68069Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram 13 2011 Generalizing the template polyhedral domain. Zbl 1326.68088Colón, Michael A.; Sankaranarayanan, Sriram 4 2011 Automatic abstraction of non-linear systems using change of bases transformations. Zbl 1362.93033Sankaranarayanan, Sriram 3 2011 Access nets: modeling access to physical spaces. Zbl 1317.68114Frohardt, Robert; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram 2 2011 Automatic invariant generation for hybrid systems using ideal fixed points. Zbl 1360.34082Sankaranarayanan, Sriram 15 2010 Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J. 5 2010 Program analysis via satisfiability modulo path programs. Zbl 1312.68058Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 2 2010 Constructing invariants for hybrid systems. Zbl 1133.68365Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 14 2008 Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo 9 2008 A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo 3 2008 Program analysis using symbolic ranges. Zbl 1211.68101Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 6 2007 Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti 1 2007 Efficient strongly relational polyhedral analysis. Zbl 1176.68051Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar 11 2006 Static analysis in disjunctive numerical domains. Zbl 1225.68077Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti 7 2006 Fixed point iteration for computing the time elapse operator. Zbl 1178.93053Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 1 2006 Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 35 2005 Collecting statistics over runtime executions. Zbl 1083.68068Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B. 2 2005 Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 33 2004 Constraint-based linear-relations analysis. Zbl 1104.68023Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 12 2004 Constructing invariants for hybrid systems. Zbl 1135.93322Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 11 2004 Linear invariant generation using non-linear constraint solving. Zbl 1278.68164Coló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.76327Sankaranarayanan, S.; Spaulding, Malcolm L. 8 2003 Petri net analysis using invariant generation. Zbl 1274.68253Sankaranarayanan, 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.76518Sankaranarayanan, S.; Spaulding, Malcolm L. 2 2003 Min-max Computation Tree Logic. Zbl 0976.68104Dasgupta, P.; Chakrabarti, P. P.; Deka, J. K.; Sankaranarayanan, S. 4 2001 Finite element analysis of free surface flow through gates. Zbl 0875.76259Sankaranarayanan, S.; Suresh Rao, H. 4 1996 all cited Publications top 5 cited Publications 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 all top 5 Cited in 20 Fields 122 Computer science (68-XX) 31 Systems theory; control (93-XX) 22 Operations research, mathematical programming (90-XX) 21 Numerical analysis (65-XX) 16 Mathematical logic and foundations (03-XX) 10 Fluid mechanics (76-XX) 7 Biology and other natural sciences (92-XX) 5 Ordinary differential equations (34-XX) 5 Convex and discrete geometry (52-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Commutative algebra (13-XX) 2 Operator theory (47-XX) 2 Geophysics (86-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Combinatorics (05-XX) 1 Number theory (11-XX) 1 Approximations and expansions (41-XX) 1 Statistics (62-XX) 1 Mechanics of deformable solids (74-XX) 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.