Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Prakash Saivasan

Publications by Prakash Saivasan

Recent

  1. Fast Witness Counting, with Peter Chini, Rehab Massoud, and Roland Meyer.

    arXiv

Conference contributions

  1. A Framework for Consistency Algorithms, with Peter Chini.
    In Proceedings of FSTTCS 2020.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  2. Complexity of Liveness in Parameterized Systems, with Peter Chini and Roland Meyer.
    In Proceedings of FSTTCS 2019.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  3. Liveness in Broadcast Networks, with Peter Chini and Roland Meyer.
    In Proceedings of NETYS 2019.

    Best Student Paper Award.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  4. Temporal Tracing of On-chip Signals using Timeprints, with Rehab Massoud, Peter Chini, Roland Meyer, Hoang M. Le, and Rolf Drechsler.
    In Proceedings of DAC 2019.
    PDF | DOI

  5. Regular Separability of Well-Structured Transition Systems, with Wojciech Czerwiński, Sławomir Lasota, Roland Meyer, Sebastian Muskalla, and K Narayan Kumar.
    In Proceedings of CONCUR 2018.
    PDF | DOI & BibTex | Full Version @ arXiv | Slides | Poster

  6. Fine-Grained Complexity of Safety Verification, with Peter Chini and Roland Meyer.
    In Proceedings of TACAS 2018.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  7. Verifying Quantitative Temporal Properties of Procedural Programs, with Mohammed Faouzi Atig, K Narayan Kumar, and Ahmed Bouajjani.
    In Proceedings of CONCUR 2018.

  8. On the Upward/Downward Closures of Petri Nets, with Mohamed Faouzi Atig, Roland Meyer, and Sebastian Muskalla.
    In Proceedings of MFCS 2017.
    PDF | DOI & BibTex | Full Version @ arXiv | Slides

  9. On the Complexity of Bounded Context Switching, with Peter Chini, Jonathan Kolberg, Andreas Krebs, and Roland Meyer.
    In Proceedings of ESA 2017.
    Conference Version | DOI/BibTex | Full Version @ arXiv

  10. Verification of Asynchronous Programs with Nested Locks , with Mohammed Faouzi Atig, K Narayan Kumar, and Ahmed Bouajjani.
    In Proceedings of FSTTCS 2017.

  11. Parity games over bounded phase multi-pushdown systems, with Mohammed Faouzi Atig, K Narayan Kumar, and Ahmed Bouajjani.
    In Proceedings of NETYS 2017.

  12. Complexity of regular abstractions of one-counter languages, with Mohammed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K Narayan Kumar, and Georg Zetzsche.
    In Proceedings of LICS 2016.
    arXiv

  13. Acceleration in Multi-PushDown Systems, with K Narayan Kumar and Mohammed Faouzi Atig.
    In Proceedings of TACAS 2016.
    DOI

  14. On Bounded Reachability Analysis of Shared Memory Systems, with K Narayan Kumar, Mohammed Faouzi Atig, and Ahmed Bouajjani.
    In Proceedings of FSTTCS 2014.
    DOI

  15. Adjacent Ordered Multi-Pushdown Systems, with Mohammed Faouzi Atig and K Narayan Kumar.
    In Proceedings of DLT 13.
    DOI

  16. Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding, with K Narayan Kumar, Mohammed Faouzi Atig, and Ahmed Bouajjani.
    In Proceedings of ATVA 12.
    DOI

Journal articles

  1. Liveness in Broadcast Networks, with Peter Chini and Roland Meyer.
    Computing, 2021.
    Conference Version | Full Version @ arXiv

  2. Fine-Grained Complexity of Safety Verification, with Peter Chini and Roland Meyer.
    Journal of Automated Reasoning, 2020.
    DOI | arXiv

  3. Fine-Grained Complexity of Program Verification Tasks, with Peter Chini and Roland Meyer.
    Parameterized Complexity Newsletter, 2019.
    PDF

Theses

  1. Analysis of Automata-theoretic models of Concurrent Recursive Programs. PhD Thesis.
    Chennai Mathematical Institute, 2016.
    PDF