On Minimal Odd Rankings for Büchi Complementation. - Hrishikesh Karmarkar; Supratik Chakraborty (ATVA, 2009)

Determinization of $ omega$-automata unified - Hrishikesh Karmarkar; Supratik Chakraborty (CoRR, 2011)

Improved Upper and Lower Bounds for Büchi Disambiguation. - Hrishikesh Karmarkar; Manas Joglekar; Supratik Chakraborty (ATVA, 2013)

VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). - Ravindra Metta; Raveendra Kumar Medicherla; Hrishikesh Karmarkar (FASE, 2022)

FuzzNT : Checking for Program Non-termination. - Hrishikesh Karmarkar; Raveendra Kumar Medicherla; Ravindra Metta; Prasanth Yeduru (ICSME, 2022)

Efficiently Finding Adversarial Examples with DNN Preprocessing. - Avriti Chauhan; Mohammad Afzal; Hrishikesh Karmarkar; Yizhak Yisrael Elboher; Kumar Madhukar; Guy Katz (CoRR, 2022)

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). - Ravindra Metta; Prasanth Yeduru; Hrishikesh Karmarkar; Raveendra Kumar Medicherla (TACAS (2), 2023)

Detecting Covert Channels in Cloud Access Control Policies Using Large Language Models. - Hrishikesh Karmarkar; Vaibhavi Joshi; R. Venkatesh 001 (CSR, 2024)

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. - Sanaa Siddiqui; Diganta Mukhopadhyay; Mohammad Afzal; Hrishikesh Karmarkar; Kumar Madhukar (FMICS, 2024)

Learning DNN Abstractions using Gradient Descent. - Diganta Mukhopadhyay; Sanaa Siddiqui; Hrishikesh Karmarkar; Kumar Madhukar; Guy Katz (ASE, 2024)

PROTON: PRObes for Termination Or Not (Competition Contribution). - Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar; R. Venkatesh 001; Supratik Chakraborty (TACAS (3), 2024)

Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation. - Hrishikesh Karmarkar; Supriya Agrawal; Avriti Chauhan; Pranav Shete (SANER, 2024)

A shallow dive into the depths of non-termination checking for C programs. - Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar; R. Venkatesh 001; Supratik Chakraborty; Samarjit Chakraborty (CoRR, 2024)

PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution). - Diganta Mukhopadhyay; Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar (TACAS (3), 2025)