×
Compute Distance To:
Author ID: gupta.aarti Recent zbMATH articles by "Gupta, Aarti"
Published as: Gupta, Aarti

Publications by Year

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.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti
16
2005
Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079
Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
9
2008
On the analysis of interacting pushdown systems. Zbl 1295.68159
Kahlon, Vineet; Gupta, Aarti
9
2007
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti
8
2009
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti
8
2008
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
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A.
6
1988
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, 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.90527
Webster, S.; Jog, P. D.; Gupta, A.
5
1998
F-Soft: Software verification platform. Zbl 1081.68581
Ivanč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.30090
Porwal, S.; Gupta, A.
4
2018
SAT-based scalable formal verification solutions. Zbl 1138.68037
Ganai, Malay; Gupta, Aarti
4
2007
Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583
Wang, 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.68190
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant
4
2006
Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094
Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti
3
2012
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
3
2011
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
3
2010
Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370
Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo
3
2007
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, 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.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti
2
2006
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, 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.70090
Yang, F.; Gupta, A.; Kuo, S. M.
2
2008
Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084
Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav
2
2003
Unbounded procedure summaries from bounded environments. Zbl 1472.68093
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
1
2021
Synthesizing environment invariants for modular hardware verification. Zbl 07228508
Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad
1
2020
Model checking concurrent programs. Zbl 1392.68251
Gupta, 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.76786
Arora, N.; Kang, C.-K.; Shyy, W.; Gupta, A.
1
2018
Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2004
Localization and register sharing for predicate abstraction. Zbl 1087.68593
Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K.
1
2005
DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588
Ganai, 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.90515
Reyes-Aldasoro, C. C.; Ganguly, A. R.; Lemus, G.; Gupta, A.
1
1999
A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127
Gupta, A.; Rao, K. R.
1
1990
Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383
Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh
1
2008
Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312
Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A.
1
2008
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
1
2007
Unbounded procedure summaries from bounded environments. Zbl 1472.68093
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
1
2021
Synthesizing environment invariants for modular hardware verification. Zbl 07228508
Zhang, 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.30090
Porwal, S.; Gupta, A.
4
2018
Model checking concurrent programs. Zbl 1392.68251
Gupta, 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.76786
Arora, N.; Kang, C.-K.; Shyy, W.; Gupta, A.
1
2018
Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094
Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti
3
2012
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, 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.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
7
2010
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
3
2010
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
2
2010
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti
8
2009
Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079
Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
9
2008
Peephole partial order reduction. Zbl 1134.68421
Wang, 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.70090
Yang, F.; Gupta, A.; Kuo, S. M.
2
2008
Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383
Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh
1
2008
Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312
Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A.
1
2008
On the analysis of interacting pushdown systems. Zbl 1295.68159
Kahlon, Vineet; Gupta, Aarti
9
2007
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
6
2007
SAT-based scalable formal verification solutions. Zbl 1138.68037
Ganai, Malay; Gupta, Aarti
4
2007
Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370
Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo
3
2007
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
1
2007
Static analysis in disjunctive numerical domains. Zbl 1225.68077
Sankaranarayanan, 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.68190
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant
4
2006
Whodunit? Causal analysis for counterexamples. Zbl 1161.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti
2
2006
Reasoning about threads communicating via locks. Zbl 1081.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti
16
2005
F-Soft: Software verification platform. Zbl 1081.68581
Ivanč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.68583
Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti
4
2005
Localization and register sharing for predicate abstraction. Zbl 1087.68593
Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K.
1
2005
DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2005
Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2004
Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084
Ganai, 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.90515
Reyes-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.90527
Webster, S.; Jog, P. D.; Gupta, A.
5
1998
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, A.; Kuisalaas, J.; Saraph, M.
2
1991
A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127
Gupta, A.; Rao, K. R.
1
1990
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A.
6
1988
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

Citations by Year