Edit Profile Gupta, Aarti Compute Distance To: Compute Author ID: gupta.aarti Published as: Gupta, A.; Gupta, Aarti Documents Indexed: 52 Publications since 1958, including 3 Books 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 4 Malik, Sharad 2 Balakrishnan, Gogul 2 Fedyukovich, Grigory 2 Ghorbal, Khalil 2 Limaye, Rhishikesh 2 Shlyakhter, Ilya 2 Talupur, Muralidhar 2 Yang, Yu 1 Duggirala, Parasara Sridhar 1 Fainekos, Georgios E. 1 Gopalakrishnan, Ganesh Lalitha 1 Gurfinkel, Arie 1 Harris, William R. 1 Ip, C. Norris 1 Jain, Himanshu 1 Kundu, Sudipta 1 Maeda, Naoto 1 Nghiem, Truong 1 Pappas, George J. 1 Qadeer, Shaz 1 Sinha, Nishant 1 Tang, Daijue 1 Touili, Tayssir 1 Wei, Ou 1 Yang, Weikun 1 Zhang, Hongce Serials 1 Theoretical Computer Science 1 Formal Aspects of Computing 1 Formal Methods in System Design 1 Lecture Notes in Computer Science 1 Journal of Satisfiability, Boolean Modeling and Computation Fields 34 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 2 Numerical analysis (65-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 33 Publications have been cited 126 times in 93 Documents Cited by ▼ Year ▼ Reasoning about threads communicating via locks. Zbl 1081.68623Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti 16 2005 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. 6 2010 Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 6 2008 Program analysis using symbolic ranges. Zbl 1211.68101Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 6 2007 A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291Kant, T.; Gupta, A. 6 1988 SAT-based scalable formal verification solutions. Zbl 1138.68037Ganai, Malay; Gupta, Aarti 5 2007 F-Soft: Software verification platform. Zbl 1081.68581Ivančić, F.; Yang, Z.; Ganai, M. K.; Gupta, A.; Shlyakhter, I.; Ashar, P. 5 2005 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 Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant 4 2006 Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti 4 2005 Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo 3 2007 Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti 2 2012 Symbolic predictive analysis for concurrent programs. Zbl 1242.68187Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti 2 2011 Program analysis via satisfiability modulo path programs. Zbl 1312.68058Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 2 2010 Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; 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 Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Zbl 1139.68005Gupta, Aarti (ed.); Malik, Sharad (ed.) 2 2008 Whodunit? Causal analysis for counterexamples. Zbl 1161.68588Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti 2 2006 Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 2 2004 Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav 2 2003 Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709Gupta, A.; Kuisalaas, J.; Saraph, M. 2 1991 Model checking concurrent programs. Zbl 1392.68251Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir 1 2018 Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A. 1 2008 Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh 1 2008 Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti 1 2007 DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 1 2005 Localization and register sharing for predicate abstraction. Zbl 1087.68593Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K. 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 Model checking concurrent programs. Zbl 1392.68251Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir 1 2018 Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti 2 2012 Symbolic predictive analysis for concurrent programs. Zbl 1242.68187Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti 2 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. 6 2010 Program analysis via satisfiability modulo path programs. Zbl 1312.68058Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 2 2010 Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; 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 Peephole partial order reduction. Zbl 1134.68421Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti 8 2008 Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 6 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 Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Zbl 1139.68005Gupta, Aarti (ed.); Malik, Sharad (ed.) 2 2008 Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A. 1 2008 Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh 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 5 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 DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 1 2005 Localization and register sharing for predicate abstraction. Zbl 1087.68593Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K. 1 2005 Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav 2 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 234 Authors 4 Gupta, Aarti 4 Kröning, Daniel 4 Touili, Tayssir 3 Atig, Mohamed Faouzi 3 Chen, Liqian 3 Wang, Ji 2 Biere, Armin 2 D’silva, Vijay 2 Duggirala, Parasara Sridhar 2 Ganai, Malay K. 2 Heule, Marijn J. H. 2 Kahlon, Vineet 2 King, Andy 2 Madduri, Kamesh 2 Ramabathiran, Amuthan Arunkumar 2 Sankaranarayanan, Sriram 2 Seidl, Helmut 2 Song, Fu 2 Steffen, Martin 2 Subramani, Krishnan 2 T’kindt, Vincent 2 Wang, Chao 2 Weissenbacher, Georg 2 Wu, Xueguang 2 Yang, Zijiang 1 Ábrahám, Erika 1 Ahrendt, Wolfgang 1 Aissat, Romain 1 Al-Rawi, Bashar 1 Alaca, B. E. 1 Albert, Elvira 1 Allahverdi, Ali 1 Annpureddy, Yashwanth 1 Ashar, Pranav 1 Bak, Stanley 1 Bansal, Kshitij 1 Bartocci, Ezio 1 Becker, Bernd 1 Beer, Ilan 1 Ben-David, Shoham 1 Bhutada, Dipali 1 Bianculli, Domenico 1 Billaut, Jean-Charles 1 Bloem, Roderick 1 Bouajjani, Ahmed 1 Bouibede-Hocine, Karima 1 Bouissou, Olivier 1 Boutonnet, Rémy 1 Bozzelli, Laura 1 Brain, Martin 1 Breik, Keenan 1 Chang, Chengyuan 1 Chatain, Thomas 1 Chatterjee, Krishnendu 1 Chen, Chengwu 1 Cheng, Tai-Chiu Edwin 1 Cheremisinova, L. D. 1 Chockler, Hana 1 Chung, Lap-Loi 1 Cimatti, Alessandro 1 Collavizza, Hélène 1 Colombo, Christian 1 Colón, Michael A. 1 Cook, Byron 1 Cousot, Patrick 1 Debbabi, Mourad 1 Déharbe, David 1 Desai, Yogesh M. 1 Dubrovin, Jori 1 Esswein, Carl 1 Fähndrich, Manuel 1 Fahrenberg, Uli 1 Fainekos, Georgios E. 1 Falcone, Yliès 1 Farzan, Azadeh 1 Fehnker, Ansgar 1 Francalanza, Adrian 1 Friedrich, Richard 1 Gawlitza, Thomas Martin 1 Ghugal, Yuwaraj Marotrao 1 Goldsztejn, Alexandre 1 Gómez-Zamalloa, Miguel 1 Gopalakrishnan, Ganesh Lalitha 1 Gopalakrishnan, Sathish 1 Gopalakrishnan, Sugilal 1 Goyal, Manish 1 Greimel, Karin 1 Griggio, Alberto 1 Grosu, Radu 1 Gu, Ming 1 Günther, Henning 1 Halbwachs, Nicolas 1 Haller, Leopold 1 Hattel, Jesper Henri 1 He, Kai-Duo 1 He, Wei 1 Heljanko, Keijo 1 Hell, Pavol 1 Henzinger, Thomas A. 1 Herbstritt, Marc ...and 134 more Authors all top 5 Cited in 36 Serials 6 Theoretical Computer Science 5 Journal of Automated Reasoning 4 Formal Methods in System Design 3 Formal Aspects of Computing 2 Applied Mathematics and Computation 2 Applied Mathematical Modelling 2 Journal of Vibration and Control 2 The Journal of Logic and Algebraic Programming 1 Acta Informatica 1 International Journal of General Systems 1 Information Processing Letters 1 Automatica 1 Computing 1 Journal of Computational and Applied Mathematics 1 Science of Computer Programming 1 Circuits, Systems, and Signal Processing 1 Information and Computation 1 Computers & Operations Research 1 Mathematical and Computer Modelling 1 Annals of Operations Research 1 Discrete Event Dynamic Systems 1 Automation and Remote Control 1 European Journal of Operational Research 1 Constraints 1 Journal of Scheduling 1 Discrete Dynamics in Nature and Society 1 Higher-Order and Symbolic Computation 1 Engineering Computations 1 RAIRO. Operations Research 1 ACM Journal of Experimental Algorithmics 1 International Journal of Computational Methods 1 Journal of Zhejiang University. Science A 1 International Journal for Computational Methods in Engineering Science and Mechanics 1 Computer Science Review 1 Journal of Logical and Algebraic Methods in Programming 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 13 Fields 73 Computer science (68-XX) 12 Operations research, mathematical programming (90-XX) 10 Mechanics of deformable solids (74-XX) 5 Systems theory; control (93-XX) 3 Mathematical logic and foundations (03-XX) 3 Combinatorics (05-XX) 2 Fluid mechanics (76-XX) 2 Information and communication theory, circuits (94-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