Ashutosh Gupta

Available identifiers

zbMath Open gupta.ashutoshMaRDI QIDQ630709

List of research outcomes

Publication	Date of Publication	Type
Optimal stateless model checking for causal consistency	2023-12-13	Paper
Robust Controller Synthesis for Duration Calculus	2022-12-22	Paper
Verifying array manipulating programs with full-program induction	2022-10-13	Paper
Automated inference of production rules for glycans	2022-05-25	Paper
\textsc{Diffy}: inductive reasoning of array programs using difference invariants	2022-03-25	Paper
Generalised interpolation by solving recursion-free Horn clauses	2021-06-28	Paper
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system	2021-04-28	Paper
Model Checking Gene Regulatory Networks	2019-09-17	Paper
Verifying array manipulating programs by tiling	2019-09-16	Paper
Synthesis for vesicle traffic systems	2018-10-17	Paper
Model checking the evolution of gene regulatory networks	2017-12-01	Paper
Matching multiplications in bit-vector formulas	2017-02-21	Paper
Succinct representation of concurrent trace sets	2016-09-29	Paper
A novel approach for part family formation for reconfiguration manufacturing system	2016-05-30	Paper
Abstraction-driven concolic testing	2016-03-23	Paper
Extensional crisis and proving identity	2015-12-17	Paper
Proving non-termination	2014-09-12	Paper
Predicate abstraction and refinement for verifying multi-threaded programs	2014-04-10	Paper
Tree Interpolation in Vampire	2014-01-17	Paper
A Bayes comparison of Weibull extension and modified Weibull models for data showing bathtub hazard rate	2013-06-03	Paper
Bayesian modeling of bathtub shaped hazard rate using various Weibull extensions and related issues of model selection	2013-03-08	Paper
A Bayesian study for the comparison of generalized gamma model with its components	2013-02-04	Paper
Improved single pass algorithms for resolution proof reduction	2012-11-21	Paper
A fast dynamic compression scheme for natural language texts	2011-03-19	Paper
Efficient storage of massive biological sequences in compact form	2010-12-07	Paper
Non-monotonic refinement of control abstraction for concurrent programs	2010-10-04	Paper
A Bayes analysis of modified Weibull distribution via Markov chain Monte Carlo simulation	2010-05-26	Paper
Accelerated test system strength models based on Birnbaum-Saunders distribution: a complete Bayesian analysis and comparison	2009-09-14	Paper
Transforming the Natural Language Text for Improving Compression Performance	2009-01-07	Paper
Compression Using Encryption	2009-01-07	Paper

Research outcomes over time

This page was built for person: Ashutosh Gupta