Prakash Saivasan

According to our database, Prakash Saivasan authored at least 28 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023

One Deterministic-Counter Automata.

Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith

CoRR, 2023

Weighted One-Deterministic-Counter Automata.

Prince Mathew, Vincent Penelle, Prakash Saivasan, A. V. Sreejith

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022

Liveness in broadcast networks.

Peter Chini, Roland Meyer, Prakash Saivasan

Computing, 2022

Verifying Reachability for TSO Programs with Dynamic Thread Creation.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Networked Systems - 10th International Conference, 2022

On the Satisfiability of Context-free String Constraints with Subword-Ordering.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Consistency and Persistency in Program Verification: Challenges and Opportunities.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Bengt Jonsson, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Principles of Systems Design, 2022

2021

Deciding reachability under persistent x86-TSO.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proc. ACM Program. Lang., 2021

2020

Fine-Grained Complexity of Safety Verification.

Peter Chini, Roland Meyer, Prakash Saivasan

J. Autom. Reason., 2020

A Framework for Consistency Algorithms.

Peter Chini, Prakash Saivasan

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Complexity of Liveness in Parameterized Systems.

Peter Chini, Roland Meyer, Prakash Saivasan

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

Temporal Tracing of On-Chip Signals using Timeprints.

Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Fast Witness Counting.

Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan

CoRR, 2018

Regular Separability of Well-Structured Transition Systems.

Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Verifying Quantitative Temporal Properties of Procedural Programs.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Parity Games on Bounded Phase Multi-pushdown Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Networked Systems - 5th International Conference, 2017

On the Upward/Downward Closures of Petri Nets.

Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

Verification of Asynchronous Programs with Nested Locks.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017

On the Complexity of Bounded Context Switching.

Peter Chini, Jonathan Kolberg, Andreas Krebs, Roland Meyer, Prakash Saivasan

Proceedings of the 25th Annual European Symposium on Algorithms, 2017

2016

On the Complexity of Bounded Context Switching.

Peter Chini, Jonathan Kolberg, Roland Meyer, Prakash Saivasan

CoRR, 2016

Nested Words for Order-2 Pushdown Systems.

C. Aiswarya, Paul Gastin, Prakash Saivasan

CoRR, 2016

Acceleration in Multi-PushDown Systems.

Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

The complexity of regular abstractions of one-counter languages.

Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2014

Adjacent Ordered Multi-Pushdown Systems.

Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan

Int. J. Found. Comput. Sci., 2014

On Bounded Reachability Analysis of Shared Memory Systems.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2012

Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

CoRR, 2012

Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Proceedings of the Automated Technology for Verification and Analysis, 2012