Edit Profile (opens in new tab) Gupta, Aarti Compute Distance To: Compute Author ID: gupta.aarti Published as: Gupta, Aarti Documents Indexed: 55 Publications since 1958, including 1 Book 2 Contributions as Editor Co-Authors: 35 Co-Authors with 38 Joint Publications 645 Co-Co-Authors all top 5 Co-Authors 0 single-authored 14 Ivančić, Franjo 13 Ganai, Malay K. 9 Wang, Chao 8 Kahlon, Vineet 6 Sankaranarayanan, Sriram 6 Yang, Zijiang 5 Ashar, Pranav 5 Malik, Sharad 4 Fedyukovich, Grigory 2 Balakrishnan, Gogul 2 Ghorbal, Khalil 2 Limaye, Rhishikesh 2 Shlyakhter, Ilya 2 Talupur, Muralidhar 2 Yang, Yu 2 Zhang, Hongce 1 Arora, Nipun 1 Bahga, Supreet S. 1 Duggirala, Parasara Sridhar 1 Engles, Derick 1 Eswaran, Vinayak 1 Fainekos, Georgios E. 1 Ghai, G. L. 1 Gopalakrishnan, Ganesh Lalitha 1 Gorti, S. R. 1 Gurfinkel, Arie 1 Harris, William R. 1 Ip, C. Norris 1 Jain, Himanshu 1 Jog, P. D. 1 Kant, Tarun 1 Kobayashi, Naoki 1 Kuisalaas, J. 1 Kundu, Sudipta 1 Kuo, Sen M. 1 Lamba, V. J. 1 Lemus, G. 1 Lödding, H. 1 Maeda, Naoto 1 Malik, Sham S. 1 Marchertas, A. H. 1 Nghiem, Truong 1 Pappas, George J. 1 Pick, Lauren 1 Qadeer, Shaz 1 Reyes-Aldasoro, Constantino Carlos 1 Saraph, M. 1 Shyy, Wei 1 Sinha, Nishant 1 Sriram, R. D. 1 Suthar, Daya Lal 1 Tang, Daijue 1 Touili, Tayssir 1 Tseng, Mitchell M. 1 Wei, Ou 1 Yang, Weikun all top 5 Serials 2 Computers and Structures 2 Journal of Fluid Mechanics 2 International Journal of Production Research 1 International Journal for Numerical Methods in Fluids 1 Journal of Sound and Vibration 1 Molecular Simulation 1 Journal of the Operational Research Society 1 Theoretical Computer Science 1 CAD. Computer-Aided Design 1 Formal Aspects of Computing 1 IEEE Transactions on Signal Processing 1 IEEE Transactions on Acoustics, Speech, and Signal Processing 1 Formal Methods in System Design 1 Journal of Vibration and Control 1 Acta Universitatis Apulensis. Mathematics - Informatics 1 Indian Journal of Physics 1 Lecture Notes in Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Advances in Mathematical Physics all top 5 Fields 39 Computer science (68-XX) 5 Numerical analysis (65-XX) 5 Fluid mechanics (76-XX) 4 Mechanics of deformable solids (74-XX) 3 Mathematical logic and foundations (03-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Functions of a complex variable (30-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 37 Publications have been cited 138 times in 79 Documents Cited by ▼ Year ▼ Reasoning about threads communicating via locks. Zbl 1081.68623Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti 16 2005 Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 9 2008 On the analysis of interacting pushdown systems. Zbl 1295.68159Kahlon, Vineet; Gupta, Aarti 9 2007 Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166Kahlon, Vineet; Wang, Chao; Gupta, Aarti 8 2009 Peephole partial order reduction. Zbl 1134.68421Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti 8 2008 Static analysis in disjunctive numerical domains. Zbl 1225.68077Sankaranarayanan, 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.68149Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J. 7 2010 A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291Kant, T.; Gupta, A. 6 1988 Program analysis using symbolic ranges. Zbl 1211.68101Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 6 2007 A genetic algorithm for scheduling job families on a single machine with arbitrary earliness/tardiness penalties and an unrestricted common due date. Zbl 0953.90527Webster, S.; Jog, P. D.; Gupta, A. 5 1998 F-Soft: Software verification platform. Zbl 1081.68581Ivančić, F.; Yang, Z.; Ganai, M. K.; Gupta, A.; Shlyakhter, I.; Ashar, P. 5 2005 Some properties of convolution for hypergeometric distribution type series on certain analytic univalent functions. Zbl 1438.30090Porwal, S.; Gupta, A. 4 2018 SAT-based scalable formal verification solutions. Zbl 1138.68037Ganai, Malay; Gupta, Aarti 4 2007 Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti 4 2005 Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant 4 2006 Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti 3 2012 Symbolic predictive analysis for concurrent programs. Zbl 1242.68187Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti 3 2011 Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti 3 2010 Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo 3 2007 Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709Gupta, A.; Kuisalaas, J.; Saraph, M. 2 1991 Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Zbl 1139.68005 2 2008 Whodunit? Causal analysis for counterexamples. Zbl 1161.68588Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti 2 2006 Program analysis via satisfiability modulo path programs. Zbl 1312.68058Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 2 2010 Analysis of narrowband active noise and vibration control systems using parallel adaptive notch filters. Zbl 1229.70090Yang, F.; Gupta, A.; Kuo, S. M. 2 2008 Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav 2 2003 Unbounded procedure summaries from bounded environments. Zbl 1472.68093Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti 1 2021 Synthesizing environment invariants for modular hardware verification. Zbl 07228508Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad 1 2020 Model checking concurrent programs. Zbl 1392.68251Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir 1 2018 Analysis of passive flexion in propelling a plunging plate using a torsion spring model. Zbl 1415.76786Arora, N.; Kang, C.-K.; Shyy, W.; Gupta, A. 1 2018 Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 1 2004 Localization and register sharing for predicate abstraction. Zbl 1087.68593Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K. 1 2005 DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 1 2005 A hybrid model based on dynamic programming, neural networks, and surrogate value for inventory optimisation applications. Zbl 1054.90515Reyes-Aldasoro, C. C.; Ganguly, A. R.; Lemus, G.; Gupta, A. 1 1999 A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127Gupta, A.; Rao, K. R. 1 1990 Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh 1 2008 Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A. 1 2008 Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti 1 2007 Unbounded procedure summaries from bounded environments. Zbl 1472.68093Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti 1 2021 Synthesizing environment invariants for modular hardware verification. Zbl 07228508Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad 1 2020 Some properties of convolution for hypergeometric distribution type series on certain analytic univalent functions. Zbl 1438.30090Porwal, S.; Gupta, A. 4 2018 Model checking concurrent programs. Zbl 1392.68251Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir 1 2018 Analysis of passive flexion in propelling a plunging plate using a torsion spring model. Zbl 1415.76786Arora, N.; Kang, C.-K.; Shyy, W.; Gupta, A. 1 2018 Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti 3 2012 Symbolic predictive analysis for concurrent programs. Zbl 1242.68187Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti 3 2011 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. 7 2010 Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti 3 2010 Program analysis via satisfiability modulo path programs. Zbl 1312.68058Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 2 2010 Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166Kahlon, Vineet; Wang, Chao; Gupta, Aarti 8 2009 Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 9 2008 Peephole partial order reduction. Zbl 1134.68421Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti 8 2008 Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Zbl 1139.68005 2 2008 Analysis of narrowband active noise and vibration control systems using parallel adaptive notch filters. Zbl 1229.70090Yang, F.; Gupta, A.; Kuo, S. M. 2 2008 Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh 1 2008 Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A. 1 2008 On the analysis of interacting pushdown systems. Zbl 1295.68159Kahlon, Vineet; Gupta, Aarti 9 2007 Program analysis using symbolic ranges. Zbl 1211.68101Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 6 2007 SAT-based scalable formal verification solutions. Zbl 1138.68037Ganai, Malay; Gupta, Aarti 4 2007 Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo 3 2007 Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti 1 2007 Static analysis in disjunctive numerical domains. Zbl 1225.68077Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti 7 2006 Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant 4 2006 Whodunit? Causal analysis for counterexamples. Zbl 1161.68588Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti 2 2006 Reasoning about threads communicating via locks. Zbl 1081.68623Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti 16 2005 F-Soft: Software verification platform. Zbl 1081.68581Ivančić, F.; Yang, Z.; Ganai, M. K.; Gupta, A.; Shlyakhter, I.; Ashar, P. 5 2005 Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti 4 2005 Localization and register sharing for predicate abstraction. Zbl 1087.68593Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K. 1 2005 DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 1 2005 Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 1 2004 Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav 2 2003 A hybrid model based on dynamic programming, neural networks, and surrogate value for inventory optimisation applications. Zbl 1054.90515Reyes-Aldasoro, C. C.; Ganguly, A. R.; Lemus, G.; Gupta, A. 1 1999 A genetic algorithm for scheduling job families on a single machine with arbitrary earliness/tardiness penalties and an unrestricted common due date. Zbl 0953.90527Webster, S.; Jog, P. D.; Gupta, A. 5 1998 Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709Gupta, A.; Kuisalaas, J.; Saraph, M. 2 1991 A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127Gupta, A.; Rao, K. R. 1 1990 A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291Kant, T.; Gupta, A. 6 1988 all cited Publications top 5 cited Publications all top 5 Cited by 206 Authors 6 Gupta, Aarti 4 Kröning, Daniel 4 Touili, Tayssir 3 Atig, Mohamed Faouzi 3 Chen, Liqian 3 Wang, Ji 2 Becker, Bernd 2 Biere, Armin 2 Cimatti, Alessandro 2 Cook, Byron 2 D’silva, Vijay 2 Duggirala, Parasara Sridhar 2 Ganai, Malay K. 2 Griggio, Alberto 2 Heule, Marijn J. H. 2 Kahlon, Vineet 2 King, Andy 2 Madduri, Kamesh 2 Sankaranarayanan, Sriram 2 Seidl, Helmut 2 Song, Fu 2 Steffen, Martin 2 Subramani, Krishnan 2 Wang, Chao 2 Wu, Xueguang 2 Yang, Zijiang 1 Ábrahám, Erika 1 Ahrendt, Wolfgang 1 Al-Rawi, Bashar 1 Albert, Elvira 1 Annpureddy, Yashwanth 1 Ashar, Pranav 1 Bak, Stanley 1 Bansal, Kshitij 1 Bartocci, Ezio 1 Beer, Ilan 1 Ben-David, Shoham 1 Bhutada, Dipali 1 Bianculli, Domenico 1 Bloem, Roderick 1 Bouajjani, Ahmed 1 Bouissou, Olivier 1 Boutonnet, Rémy 1 Bozzelli, Laura 1 Brain, Martin 1 Breik, Keenan 1 Chatain, Thomas 1 Chatterjee, Krishnendu 1 Cheremisinova, L. D. 1 Chockler, Hana 1 Collavizza, Hélène 1 Colombo, Christian 1 Colón, Michael A. 1 Cousot, Patrick 1 Debbabi, Mourad 1 Déharbe, David 1 Dubrovin, Jori 1 Fähndrich, Manuel 1 Fahrenberg, Uli 1 Fainekos, Georgios E. 1 Falcone, Yliès 1 Farzan, Azadeh 1 Fedyukovich, Grigory 1 Fehnker, Ansgar 1 Francalanza, Adrian 1 Gawlitza, Thomas Martin 1 Goldsztejn, Alexandre 1 Gómez-Zamalloa, Miguel 1 Gopalakrishnan, Ganesh Lalitha 1 Goyal, Manish 1 Greimel, Karin 1 Grosu, Radu 1 Gu, Ming 1 Günther, Henning 1 Halbwachs, Nicolas 1 Haller, Leopold 1 He, Kai-Duo 1 Heljanko, Keijo 1 Henzinger, Thomas A. 1 Herbstritt, Marc 1 Hofferek, Georg 1 Howe, Jacob M. 1 Huang, Xiaowan 1 Huuck, Ralf 1 Ignatyev, Alexey A. 1 Isabel, Miguel 1 Ishii, Daisuke 1 Ivančić, Franjo 1 Jackson, Paul B. 1 Jakubczyk, Krzysztof 1 Jiang, Jiahong 1 Jobstmann, Barbara 1 Johnson, Taylor T. 1 Junttila, Tommi A. 1 Khanna, Dhriti 1 Khazem, Kareem 1 Kiesl, Benjamin 1 Kobayashi, Naoki 1 Könighofer, Bettina 1 Könighofer, Robert ...and 106 more Authors all top 5 Cited in 22 Serials 5 Theoretical Computer Science 5 Journal of Automated Reasoning 5 Formal Methods in System Design 2 Formal Aspects of Computing 2 Constraints 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 International Journal of General Systems 1 Information Processing Letters 1 Applied Mathematics and Computation 1 Automatica 1 Computing 1 Science of Computer Programming 1 Information and Computation 1 Discrete Event Dynamic Systems 1 Automation and Remote Control 1 Higher-Order and Symbolic Computation 1 ACM Journal of Experimental Algorithmics 1 Journal of Zhejiang University. Science A 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Journal of Logical and Algebraic Methods in Programming 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 11 Fields 74 Computer science (68-XX) 6 Operations research, mathematical programming (90-XX) 5 Mathematical logic and foundations (03-XX) 5 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Convex and discrete geometry (52-XX) 1 Numerical analysis (65-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year