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.


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