×

zbMATH — the first resource for mathematics

Gupta, Aarti

Compute Distance To:
Author ID: gupta.aarti Recent zbMATH articles by "Gupta, Aarti"
Published as: Gupta, A.; Gupta, Aarti
Documents Indexed: 52 Publications since 1958, including 3 Books

Publications by Year

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.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti
16
2005
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.
6
2010
Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079
Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
6
2008
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
6
2007
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A.
6
1988
SAT-based scalable formal verification solutions. Zbl 1138.68037
Ganai, Malay; Gupta, Aarti
5
2007
F-Soft: Software verification platform. Zbl 1081.68581
Ivanč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.90527
Webster, S.; Jog, P. D.; Gupta, A.
5
1998
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
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
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
Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094
Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti
2
2012
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
2
2011
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
2
2010
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, 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.70090
Yang, 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.68005
Gupta, Aarti (ed.); Malik, Sharad (ed.)
2
2008
Whodunit? Causal analysis for counterexamples. Zbl 1161.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti
2
2006
Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
2
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
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, A.; Kuisalaas, J.; Saraph, M.
2
1991
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
1
2018
Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312
Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A.
1
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
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
1
2007
DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2005
Localization and register sharing for predicate abstraction. Zbl 1087.68593
Jain, 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.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
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
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
2
2012
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, 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.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
6
2010
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
2
2010
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; 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
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti
8
2008
Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079
Ivanč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.70090
Yang, 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.68005
Gupta, Aarti (ed.); Malik, Sharad (ed.)
2
2008
Minimum cost homomorphism dichotomy for locally in-semicomplete digraphs. Zbl 1168.05312
Gupta, A.; Karimi, M.; Kim, E. J.; Rafiey, A.
1
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
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
5
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
DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2005
Localization and register sharing for predicate abstraction. Zbl 1087.68593
Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K.
1
2005
Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
2
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 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

Citations by Year