# Ashutosh Gupta

According to our database

^{1}, Ashutosh Gupta## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

High Performance Layout Analysis of Medieval European Document Images.

Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods, 2018

2017

An efficient data dissemination and handover scheme for vehicular ad hoc networks.

IJAHUC, 2017

Verifying Array Manipulating Programs by Tiling.

CoRR, 2017

Model checking the evolution of gene regulatory networks.

Acta Inf., 2017

Matching Multiplications in Bit-Vector Formulas.

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Verifying Array Manipulating Programs by Tiling.

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Matching Multiplications in Bit-Vector Formulas.

CoRR, 2016

Abstraction-driven Concolic Testing.

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

A distribution-independent risk estimator for image denoising.

Proceedings of the Tenth Indian Conference on Computer Vision, 2016

How much can a Gaussian smoother denoise?

Proceedings of the Tenth Indian Conference on Computer Vision, 2016

Low power and temperature compatible FinFET based full adder circuit with optimised area.

Proceedings of the 2016 International Conference on Advances in Computing, 2016

2015

Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology.

ACM Trans. Model. Comput. Simul., 2015

A coupled-cluster study on the noble gas binding ability of metal cyanides versus metal halides (metal = Cu, Ag, Au).

Journal of Computational Chemistry, 2015

Abstraction-driven Concolic Testing.

CoRR, 2015

Model Checking Gene Regulatory Networks.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Succinct Representation of Concurrent Trace Sets.

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Energy efficient and high performance 64-bit Arithmetic Logic Unit using 28nm technology.

Proceedings of the 2015 International Conference on Advances in Computing, 2015

2014

Generalised Interpolation by Solving Recursion-Free Horn Clauses

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

Model Checking Gene Regulatory Networks.

CoRR, 2014

Improvised Apriori Algorithm using frequent pattern tree for real time applications in data mining.

CoRR, 2014

Implementation of 8B/10B encoder-decoder for Gigabit Ethernet Frame.

Proceedings of the Eleventh International Conference on Wireless and Optical Communications Networks, 2014

Suraq - A Controller Synthesis Tool Using Uninterpreted Functions.

Proceedings of the Hardware and Software: Verification and Testing, 2014

Extensional Crisis and Proving Identity.

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

From tests to proofs.

STTT, 2013

Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof.

CoRR, 2013

Tree Interpolation in Vampire.

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Synthesizing multiple boolean functions using interpolation on a single proof.

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

HSF(C): A Software Verifier Based on Horn Clauses - (Competition Contribution).

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation).

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Ultra low power device to track environmental sensitive items in transit.

Proceedings of the 2012 International Conference on Advances in Computing, 2012

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Improved Single Pass Algorithms for Resolution Proof Reduction.

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Searching a pattern in compressed DNA sequences.

IJBRA, 2011

Predicate abstraction and refinement for verifying multi-threaded programs.

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Threader: A Constraint-Based Verifier for Multi-threaded Programs.

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

Solving Recursion-Free Horn Clauses over LI+UIF.

Proceedings of the Programming Languages and Systems - 9th Asian Symposium, 2011

2010

Partial retrieval of compressed semi-structured documents.

IJCAT, 2010

A fast dynamic compression scheme for natural language texts.

Computers & Mathematics with Applications, 2010

Efficient Storage of Massive Biological Sequences in Compact Form.

Proceedings of the Contemporary Computing - Third International Conference, 2010

Non-monotonic Refinement of Control Abstraction for Concurrent Programs.

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

From Tests to Proofs.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Timing Analysis of Passive UHF RFID - EPC C1G2 System in Dynamic Frame.

Proceedings of the Contemporary Computing - Second International Conference, 2009

Finding heap-bounds for hardware synthesis.

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

InvGen: An Efficient Invariant Generator.

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Principal Component Analysis for Gesture Recognition Using SystemC.

Proceedings of the ARTCom 2009, 2009

2008

Weibull extension model: A Bayes study using Markov chain Monte Carlo simulation.

Rel. Eng. & Sys. Safety, 2008

A novel approach of data compression for dynamic data.

Proceedings of the 3rd IEEE International Conference on System of Systems Engineering, 2008

Proving non-termination.

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

New Transform for Improving Compression Performance in Natural Language Text.

Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007

Word Based Text Compression Using Encryption.

Proceedings of the International MultiConference of Engineers and Computer Scientists 2007, 2007