| Publication | Date of Publication | Type |
|---|
| Optimal stateless model checking for causal consistency | 2023-12-13 | Paper |
Robust Controller Synthesis for Duration Calculus
1517.6823 | 2022-12-22 | Paper |
Verifying array manipulating programs with full-program induction
Tools and Algorithms for the Construction and Analysis of Systems | 2022-10-13 | Paper |
Automated inference of production rules for glycans
(available as arXiv preprint) | 2022-05-25 | Paper |
\textsc{Diffy}: inductive reasoning of array programs using difference invariants
(available as arXiv preprint) | 2022-03-25 | Paper |
| Generalised interpolation by solving recursion-free Horn clauses | 2021-06-28 | Paper |
Generalised interpolation by solving recursion-free Horn clauses
(available as arXiv preprint) | 2021-06-28 | Paper |
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
Acta Informatica | 2021-04-28 | Paper |
Model Checking Gene Regulatory Networks
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
Verifying array manipulating programs by tiling
Static Analysis | 2019-09-16 | Paper |
Synthesis for vesicle traffic systems
(available as arXiv preprint) | 2018-10-17 | Paper |
Model checking the evolution of gene regulatory networks
Acta Informatica | 2017-12-01 | Paper |
Matching multiplications in bit-vector formulas
Lecture Notes in Computer Science | 2017-02-21 | Paper |
Succinct representation of concurrent trace sets
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
A novel approach for part family formation for reconfiguration manufacturing system
Opsearch | 2016-05-30 | Paper |
Abstraction-driven concolic testing
Lecture Notes in Computer Science | 2016-03-23 | Paper |
Extensional crisis and proving identity
Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
Proving non-termination
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
Predicate abstraction and refinement for verifying multi-threaded programs
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
Tree Interpolation in Vampire
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
A Bayes comparison of Weibull extension and modified Weibull models for data showing bathtub hazard rate
Journal of Statistical Computation and Simulation | 2013-06-03 | Paper |
Bayesian modeling of bathtub shaped hazard rate using various Weibull extensions and related issues of model selection
Sankhyā. Series B | 2013-03-08 | Paper |
A Bayesian study for the comparison of generalized gamma model with its components
Sankhyā. Series B | 2013-02-04 | Paper |
Improved single pass algorithms for resolution proof reduction
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
A fast dynamic compression scheme for natural language texts
Computers & Mathematics with Applications | 2011-03-19 | Paper |
Efficient storage of massive biological sequences in compact form
Communications in Computer and Information Science | 2010-12-07 | Paper |
Non-monotonic refinement of control abstraction for concurrent programs
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
A Bayes analysis of modified Weibull distribution via Markov chain Monte Carlo simulation
Journal of Statistical Computation and Simulation | 2010-05-26 | Paper |
Accelerated test system strength models based on Birnbaum-Saunders distribution: a complete Bayesian analysis and comparison
Lifetime Data Analysis | 2009-09-14 | Paper |
Transforming the Natural Language Text for Improving Compression Performance
Lecture Notes in Electrical Engineering | 2009-01-07 | Paper |
Compression Using Encryption
Lecture Notes in Electrical Engineering | 2009-01-07 | Paper |
