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

  2. Complexity of Liveness in Parameterized Systems, with Peter Chini and Roland Meyer.

    FSTTCS 2019

Conference contributions

  1. 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

  2. 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

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

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

  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. Parity games over bounded phase multi-pushdown systems, with Mohammed Faouzi Atig, K Narayan Kumar, and Ahmed Bouajjani.
    In Proceedings of NETYS 2017.

  7. 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

  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. Verification of Asynchronous Programs with Nested Locks , with Mohammed Faouzi Atig, K Narayan Kumar, and Ahmed Bouajjani.
    In Proceedings of FSTTCS 2017.

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

  11. 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

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

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

  14. 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. 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