Hi! I am a Ph.D. student at the Technical University of Munich, supervised by Prof. Javier Esparza and Prof. Igor Walukiewicz.

My research interests include parameterized verification, automata theory and well-quasi orders. You can find more about my research on dblp.

Publications

Journal publications

(1) A. R. Balasubramanian. Parameterized Verification of Coverability in Infinite State Broadcast Networks. In Information and Computation: 2020. Special issue on GandALF 2018. [paper]

Conference publications

(1) A. R. Balasubramanian, C. Weil-Kennedy. Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent. Accepted at GandALF, 2021. [paper]

(2) A. R. Balasubramanian, K. S. Thejaswini. Adaptive Synchronisation of Pushdown Automata. CONCUR, 2021. [paper]

(3) A. R. Balasubramanian, T. Lang, R. Ramanayake. Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics. LICS, 2021. [paper]

(4) A. R. Balasubramanian, J. Esparza and M. Raskin. Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy. FoSSaCS, 2021. [paper, arXiv] Invited for LMCS special issue.

(5) A. R. Balasubramanian. Parameterized Complexity of Safety of Threshold Automata. FSTTCS, 2020. [paper, conference talk]

(6) A. R. Balasubramanian, J. Esparza, and M. Lazić. Complexity of Verification and Synthesis of Threshold Automata. ATVA, 2020 [paper, arXiv]

(7) A. R. Balasubramanian, I. Walukiewicz. Characterizing consensus in the Heard-Of model. CONCUR, 2020. [paper, arXiv]

(8) A. R. Balasubramanian. Complexity of controlled bad sequences over finite sets of Nd. LICS, 2020. [paper, conference talk, poster]

(9) A. R. Balasubramanian. Parameterized Verification of Coverability in Well-Structured Broadcast Networks. GandALF, 2018. [paper]

(10) A. R. Balasubramanian, N. Bertrand, and N. Markey. Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks. TACAS, 2018 [paper, arXiv]

Invited Talks

(1) Complexity of Verification and Synthesis of Threshold Automata at FRIDA 2020. Talk