K. Narayan Kumar

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 15

Top Topics

Temporal Properties

Top Venues

Proc. ACM Program. Lang.

Publications

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)
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)
Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. CoRR (2021)
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)
Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar
Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. ESOP (2021)
Jean Goubault-Larrecq, Simon Halfon, Prateek Karandikar, K. Narayan Kumar, Philippe Schnoebelen
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering. CoRR (2019)
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Verifying Quantitative Temporal Properties of Procedural Programs. CONCUR (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, 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)
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
Acceleration in Multi-PushDown Systems. TACAS (2016)
S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
Checking conformance for time-constrained scenario-based specifications. Theor. Comput. Sci. 594 (2015)
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
On Bounded Reachability Analysis of Shared Memory Systems. FSTTCS (2014)
C. Aiswarya, Paul Gastin, K. Narayan Kumar
Verifying Communicating Multi-pushdown Systems via Split-Width. ATVA (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
Infinite-state energy games. CSL-LICS (2014)
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
Distributed Timed Automata with Independently Evolving Clocks. Fundam. Informaticae 130 (4) (2014)
Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan
Adjacent Ordered Multi-Pushdown Systems. Int. J. Found. Comput. Sci. 25 (8) (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke
Infinite-State Energy Games. CoRR (2014)
C. Aiswarya, Paul Gastin, K. Narayan Kumar
Controllers for the Verification of Communicating Multi-pushdown Systems. CONCUR (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)
Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
Model Checking Languages of Data Words. FoSSaCS (2012)
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
MSO Decidability of Multi-Pushdown Systems via Split-Width. CONCUR (2012)
S. Akshay, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
Model checking time-constrained scenario-based specifications. FSTTCS (2010)
Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar
Analysing Message Sequence Graph Specifications. ISoLA (1) (2010)
Ravi Kannan, K. Narayan Kumar
Preface -- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). FSTTCS (2009)
S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
Distributed Timed Automata with Independently Evolving Clocks. CONCUR (2008)
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang
Anchored Concatenation of MSCs. Formal Models, Languages and Applications (2007)
S. Akshay, Madhavan Mukund, K. Narayan Kumar
Checking Coverage for Infinite Collections of Timed Scenarios. CONCUR (2007)
Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
Local Testing of Message Sequence Charts Is Difficult. FCT (2007)
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni, P. S. Thiagarajan
A theory of regular MSC languages. Inf. Comput. 202 (1) (2005)
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan
Causal Closure for MSC Languages. FSTTCS (2005)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
An unfold/fold transformation framework for definite logic programs. ACM Trans. Program. Lang. Syst. 26 (3) (2004)
Paul Gastin, Madhavan Mukund, K. Narayan Kumar
Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. MFCS (2003)
Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
Netcharts: Bridging the gap between HMSCs and executable specifications. CONCUR (2003)
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
Bounded time-stamping in message-passing systems. Theor. Comput. Sci. 290 (1) (2003)
Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan
Resource-Constrained Model Checking of Recursive Programs. TACAS (2002)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. Int. J. Found. Comput. Sci. 13 (3) (2002)
K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. ICLP (2001)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
Verification of Parameterized Systems Using Logic Program Transformations. TACAS (2000)
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
Synthesizing Distributed Finite-State Systems from MSCs. CONCUR (2000)
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
On Message Sequence Graphs and Finitely Generated Regular MSC Languages. ICALP (2000)
Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
Regular Collections of Message Sequence Charts. MFCS (2000)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. ASIAN (1999)
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. PPDP (1999)
Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka
Faster Model Checking for Open Systems. ASIAN (1999)
Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan
Generalized Unfold/fold Transformation Systems for Normal Logic Programs. ICLP (1999)
Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni
Towards a Characterisation of Finite-State Message-Passing Systems. ASIAN (1998)
K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka
Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS (1998)
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
Logic Programming and Model Checking. PLILP/ALP (1998)
Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni
Robust Asynchronous Protocols Are Finite-State. ICALP (1998)
Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni
Keeping Track of the Latest Gossip in Message-Passing Systems. STRICT (1995)
K. Narayan Kumar, Paritosh K. Pandya
On the Computational Power of Operators in ICSP with Fairness. FSTTCS (1994)
K. Narayan Kumar, Paritosh K. Pandya
Infinitary Parallelism without Unbounded Nondeterminism in CSP. Acta Informatica 30 (5) (1993)
K. Narayan Kumar, Paritosh K. Pandya
ICSP and Its Relationship with ACSP and CSP. FSTTCS (1993)