Prakash Saivasan

44 papers A* 3A 3B 4C 1Journal 22Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures.
Proc. ACM Program. Lang.
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
2026 J jnl
Parametrised Verification of Intel-x86 Programs.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2025 J jnl
Bounded treewidth, multiple context-free grammars, and downward closures.
CoRR
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
2025 — conf
Equivalence of Deterministic Weighted Real-Time One-Counter Automata.
ICLA
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2024 J jnl
Equivalence of Deterministic Weighted Real-time One-Counter Automata.
CoRR
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2024 J jnl
Reduced Grobner Basis With Double Exponential Cardinality.
CoRR
Archana S. Morye, Sreenanda S. B, Prakash Saivasan
2024 A conf
Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.
STACS
C. Aiswarya, Soumodev Mal, Prakash Saivasan
2024 J jnl
Satisfiability of Context-free String Constraints with Subword-ordering and Transducers.
CoRR
C. Aiswarya, Soumodev Mal, Prakash Saivasan
2024 J jnl
Verification under Intel-x86 with Persistency.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2023 J jnl
One Deterministic-Counter Automata.
CoRR
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2023 — conf
Weighted One-Deterministic-Counter Automata.
FSTTCS
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
2022 — conf
Consistency and Persistency in Program Verification: Challenges and Opportunities.
Principles of Systems Design
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan
2022 J jnl
Liveness in broadcast networks.
Computing
Peter Chini, Roland Meyer, Prakash Saivasan
2022 A* conf
On the Satisfiability of Context-free String Constraints with Subword-Ordering.
LICS
C. Aiswarya, Soumodev Mal, Prakash Saivasan
2022 — conf
Verifying Reachability for TSO Programs with Dynamic Thread Creation.
NETYS
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2021 J jnl
Deciding reachability under persistent x86-TSO.
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2020 — conf
A Framework for Consistency Algorithms.
FSTTCS
Peter Chini, Prakash Saivasan
2020 J jnl
A Framework for Consistency Algorithms.
CoRR
Peter Chini, Prakash Saivasan
2020 J jnl
Fine-Grained Complexity of Safety Verification.
J. Autom. Reason.
Peter Chini, Roland Meyer, Prakash Saivasan
2019 — conf
Complexity of Liveness in Parameterized Systems.
FSTTCS
Peter Chini, Roland Meyer, Prakash Saivasan
2019 J jnl
Complexity of Liveness in Parameterized Systems.
CoRR
Peter Chini, Roland Meyer, Prakash Saivasan
2019 — conf
Liveness in Broadcast Networks.
NETYS
Peter Chini, Roland Meyer, Prakash Saivasan
2019 J jnl
Liveness in Broadcast Networks.
CoRR
Peter Chini, Roland Meyer, Prakash Saivasan
2019 A* conf
Temporal Tracing of On-Chip Signals using Timeprints.
DAC
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler
2018 J jnl
Fast Witness Counting.
CoRR
Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan
2018 — conf
Fine-Grained Complexity of Safety Verification.
TACAS (2)
Peter Chini, Roland Meyer, Prakash Saivasan
2018 J jnl
Fine-Grained Complexity of Safety Verification.
CoRR
Peter Chini, Roland Meyer, Prakash Saivasan
2018 B conf
Regular Separability of Well-Structured Transition Systems.
CONCUR
Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan
2018 B conf
Verifying Quantitative Temporal Properties of Procedural Programs.
CONCUR
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2017 A conf
On the Complexity of Bounded Context Switching.
ESA
Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan
2017 B conf
On the Upward/Downward Closures of Petri Nets.
MFCS
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
2017 J jnl
On the Upward/Downward Closures of Petri Nets.
CoRR
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
2017 — conf
Parity Games on Bounded Phase Multi-pushdown Systems.
NETYS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2017 — conf
Verification of Asynchronous Programs with Nested Locks.
FSTTCS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2016 A conf
Acceleration in Multi-PushDown Systems.
TACAS
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2016 J jnl
Complexity of regular abstractions of one-counter languages.
CoRR
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2016 J jnl
Nested Words for Order-2 Pushdown Systems.
CoRR
C. Aiswarya, Paul Gastin, Prakash Saivasan
2016 J jnl
On the Complexity of Bounded Context Switching.
CoRR
Peter Chini, Jonathan Kolberg, Roland Meyer, Prakash Saivasan
2016 A* conf
The complexity of regular abstractions of one-counter languages.
LICS
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
2014 J jnl
Adjacent Ordered Multi-Pushdown Systems.
Int. J. Found. Comput. Sci.
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2014 — conf
On Bounded Reachability Analysis of Shared Memory Systems.
FSTTCS
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2013 C conf
Adjacent Ordered Multi-Pushdown Systems.
Developments in Language Theory
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
2012 B conf
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding.
ATVA
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
2012 J jnl
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard
CoRR
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan