Ajith K. John

11 papers A* 1A 1B 2Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
Expertise Identification Using Transformers.
COMAD/CODS
Sreekanth T. M, Ajith K. John, Rohitashva Sharma, Prathamesh Berde, C. S. R. C. Murthy
2023 — conf
Assertion Based Verification using Yosys: A Case Study from Nuclear Domain.
ISEC
Shubam Gupta, Ajith K. John, Mohit Kalra
2017 — conf
Towards Parallel Boolean Functional Synthesis.
TACAS (1)
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2017 J jnl
Towards Parallel Boolean Functional Synthesis.
CoRR
S. Akshay, Supratik Chakraborty, Ajith K. John, Shetal Shah
2016 J jnl
A layered algorithm for quantifier elimination from linear modular constraints.
Formal Methods Syst. Des.
Ajith K. John, Supratik Chakraborty
2015 B conf
Skolem Functions for Factored Formulas.
FMCAD
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2015 J jnl
Skolem Functions for Factored Formulas.
CoRR
Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay
2014 — conf
Quantifier Elimination for Linear Modular Constraints.
ICMS
Ajith K. John, Supratik Chakraborty
2013 A conf
Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors.
TACAS
Ajith K. John, Supratik Chakraborty
2011 A* conf
A Quantifier Elimination Algorithm for Linear Modular Equations and Disequations.
CAV
Ajith K. John, Supratik Chakraborty
2007 B conf
Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.
SAFECOMP
Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh