Reasoning about threads communicating via locks. Zbl 1081.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti |
|
2005
|
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. |
|
2010
|
Quantified invariants via syntax-guided synthesis. Zbl 1533.68038
Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
|
2019
|
Static analysis in disjunctive numerical domains. Zbl 1225.68077
Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti |
|
2006
|
On the analysis of interacting pushdown systems. Zbl 1295.68159
Kahlon, Vineet; Gupta, Aarti |
|
2007
|
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti |
|
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 |
|
2008
|
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti |
|
2009
|
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti |
|
2010
|
Syntax-guided termination analysis. Zbl 1511.68076
Fedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti |
|
2018
|
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti |
|
2007
|
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A. |
|
1988
|
F-Soft: Software verification platform. Zbl 1081.68581
Ivančić, F.; Yang, Z.; Ganai, M. K.; Gupta, A.; Shlyakhter, I.; Ashar, P. |
|
2005
|
Exploiting synchrony and symmetry in relational verification. Zbl 1511.68166
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
|
2018
|
SAT-based scalable formal verification solutions. Zbl 1138.68037
Ganai, Malay; Gupta, Aarti |
|
2007
|
Whodunit? Causal analysis for counterexamples. Zbl 1161.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti |
|
2006
|
Some properties of convolution for hypergeometric distribution type series on certain analytic univalent functions. Zbl 1438.30090
Porwal, S.; Gupta, A. |
|
2018
|
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. |
|
1998
|
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti |
|
2010
|
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti |
|
2011
|
Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Zbl 1139.68005
|
|
2008
|
Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094
Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti |
|
2012
|
Fold/unfold transformations for fixpoint logic. Zbl 1483.68196
Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti |
|
2020
|
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant |
|
2006
|
Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370
Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo |
|
2007
|
Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583
Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti |
|
2005
|
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti |
|
2007
|
Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084
Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav |
|
2003
|
Analysis of narrowband active noise and vibration control systems using parallel adaptive notch filters. Zbl 1229.70090
Yang, F.; Gupta, A.; Kuo, S. M. |
|
2008
|
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir |
|
2018
|
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, A.; Kuisalaas, J.; Saraph, M. |
|
1991
|
Localization and register sharing for predicate abstraction. Zbl 1087.68593
Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K. |
|
2005
|
SDSAT: Tight integration of small domain encoding and lazy approaches in a separation logic solver. Zbl 1180.68241
Ganai, Malay K; Talupur, Muralidhar; Gupta, Aarti |
|
2006
|
SAT-based verification methods and applications in hardware verification. Zbl 1182.68119
Gupta, Aarti; Ganai, Malay K.; Wang, Chao |
|
2006
|
Synthesizing environment invariants for modular hardware verification. Zbl 07228508
Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad |
|
2020
|
Lazy self-composition for security verification. Zbl 1511.68171
Yang, Weikun; Vizel, Yakir; Subramanyan, Pramod; Gupta, Aarti; Malik, Sharad |
|
2018
|
Syntax-guided synthesis for lemma generation in hardware model checking. Zbl 1472.68096
Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
|
2021
|
Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav |
|
2004
|
DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav |
|
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. |
|
1999
|
A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127
Gupta, A.; Rao, K. R. |
|
1990
|
Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383
Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh |
|
2008
|
SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement. Zbl 1149.68347
Balakrishnan, Gogul; Sankaranarayanan, Sriram; Ivančić, Franjo; Wei, Ou; Gupta, Aarti |
|
2008
|
Unbounded procedure summaries from bounded environments. Zbl 1472.68093
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
|
2021
|
Syntax-guided synthesis for lemma generation in hardware model checking. Zbl 1472.68096
Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
|
2021
|
Unbounded procedure summaries from bounded environments. Zbl 1472.68093
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
|
2021
|
Fold/unfold transformations for fixpoint logic. Zbl 1483.68196
Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti |
|
2020
|
Synthesizing environment invariants for modular hardware verification. Zbl 07228508
Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad |
|
2020
|
Quantified invariants via syntax-guided synthesis. Zbl 1533.68038
Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
|
2019
|
Syntax-guided termination analysis. Zbl 1511.68076
Fedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti |
|
2018
|
Exploiting synchrony and symmetry in relational verification. Zbl 1511.68166
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
|
2018
|
Some properties of convolution for hypergeometric distribution type series on certain analytic univalent functions. Zbl 1438.30090
Porwal, S.; Gupta, A. |
|
2018
|
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir |
|
2018
|
Lazy self-composition for security verification. Zbl 1511.68171
Yang, Weikun; Vizel, Yakir; Subramanyan, Pramod; Gupta, Aarti; Malik, Sharad |
|
2018
|
Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094
Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti |
|
2012
|
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti |
|
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. |
|
2010
|
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti |
|
2010
|
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti |
|
2010
|
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti |
|
2009
|
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti |
|
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 |
|
2008
|
Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Zbl 1139.68005
|
|
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. |
|
2008
|
Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383
Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh |
|
2008
|
SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement. Zbl 1149.68347
Balakrishnan, Gogul; Sankaranarayanan, Sriram; Ivančić, Franjo; Wei, Ou; Gupta, Aarti |
|
2008
|
On the analysis of interacting pushdown systems. Zbl 1295.68159
Kahlon, Vineet; Gupta, Aarti |
|
2007
|
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti |
|
2007
|
SAT-based scalable formal verification solutions. Zbl 1138.68037
Ganai, Malay; Gupta, Aarti |
|
2007
|
Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370
Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo |
|
2007
|
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti |
|
2007
|
Static analysis in disjunctive numerical domains. Zbl 1225.68077
Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti |
|
2006
|
Whodunit? Causal analysis for counterexamples. Zbl 1161.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti |
|
2006
|
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant |
|
2006
|
SDSAT: Tight integration of small domain encoding and lazy approaches in a separation logic solver. Zbl 1180.68241
Ganai, Malay K; Talupur, Muralidhar; Gupta, Aarti |
|
2006
|
SAT-based verification methods and applications in hardware verification. Zbl 1182.68119
Gupta, Aarti; Ganai, Malay K.; Wang, Chao |
|
2006
|
Reasoning about threads communicating via locks. Zbl 1081.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti |
|
2005
|
F-Soft: Software verification platform. Zbl 1081.68581
Ivančić, F.; Yang, Z.; Ganai, M. K.; Gupta, A.; Shlyakhter, I.; Ashar, P. |
|
2005
|
Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583
Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti |
|
2005
|
Localization and register sharing for predicate abstraction. Zbl 1087.68593
Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K. |
|
2005
|
DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav |
|
2005
|
Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav |
|
2004
|
Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084
Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav |
|
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. |
|
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. |
|
1998
|
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, A.; Kuisalaas, J.; Saraph, M. |
|
1991
|
A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127
Gupta, A.; Rao, K. R. |
|
1990
|
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A. |
|
1988
|