Get started
Author

Prakash Saivasan

Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding
2012 · Mohamed Faouzi Atig, Ahmed Bouajjani, et al. · Lecture notes in computer science · 21
Deciding reachability under persistent x86-TSO
2021 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Proceedings of the ACM on Programming Languages · 12
PDF
Regular Separability of Well-Structured Transition Systems
2018 · Czerwinski, Wojciech, Lasota, Slawomir, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 10
PDF
On the Complexity of Bounded Context Switching
2016 · Chini, Peter, Kolberg, Jonathan, et al. · arXiv (Cornell University) · 10
PDF
Adjacent Ordered Multi-pushdown Systems
2014 · MOHAMED FAOUZI ATIG, K. NARAYAN KUMAR, et al. · International Journal of Foundations of Computer Science · 10
Liveness in Broadcast Networks
2019 · Peter Chini, Roland Meyer, et al. · Lecture notes in computer science · 9
PDF
Fine-Grained Complexity of Safety Verification
2018 · Peter Chini, Roland Meyer, et al. · Lecture notes in computer science · 9
The complexity of regular abstractions of one-counter languages
2016 · Mohamed Faouzi Atig, Dmitry Chistikov, et al. · Proceedings - Symposium on Logic in Computer Science · 8
On Bounded Reachability Analysis of Shared Memory Systems
2014 · Atig, Mohamed Faouzi, Bouajjani, Ahmed, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 8
PDF
Adjacent Ordered Multi-Pushdown Systems
2013 · Mohamed Faouzi Atig, K. Narayan Kumar, et al. · Lecture notes in computer science · 7
A Framework for Consistency Algorithms
2020 · Chini, Peter, Saivasan, Prakash · arXiv (Cornell University) · 6
PDF
Complexity of Liveness in Parameterized Systems
2019 · Chini, Peter, Meyer, Roland, et al. · arXiv (Cornell University) · 4
PDF
Regular Separability of Well Structured Transition Systems
2017 · Czerwinski, Wojciech, Lasota, Slawomir, et al. · arXiv (Cornell University) · 4
PDF
On the Upward/Downward Closures of Petri Nets
2017 · Atig, Mohamed Faouzi, Meyer, Roland, et al. · arXiv (Cornell University) · 4
PDF
Parity Games on Bounded Phase Multi-pushdown Systems
2017 · Mohamed Faouzi Atig, Ahmed Bouajjani, et al. · Lecture notes in computer science · 4
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard
2012 · Atig, Mohamed Faouzi, Bouajjani, Ahmed, et al. · arXiv (Cornell University) · 4
PDF
Verification under Intel-x86 with Persistency
2024 · Parosh Abdulla, Mohamed Faouzi Atig, et al. · Proceedings of the ACM on Programming Languages · 3
Verifying Reachability for TSO Programs with Dynamic Thread Creation
2022 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Lecture notes in computer science · 3
Fine-Grained Complexity of Safety Verification
2020 · Peter Chini, Roland Meyer, et al. · Journal of Automated Reasoning · 3
PDF
Acceleration in Multi-PushDown Systems
2016 · Mohamed Faouzi Atig, K. Narayan Kumar, et al. · Lecture notes in computer science · 3
Weighted One-Deterministic-Counter Automata
2023 · Mathew, Prince, Penelle, Vincent, et al. · arXiv (Cornell University) · 2
PDF
Verification of Asynchronous Programs with Nested Locks
2018 · Atig, Mohamed Faouzi, Bouajjani, Ahmed, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2
PDF
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures
2026 · C. Aiswarya, Pascal Baumann, et al. · Proceedings of the ACM on Programming Languages · 1
On the Satisfiability of Context-free String Constraints with Subword-Ordering
2022 · C. Aiswarya, Soumodev Mal, et al. · Proceedings - Symposium on Logic in Computer Science · 1
Consistency and Persistency in Program Verification: Challenges and Opportunities
2022 · Parosh Aziz Abdulla, Mohamed Faouzi Atig, et al. · Lecture notes in computer science · 1
Works count: 38
Citation count: 153
H-index: 8
I10-index: 5
Year
Topic
Type