Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya. CONCUR 2025.
Optimal Concolic Dynamic Partial Order Reduction. Mohammad Hossein Khoshechin Jorshari, Michalis Kokologiannakis, Rupak Majumdar, Srinidhi Nagendra. CONCUR 2025.
Formal Languages and Arithmetic Theories: Recent Results and Open Problems. Christoph Haase, Mikhail R. Starchak. DLT 2025.
Analyzing Metastable Failures. Rebecca Isaacs, Peter Alvaro, Rupak Majumdar, Kiran Kumar, Muniswamy Reddy, Mahmoud Salamati, Sadegh Soudjani. HotOS 2025.
Integrated Task and Path Planning for Collaborative Multi-Robot Systems. Aman Aryan, Manan Modi, Indranil Saha, Rupak Majumdar, Swarup Mohalik. ICCPS 2025.
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar. IEEE Trans. Software Eng. 2025.
On the Monniaux Problem in Abstract Interpretation. Nathanaël Fijalkow, Engel Lefaucheux, Pierre Ohlmann, Joël Ouaknine, Amaury Pouly, James Worrell. J. ACM 2025.
A Complexity Dichotomy for Semilinear Target Sets in Automata with One Counter. Yousef Shakiba, Henry Sinclair-Banks, Georg Zetzsche. LICS 2025.
Multiple Reachability in Linear Dynamical Systems. Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell. LICS 2025.
Pushdown Model Checking above the Cubic Bottleneck. A. R. Balasubramanian, Dmitry Chistikov, Rupak Majumdar. LICS 2025.
Quantifier Elimination for Regular Integer Linear-Exponential Programming. Mikhail R. Starchak. LICS 2025.
On Expansions of Monadic Second-Order Logic with Dynamical Predicates. Joris Nieuwveld, Joël Ouaknine. MFCS 2025.
On Large Zeros of Linear Recurrence Sequences. Florian Luca, Joël Ouaknine, James Worrell. MFCS 2025.
One-Parametric Presburger Arithmetic Has Quantifier Elimination. Alessio Mansutti, Mikhail R. Starchak. MFCS 2025.
The Complexity of Separability for Semilinear Sets and Parikh Automata. Elias Rojas Collins, Chris Köcher, Georg Zetzsche. MFCS 2025.
Destabilizing Iris. Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, Derek Dreyer. OOPSLA1 2025.