K. Narayan Kumar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
14
Active years
1998–2021
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ESOP | Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains. | Snigdha Athaiya, Raghavan Komondoor, K. Narayan Kumar |
| 2018 | CONCUR | Verifying Quantitative Temporal Properties of Procedural Programs. | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
| 2018 | CONCUR | Regular Separability of Well-Structured Transition Systems. | Wojciech Czerwinski, Slawomir Lasota, Roland Meyer, Sebastian Muskalla, K. Narayan Kumar, Prakash Saivasan |
| 2016 | LICS | The complexity of regular abstractions of one-counter languages. | Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan, Georg Zetzsche |
| 2016 | TACAS | Acceleration in Multi-PushDown Systems. | Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan |
| 2014 | ATVA | Verifying Communicating Multi-pushdown Systems via Split-Width. | C. Aiswarya, Paul Gastin, K. Narayan Kumar |
| 2014 | CONCUR | Controllers for the Verification of Communicating Multi-pushdown Systems. | C. Aiswarya, Paul Gastin, K. Narayan Kumar |
| 2014 | CSL | Infinite-state energy games. | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Piotr Hofman, Richard Mayr, K. Narayan Kumar, Patrick Totzke |
| 2013 | DLT | Adjacent Ordered Multi-Pushdown Systems. | Mohamed Faouzi Atig, K. Narayan Kumar, Prakash Saivasan |
| 2012 | ATVA | Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
| 2012 | CONCUR | MSO Decidability of Multi-Pushdown Systems via Split-Width. | Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
| 2012 | FOSSACS | Model Checking Languages of Data Words. | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
| 2010 | ISoLA | Analysing Message Sequence Graph Specifications. | Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar |
| 2008 | CONCUR | Distributed Timed Automata with Independently Evolving Clocks. | S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2007 | CONCUR | Checking Coverage for Infinite Collections of Timed Scenarios. | S. Akshay, Madhavan Mukund, K. Narayan Kumar |
| 2007 | FCT | Local Testing of Message Sequence Charts Is Difficult. | Puneet Bhateja, Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2003 | CONCUR | Netcharts: Bridging the gap between HMSCs and executable specifications. | Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2003 | MFCS | Local LTL with Past Constants Is Expressively Complete for Mazurkiewicz Traces. | Paul Gastin, Madhavan Mukund, K. Narayan Kumar |
| 2002 | TACAS | Resource-Constrained Model Checking of Recursive Programs. | Samik Basu, K. Narayan Kumar, L. Robert Pokorny, C. R. Ramakrishnan |
| 2001 | ICLP | Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. | K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka |
| 2000 | CONCUR | Synthesizing Distributed Finite-State Systems from MSCs. | Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni |
| 2000 | ICALP | On Message Sequence Graphs and Finitely Generated Regular MSC Languages. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2000 | MFCS | Regular Collections of Message Sequence Charts. | Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2000 | TACAS | Verification of Parameterized Systems Using Logic Program Transformations. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
| 1999 | ICLP | Generalized Unfold/fold Transformation Systems for Normal Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
| 1999 | PPDP | A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan |
| 1998 | ICALP | Robust Asynchronous Protocols Are Finite-State. | Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni |