Prakash Saivasan

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 33

Top Topics

Context Free Grammars

Transition Systems

Temporal Properties

Top Venues

Publications

C. Aiswarya, Soumodev Mal, Prakash Saivasan
Satisfiability of Context-free String Constraints with Subword-ordering and Transducers. CoRR (2024)
C. Aiswarya, Soumodev Mal, Prakash Saivasan
Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers. STACS (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Verification under Intel-x86 with Persistency. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
Weighted One-Deterministic-Counter Automata. FSTTCS (2023)
Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith
One Deterministic-Counter Automata. CoRR (2023)
C. Aiswarya, Soumodev Mal, Prakash Saivasan
On the Satisfiability of Context-free String Constraints with Subword-Ordering. LICS (2022)
Peter Chini, Roland Meyer, Prakash Saivasan
Liveness in broadcast networks. Computing 104 (10) (2022)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Verifying Reachability for TSO Programs with Dynamic Thread Creation. NETYS (2022)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan
Consistency and Persistency in Program Verification: Challenges and Opportunities. Principles of Systems Design (2022)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Deciding reachability under persistent x86-TSO. Proc. ACM Program. Lang. 5 (POPL) (2021)
Peter Chini, Prakash Saivasan
A Framework for Consistency Algorithms. FSTTCS (2020)
Peter Chini, Roland Meyer, Prakash Saivasan
Fine-Grained Complexity of Safety Verification. J. Autom. Reason. 64 (7) (2020)
Peter Chini, Prakash Saivasan
A Framework for Consistency Algorithms. CoRR (2020)
Peter Chini, Roland Meyer, Prakash Saivasan
Complexity of Liveness in Parameterized Systems. CoRR (2019)
Peter Chini, Roland Meyer, Prakash Saivasan
Liveness in Broadcast Networks. NETYS (2019)
Peter Chini, Roland Meyer, Prakash Saivasan
Liveness in Broadcast Networks. CoRR (2019)
Peter Chini, Roland Meyer, Prakash Saivasan
Complexity of Liveness in Parameterized Systems. FSTTCS (2019)
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler
Temporal Tracing of On-Chip Signals using Timeprints. DAC (2019)
Peter Chini, Roland Meyer, Prakash Saivasan
Fine-Grained Complexity of Safety Verification. TACAS (2) (2018)
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Verifying Quantitative Temporal Properties of Procedural Programs. CONCUR (2018)
Peter Chini, Roland Meyer, Prakash Saivasan
Fine-Grained Complexity of Safety Verification. CoRR (2018)
Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan
Fast Witness Counting. CoRR (2018)
Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan
Regular Separability of Well-Structured Transition Systems. CONCUR (2018)
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
On the Upward/Downward Closures of Petri Nets. MFCS (2017)
Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan
On the Complexity of Bounded Context Switching. ESA (2017)
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
On the Upward/Downward Closures of Petri Nets. CoRR (2017)
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Verification of Asynchronous Programs with Nested Locks. FSTTCS (2017)
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Parity Games on Bounded Phase Multi-pushdown Systems. NETYS (2017)
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
The complexity of regular abstractions of one-counter languages. LICS (2016)
Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche
Complexity of regular abstractions of one-counter languages. CoRR (2016)
C. Aiswarya, Paul Gastin, Prakash Saivasan
Nested Words for Order-2 Pushdown Systems. CoRR (2016)
Peter Chini, Jonathan Kolberg, Roland Meyer, Prakash Saivasan
On the Complexity of Bounded Context Switching. CoRR (2016)
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
Acceleration in Multi-PushDown Systems. TACAS (2016)
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
On Bounded Reachability Analysis of Shared Memory Systems. FSTTCS (2014)
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
Adjacent Ordered Multi-Pushdown Systems. Int. J. Found. Comput. Sci. 25 (8) (2014)
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
Adjacent Ordered Multi-Pushdown Systems. Developments in Language Theory (2013)
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard CoRR (2012)
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. ATVA (2012)