Concepedia

Ashutosh Gupta

AG

Statistics

Publications

24

Citations

798

H-Index

15

Active since

2003

Affiliations

NIIT University(Current)

Uttar Pradesh Rajarshi Tandon Open University

Technical University of Munich

Motilal Nehru National Institute of Technology

M.J.P. Rohilkhand University

Ashutosh Gupta is an author at NIIT University specializing in engineering, computer science, and program analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationVerificationSoftware AnalysisAutomated ReasoningSystems EngineeringComputer Engineering

Publications per year

2003–2023

24

Publications

24

Proving non-termination

Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar et al. · 2008 · 155 citations · Full text

Program Checking, Engineering, Runtime Verification +15

A study on factors limiting online shopping behaviour of consumers

Bindia Daroch, Gitika Nagrath, Ashutosh Gupta · Rajagiri Management Journal · 2021 · 106 citations · Full text

Customer Satisfaction, Consumer Uncertainty, Digital Marketing +23

Predicate abstraction and refinement for verifying multi-threaded programs

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko · ACM SIGPLAN Notices · 2011 · 79 citations

Program Checking, Engineering, Verification +20

Predicate abstraction and refinement for verifying multi-threaded programs

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko · 2011 · 53 citations

Program Checking, Engineering, Verification +20

Proving non-termination

Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumdar et al. · ACM SIGPLAN Notices · 2008 · 46 citations

Program Checking, Engineering, Runtime Verification +15

1–5 of 24