On minimal odd rankings for Büchi complementation H Karmarkar, S Chakraborty
International Symposium on Automated Technology for Verification and …, 2009
18 2009 Improved upper and lower bounds for Büchi disambiguation H Karmarkar, M Joglekar, S Chakraborty
Automated Technology for Verification and Analysis: 11th International …, 2013
7 2013 VeriFuzz 1.4: Checking for (non-) termination (competition contribution) R Metta, P Yeduru, H Karmarkar, RK Medicherla
International Conference on Tools and Algorithms for the Construction and …, 2023
6 2023 Determinization of -automata unified H Karmarkar, S Chakraborty
arXiv preprint arXiv:1101.1841, 2011
3 2011 Fuzznt: Checking for program non-termination H Karmarkar, RK Medicherla, R Metta, P Yeduru
2022 IEEE International Conference on Software Maintenance and Evolution …, 2022
2 2022 VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). R Metta, RK Medicherla, H Karmarkar
FASE, 341-346, 2022
2 2022 PROTON: PRObes for Termination Or Not (Competition Contribution) R Metta, H Karmarkar, K Madhukar, R Venkatesh, S Chakraborty
International Conference on Tools and Algorithms for the Construction and …, 2024
1 2024 Efficiently Finding Adversarial Examples with DNN Preprocessing A Chauhan, M Afzal, H Karmarkar, Y Elboher, K Madhukar, G Katz
arXiv preprint arXiv:2211.08706, 2022
2022 Fast Implementations Of Modified Discrete Cosine Transform H Karmarkar, VM Gadre, P Rao