Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. - Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (ATVA, 2012)

Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard - Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (CoRR, 2012)

On Bounded Reachability Analysis of Shared Memory Systems. - Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (FSTTCS, 2014)

Adjacent Ordered Multi-Pushdown Systems. - Mohamed Faouzi Atig; K. Narayan Kumar; Prakash Saivasan (Int. J. Found. Comput. Sci., 2014)

The complexity of regular abstractions of one-counter languages. - Mohamed Faouzi Atig; Dmitry Chistikov 001; Piotr Hofman; K. Narayan Kumar; Prakash Saivasan; Georg Zetzsche (LICS, 2016)

Acceleration in Multi-PushDown Systems. - Mohamed Faouzi Atig; K. Narayan Kumar; Prakash Saivasan (TACAS, 2016)

Nested Words for Order-2 Pushdown Systems. - C. Aiswarya; Paul Gastin; Prakash Saivasan (CoRR, 2016)

On the Complexity of Bounded Context Switching. - Peter Chini; Jonathan Kolberg; Roland Meyer 001; Prakash Saivasan (CoRR, 2016)

On the Complexity of Bounded Context Switching. - Peter Chini; Jonathan Kolberg; Andreas Krebs; Roland Meyer 001; Prakash Saivasan (ESA, 2017)

Verification of Asynchronous Programs with Nested Locks. - Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (FSTTCS, 2017)

On the Upward/Downward Closures of Petri Nets. - Mohamed Faouzi Atig; Roland Meyer 001; Sebastian Muskalla; Prakash Saivasan (MFCS, 2017)

Parity Games on Bounded Phase Multi-pushdown Systems. - Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (NETYS, 2017)

Verifying Quantitative Temporal Properties of Procedural Programs. - Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (CONCUR, 2018)

Regular Separability of Well-Structured Transition Systems. - Wojciech Czerwinski; Slawomir Lasota 001; Roland Meyer 001; Sebastian Muskalla; K. Narayan Kumar; Prakash Saivasan (CONCUR, 2018)

Fast Witness Counting. - Peter Chini; Rehab Massoud; Roland Meyer 001; Prakash Saivasan (CoRR, 2018)

Temporal Tracing of On-Chip Signals using Timeprints. - Rehab Massoud; Hoang M. Le; Peter Chini; Prakash Saivasan; Roland Meyer 001; Rolf Drechsler (DAC, 2019)

Complexity of Liveness in Parameterized Systems. - Peter Chini; Roland Meyer 001; Prakash Saivasan (FSTTCS, 2019)

A Framework for Consistency Algorithms. - Peter Chini; Prakash Saivasan (FSTTCS, 2020)

Fine-Grained Complexity of Safety Verification. - Peter Chini; Roland Meyer 001; Prakash Saivasan (J. Autom. Reason., 2020)

Deciding reachability under persistent x86-TSO. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (Proc. ACM Program. Lang., 2021)

Consistency and Persistency in Program Verification: Challenges and Opportunities. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; Bengt Jonsson 001; K. Narayan Kumar; Prakash Saivasan (Principles of Systems Design, 2022)

On the Satisfiability of Context-free String Constraints with Subword-Ordering. - C. Aiswarya; Soumodev Mal; Prakash Saivasan (LICS, 2022)

Verifying Reachability for TSO Programs with Dynamic Thread Creation. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (NETYS, 2022)

Liveness in broadcast networks. - Peter Chini; Roland Meyer 001; Prakash Saivasan (Computing, 2022)

Weighted One-Deterministic-Counter Automata. - Prince Mathew 001; Vincent Penelle; Prakash Saivasan; A. V. Sreejith (FSTTCS, 2023)

One Deterministic-Counter Automata. - Prince Mathew 001; Vincent Penelle; Prakash Saivasan; A. V. Sreejith (CoRR, 2023)

Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers. - C. Aiswarya; Soumodev Mal; Prakash Saivasan (STACS, 2024)

Reduced Grobner Basis With Double Exponential Cardinality. - Archana S. Morye; Sreenanda S. B; Prakash Saivasan (CoRR, 2024)

Verification under Intel-x86 with Persistency. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Ahmed Bouajjani; K. Narayan Kumar; Prakash Saivasan (Proc. ACM Program. Lang., 2024)

Equivalence of Deterministic Weighted Real-Time One-Counter Automata. - Prince Mathew 001; Vincent Penelle; Prakash Saivasan; A. V. Sreejith (ICLA, 2025)